Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Tobias
    Last name: Müller
    DBLP: 59/1656
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 95 of 95  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Benjamin Dietrich, Tobias Müller, Torsten Grust.
    The Best Bang for Your Bu(ck)g.
    Proceedings of the 19th International Conference on Extending Database Technology, EDBT 2016, Bordeaux, France, March 15-16, 2016, Bordeaux, France, March 15-16, 2016. 2016 (0) 2016
    Conference paper
    Tobias Müller, Ralf Dauenhauer.
    A Taxonomy for Information Linking in Augmented Reality.
    Augmented Reality, Virtual Reality, and Computer Graphics - Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part I 2016 (0) 2016
    Journal article
    Michel Bode, Nikolaos Fountoulakis, Tobias Müller.
    The probability of connectivity in a hyperbolic model of complex networks.
    Random Struct. Algorithms 2016, Volume 49 (0) 2016
    Journal article
    Wouter Cames van Batenburg, Louis Esperet, Tobias Müller.
    Coloring pseudo-disks and Jordan curves.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Tobias Müller.
    Have Your Cake and Eat it, Too: Data Provenance for Turing-Complete SQL Queries.
    Proceedings of the VLDB 2016 PhD Workshop co-located with the 42nd International Conference on Very Large Databases (VLDB 2016), New Delhi, India, September 9, 2016. 2016 (0) 2016
    Conference paper
    Martin Holters, Alexander Gatej, Sebastian Haag, Tobias Müller, Peter Loosen, Christian Brecher.
    Approach for self-optimising assembly of optical systems.
    Int. J. Computer Integrated Manufacturing 2016, Volume 29 (0) 2016
    Conference paper
    Ralf Dauenhauer, Tobias Müller.
    An Evaluation of Information Connection in Augmented Reality for 3D Scenes with Occlusion.
    2016 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2016 Adjunct, Merida, Yucatan, Mexico, September 19-23, 2016 2016 (0) 2016
    Conference paper
    Korbinian Molitorisz, Tobias Müller, Walter F. Tichy.
    Patty: a pattern-based parallelization tool for the multicore age.
    Proceedings of the Sixth International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM@PPoPP 2015, San Francisco, CA, USA, February 7-8, 2015 2015 (0) 2015
    Journal article
    Ross J. Kang, Tobias Müller, Douglas B. West.
    On r-dynamic coloring of grids.
    Discrete Applied Mathematics 2015, Volume 186 (0) 2015
    Conference paper
    Tobias Müller.
    Where- und Why-Provenance für syntaktisch reiches SQL durch Kombination von Programmanalysetechniken.
    Proceedings of the 27th GI-Workshop Grundlagen von Datenbanken, Gommern, Germany, May 26-29, 2015. 2015 (0) 2015
    Journal article
    Tobias Müller, Pawel Pralat.
    The acquaintance time of (percolated) random geometric graphs.
    Eur. J. Comb. 2015, Volume 48 (0) 2015
    Conference paper
    Tobias Müller.
    Towards a Framework for Information Presentation in Augmented Reality for the Support of Procedural Tasks.
    Augmented and Virtual Reality - Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Michel Bode, Nikolaos Fountoulakis, Tobias Müller.
    On the Largest Component of a Hyperbolic Model of Complex Networks.
    Electr. J. Comb. 2015, Volume 22 (0) 2015
    Journal article
    Anshui Li, Tobias Müller, Pawel Pralat.
    Chasing robbers on percolated random geometric graphs.
    Contributions to Discrete Mathematics 2015, Volume 10 (0) 2015
    Conference paper
    Nikolaus Kerö, Gerhard R. Cadek, Erich Maurer, Tobias Müller.
    Design and efficient verification of network attached system on chip devices.
    Elektrotechnik und Informationstechnik 2015, Volume 132 (0) 2015
    Conference paper
    Mohammed El-Kebir, Hayssam Soueidan, Thomas Hume, Daniela Beisser, Marcus T. Dittrich, Tobias Müller, Guillaume Blin, Jaap Heringa, Macha Nikolski, Lodewyk F. A. Wessels, Gunnar W. Klau.
    xHeinz: an algorithm for mining cross-species network modules under a flexible conservation model.
    Bioinformatics 2015, Volume 31 (0) 2015
    Journal article
    Colin McDiarmid, Tobias Müller.
    The number of disk graphs.
    Eur. J. Comb. 2014, Volume 35 (0) 2014
    Conference paper
    Ross J. Kang, Tobias Müller.
    Arrangements of Pseudocircles and Circles.
    Discrete Computational Geometry 2014, Volume 51 (0) 2014
    Journal article
    Ross J. Kang, Tobias Müller, Douglas B. West.
    On r-dynamic Coloring of Grids.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Tobias Müller, Milos Stojakovic.
    A threshold for the Maker-Breaker clique game.
    Random Struct. Algorithms 2014, Volume 45 (0) 2014
    Conference paper
    Tobias Müller, Sebastian Haag, Thomas Bastuck, Thomas Gisler, Hansruedi Moser, Petteri Uusimaa, Christoph Axt, Christian Brecher.
    Robust Adhesive Precision Bonding in Automated Assembly Cells.
    Precision Assembly Technologies and Systems - 7th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2014, Chamonix, France, February 16-18, 2014, Revised Selected Papers 2014 (0) 2014
    Conference paper
    Sebastian Haag, Tobias Müller, Christoph Pallasch, Christian Brecher.
    Integrated Tool-Chain Concept for Automated Micro-optics Assembly.
    Precision Assembly Technologies and Systems - 7th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2014, Chamonix, France, February 16-18, 2014, Revised Selected Papers 2014 (0) 2014
    Conference paper
    Andrew Beveridge, Andrzej Dudek, Alan M. Frieze, Tobias Müller, Milos Stojakovic.
    Maker-breaker games on random geometric graphs.
    Random Struct. Algorithms 2014, Volume 45 (0) 2014
    Journal article
    Colin McDiarmid, Tobias Müller.
    Integer realizations of disk and segment graphs.
    J. Comb. Theory, Ser. B 2013, Volume 103 (0) 2013
    Journal article
    Benjamin Merget, David Zilian, Tobias Müller, Christoph A. Sotriffer.
    MycPermCheck: the
    Bioinformatics 2013, Volume 29 (0) 2013
    Journal article
    Tobias Müller, Erik Jan van Leeuwen, Jan van Leeuwen.
    Integer Representations of Convex Polygon Intersection Graphs.
    SIAM J. Discrete Math. 2013, Volume 27 (0) 2013
    Conference paper
    Tobias Müller.
    A counterexample to a conjecture of Grünbaum on piercing convex sets in the plane.
    Discrete Mathematics 2013, Volume 313 (0) 2013
    Conference paper
    Benjamin Merget, David Zilian, Tobias Müller, Christoph A. Sotriffer.
    MycPermCheck: the Mycobacterium tuberculosis permeability prediction tool for small molecules.
    J. Cheminformatics 2013, Volume 5 (0) 2013
    Conference paper
    Ross J. Kang, Tobias Müller.
    Sphere and Dot Product Representations of Graphs.
    Discrete Computational Geometry 2012, Volume 47 (0) 2012
    Conference paper
    Daniela Beisser, Stefan Brunkhorst, Thomas Dandekar, Gunnar W. Klau, Marcus T. Dittrich, Tobias Müller.
    Robustness and accuracy of functional modules in integrated network analysis.
    Bioinformatics 2012, Volume 28 (0) 2012
    Conference paper
    Tobias Müller, Karsten Nebe, Florian Klompmaker.
    Base Requirements for Virtual Tabletop Groupware Artifacts.
    Mensch Computer 2012 - Workshopband: interaktiv informiert - allgegenwärtig und allumfassend!? Konstanz, Germany, September 9-12, 2012 2012 (0) 2012
    Conference paper
    Ross J. Kang, Matthias Mnich, Tobias Müller.
    Induced Matchings in Subcubic Planar Graphs.
    SIAM J. Discrete Math. 2012, Volume 26 (0) 2012
    Conference paper
    Andrew Beveridge, Andrzej Dudek, Alan M. Frieze, Tobias Müller.
    Cops and Robbers on Geometric Graphs.
    Combinatorics, Probability Computing 2012, Volume 21 (0) 2012
    Journal article
    Daniela Beisser, Markus A. Grohme, Joachim Kopka, Marcus Frohme, Ralph O. Schill, Steffen Hengherr, Thomas Dandekar, Gunnar W. Klau, Marcus T. Dittrich, Tobias Müller.
    Integrated pathway modules using time-course metabolic profiles and EST data from Milnesium tardigradum.
    BMC Systems Biology 2012, Volume 6 (0) 2012
    Conference paper
    Tobias Müller, Erik Jan van Leeuwen, Jan van Leeuwen.
    Integer representations of convex polygon intersection graphs.
    Proceedings of the 27th ACM Symposium on Computational Geometry, Paris, France, June 13-15, 2011 2011 (0) 2011
    Conference paper
    Ross J. Kang, Tobias Müller.
    Sphere and dot product representations of graphs.
    Proceedings of the 27th ACM Symposium on Computational Geometry, Paris, France, June 13-15, 2011 2011 (0) 2011
    Conference paper
    Karsten Nebe, Tobias Müller, Florian Klompmaker.
    An Investigation on Requirements for Co-located Group-Work Using Multitouch-, Pen-Based- and Tangible-Interaction.
    Human-Computer Interaction. Interaction Techniques and Environments - 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II 2011 (0) 2011
    Conference paper
    Manu Basavaraju, L. Sunil Chandran, Nathann Cohen, Frédéric Havet, Tobias Müller.
    Acyclic Edge-Coloring of Planar Graphs.
    SIAM J. Discrete Math. 2011, Volume 25 (0) 2011
    Conference paper
    Ross J. Kang, Tobias Müller.
    Frugal, acyclic and star colourings of graphs.
    Discrete Applied Mathematics 2011, Volume 159 (0) 2011
    Conference paper
    Andreas Biesdorf, Stefan Wörz, Tobias Müller, Tim Frederik Weber, Tobias Heye, Waldemar Hosch, Hendrik von Tengg-Kobligk, Karl Rohr.
    Model-Based Segmentation and Motion Analysis of the Thoracic Aorta from 4D ECG-Gated CTA Images.
    Medical Image Computing and Computer-Assisted Intervention - MICCAI 2011 - 14th International Conference, Toronto, Canada, September 18-22, 2011, Proceedings, Part I 2011 (0) 2011
    Journal article
    C. Staiger, S. Cadot, R. Kooter, Marcus T. Dittrich, Tobias Müller, Gunnar W. Klau, Lodewyk F. A. Wessels.
    A critical evaluation of network and pathway based classifiers for outcome prediction in breast cancer
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Colin McDiarmid, Tobias Müller.
    On the chromatic number of random geometric graphs.
    Combinatorica 2011, Volume 31 (0) 2011
    Journal article
    Colin McDiarmid, Tobias Müller.
    Integer realizations of disk and segment graphs
    CoRR 2011, Volume 0 (0) 2011
    Journal article
    Tobias Müller, Attila Pór, Jean-Sébastien Sereni.
    Graphs with Four Boundary Vertices.
    Electr. J. Comb. 2011, Volume 18 (0) 2011
    Journal article
    Ross J. Kang, László Lovász, Tobias Müller, Edward R. Scheinerman.
    Dot Product Representations of Planar Graphs.
    Electr. J. Comb. 2011, Volume 18 (0) 2011
    Conference paper
    Tobias Müller, Xavier Pérez-Giménez, Nicholas C. Wormald.
    Disjoint Hamilton cycles in the random geometric graph.
    Journal of Graph Theory 2011, Volume 68 (0) 2011
    Conference paper
    Colin McDiarmid, Tobias Müller.
    Counting disk graphs.
    Electronic Notes in Discrete Mathematics 2011, Volume 38 (0) 2011
    Conference paper
    Sebastian Schalck, Tobias Müller, Roland Unterhinninghofen, Hendrik von Tengg-Kobligk, Hans-Ulrich Kauczor, Rüdiger Dillmann.
    Simulation von Aortenerkrankungen für die Therapieplanung basierend auf 4D MRT- und Phasenkontrastbildgebung.
    10. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboterassistierte Chirurgie, September 15-16, 2011, Magdeburg, Germany 2015 (0) 2011
    Conference paper
    Ross J. Kang, Matthias Mnich, Tobias Müller.
    Induced Matchings in Subcubic Planar Graphs.
    Algorithms - ESA 2010, 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part II 2010 (0) 2010
    Conference paper
    Louigi Addario-Berry, Ross J. Kang, Tobias Müller.
    Acyclic dominating partitions.
    Journal of Graph Theory 2010, Volume 64 (0) 2010
    Conference paper
    Colin McDiarmid, Tobias Müller.
    The Number of Bits Needed to Represent a Unit Disk Graph.
    Graph Theoretic Concepts in Computer Science - 36th International Workshop, WG 2010, Zarós, Crete, Greece, June 28-30, 2010 Revised Papers 2010 (0) 2010
    Journal article
    Milan Bradonjic, Tobias Müller, Allon G. Percus.
    Coloring Geographical Threshold Graphs.
    Discrete Mathematics Theoretical Computer Science 2010, Volume 12 (0) 2010
    Conference paper
    Ross J. Kang, Tobias Müller.
    Dot Product Representations of Planar Graphs.
    Graph Drawing - 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers 2011 (0) 2010
    Journal article
    Christian Koetschan, Frank Förster, Alexander Keller, Tina Schleicher, Benjamin Ruderisch, Roland Schwarz, Tobias Müller, Matthias Wolf, Jörg Schultz.
    The ITS2 Database III - sequences and structures for phylogeny.
    Nucleic Acids Research 2010, Volume 38 (0) 2010
    Journal article
    Daniela Beisser, Gunnar W. Klau, Thomas Dandekar, Tobias Müller, Marcus T. Dittrich.
    BioNet: an R-Package for the functional analysis of biological networks.
    Bioinformatics 2010, Volume 26 (0) 2010
    Journal article
    Frédéric Havet, Ross J. Kang, Tobias Müller, Jean-Sébastien Sereni.
    Circular choosability.
    Journal of Graph Theory 2009, Volume 61 (0) 2009
    Conference paper
    Milan Bradonjic, Tobias Müller, Allon G. Percus.
    Coloring Geographical Threshold Graphs.
    Proceedings of the Sixth Workshop on Analytic Algorithmics and Combinatorics, ANALCO 2009, New York, New York, USA, January 03, 2009 2009 (0) 2009
    Conference paper
    Ross J. Kang, Tobias Müller.
    Acyclic and Frugal Colourings of Graphs.
    Proceedings of the 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, CTW 2009, Paris, France, June 2-4 2009 2009 (0) 2009
    Conference paper
    Tobias Müller, Jean-Sébastien Sereni.
    Identifying and Locating-Dominating Codes in (Random) Geometric Networks.
    Combinatorics, Probability Computing 2009, Volume 18 (0) 2009
    Conference paper
    Raphael Hauser, Tobias Müller.
    Conditioning of Random Conic Systems Under a General Family of Input Distributions.
    Foundations of Computational Mathematics 2009, Volume 9 (0) 2009
    Conference paper
    Tobias Müller, Robert J. Waters.
    Circular choosability is rational.
    J. Comb. Theory, Ser. B 2009, Volume 99 (0) 2009
    Journal article
    Nathann Cohen, Frédéric Havet, Tobias Müller.
    Acyclic edge-colouring of planar graphs. Extended abstract.
    Electronic Notes in Discrete Mathematics 2009, Volume 34 (0) 2009
    Conference paper
    Marcus T. Dittrich, Gunnar W. Klau, Andreas Rosenwald, Thomas Dandekar, Tobias Müller.
    Identifying functional modules in protein-protein interaction networks: an integrated exact approach.
    Proceedings 16th International Conference on Intelligent Systems for Molecular Biology (ISMB), Toronto, Canada, July 19-23, 2008 2008 (0) 2008
    Conference paper
    Matthias Wolf, Benjamin Ruderisch, Thomas Dandekar, Jörg Schultz, Tobias Müller.
    ProfDistS: (profile-) distance based phylogeny on sequence - structure alignments.
    Bioinformatics 2008, Volume 24 (0) 2008
    Conference paper
    Tobias Müller.
    Two-point concentration in random geometric graphs.
    Combinatorica 2008, Volume 28 (0) 2008
    Conference paper
    Ross J. Kang, Tobias Müller, Jean-Sébastien Sereni.
    Improper colouring of (random) unit disk graphs.
    Discrete Mathematics 2008, Volume 308 (0) 2008
    Conference paper
    Tobias Müller, Attila Pór, Jean-Sébastien Sereni.
    Lower bounding the boundary of a graph in terms of its maximum or minimum degree.
    Discrete Mathematics 2008, Volume 308 (0) 2008
    Conference paper
    Christian Selig, Matthias Wolf, Tobias Müller, Thomas Dandekar, Jörg Schultz.
    The ITS2 Database II: homology modelling RNA structure for molecular systematics.
    Nucleic Acids Research 2008, Volume 36 (0) 2008
    Journal article
    Daniel Gerlach, Matthias Wolf, Thomas Dandekar, Tobias Müller, Andreas Pokorny, Sven Rahmann.
    Deep Metazoan Phylogeny.
    In Silico Biology 2007, Volume 7 (0) 2007
    Conference paper
    Torben Friedrich, Birgit Pils, Thomas Dandekar, Jörg Schultz, Tobias Müller.
    Modelling interaction sites in protein domains with interaction profile hidden Markov models.
    Bioinformatics 2006, Volume 22 (0) 2006
    Conference paper
    Philipp N. Seibel, Tobias Müller, Thomas Dandekar, Jörg Schultz, Matthias Wolf.
    4SALE - A tool for synchronous RNA sequence and secondary structure alignment and editing.
    BMC Bioinformatics 2006, Volume 7 (0) 2006
    Conference paper
    Jörg Schultz, Tobias Müller, Marco Achtziger, Philipp N. Seibel, Thomas Dandekar, Matthias Wolf.
    The internal transcribed spacer 2 database - a web server for (not only) low level phylogenetic analyses.
    Nucleic Acids Research 2006, Volume 34 (0) 2006
    Conference paper
    Joachim Friedrich, Thomas Dandekar, Matthias Wolf, Tobias Müller.
    ProfDist: a tool for the construction of large phylogenetic trees based on profile distances.
    Bioinformatics 2005, Volume 21 (0) 2005
    Conference paper
    Matthias Wolf, Joachim Friedrich, Thomas Dandekar, Tobias Müller.
    CBCAnalyzer: inferring phylogenies based on compensatory base changes in RNA secondary structures.
    In Silico Biology 2004, Volume 5 (0) 2005
    Conference paper
    Torsten Crass, Iris Antes, Rico Basekow, Peer Bork, Christian Buning, Maik Christensen, Holger Claussen, Christian Ebeling, Peter Ernst, Valérie Gailus-Durner, Karl-Heinz Glatting, Rolf Gohla, Frank Gößling, Korbinian Grote, Karsten R. Heidtke, Alexander Herrmann, Sean O'Keeffe, O. Kießlich, Sven Kolibal, Jan O. Korbel, Thomas Lengauer, Ines Liebich, Mark van der Linden, Hannes Luz, Kathrin Meissner, Christian von Mering, Heinz-Theodor Mevissen, Hans-Werner Mewes, Holger Michael, Martin Mokrejs, Tobias Müller, Heike Pospisil, Matthias Rarey, Jens G. Reich, Ralf Schneider, Dietmar Schomburg, Steffen Schulze-Kremer, Knut Schwarzer, Ingolf Sommer, Stephan Springstubbe, Sándor Suhai, Gnanasekaran Thoppae, Martin Vingron, Jens Warfsmann, Thomas Werner, Daniel Wetzler, Edgar Wingender, Ralf Zimmer.
    The Helmholtz Network for Bioinformatics: an integrative web portal for bioinformatics resources.
    Bioinformatics 2004, Volume 20 (0) 2004
    Conference paper
    Torsten Crass, Iris Antes, Rico Basekow, Peer Bork, Christian Buning, Maik Christensen, Holger Claussen, Christian Ebeling, Peter Ernst, Valérie Gailus-Durner, Karl-Heinz Glatting, Rolf Gohla, Frank Gößling, Korbinian Grote, Karsten R. Heidtke, Alexander Herrmann, Sean O'Keeffe, O. Kießlich, Sven Kolibal, Jan O. Korbel, Thomas Lengauer, Ines Liebich, Mark van der Linden, Hannes Luz, Kathrin Meissner, Christian von Mering, Heinz-Theodor Mevissen, Hans-Werner Mewes, Holger Michael, Martin Mokrejs, Tobias Müller, Heike Pospisil, Matthias Rarey, Jens G. Reich, Ralf Schneider, Dietmar Schomburg, Steffen Schulze-Kremer, Knut Schwarzer, Ingolf Sommer, Stephan Springstubbe, Sándor Suhai, Gnanasekaran Thoppae, Martin Vingron, Jens Warfsmann, Thomas Werner, Daniel Wetzler, Edgar Wingender, Ralf Zimmer.
    The Helmholtz Network for Bioinformatics: an integrative web portal for bioinformatics resources.
    Bioinformatics 2004, Volume 20 (0) 2004
    Conference paper
    Katja Rateitschak, Tobias Müller, Martin Vingron.
    Annotating significant pairs of transcription factor binding sites in regulatory DNA.
    In Silico Biology 2003, Volume 4 (0) 2004
    Conference paper
    Martin Henz, Tobias Müller, Sven Thiel.
    Global constraints for round robin tournament scheduling.
    European Journal of Operational Research 2004, Volume 153 (0) 2004
    Conference paper
    Tobias Müller, Sven Rahmann, Thomas Dandekar, Matthias Wolf.
    Robust estimation of the phylogeny of Chlorophyceae(Chlorophyta)based on profile distances.
    Proceedings of the German Conference on Bioinformatics, GCB 2003, October 12-14, 2003, Neuherberg/Garching near Munich, Germany 2003 (0) 2003
    Conference paper
    Christine Steinhoff, Tobias Müller, Ulrike A. Nuber, Martin Vingron.
    Gaussian Mixture Density Estimation Applied to Microarray Data.
    Advances in Intelligent Data Analysis V, 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Tobias Müller, Sven Rahmann, Marc Rehmsmeier.
    Non-symmetric score matrices and the detection of homologous transmembrane proteins.
    Proceedings of the Ninth International Conference on Intelligent Systems for Molecular Biology, July 21-25, 2001, Copenhagen, Denmark 2001 (0) 2001
    Conference paper
    Tobias Müller.
    Promoting Constraints to First-Class Status.
    Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Tobias Müller.
    Practical Investigation of Constraints with Graph Views.
    Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Erica Melis, Jürgen Zimmer, Tobias Müller.
    Extensions of Constraint Solving for Proof Planning.
    ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000 2000 (0) 2000
    Conference paper
    Erica Melis, Jürgen Zimmer, Tobias Müller.
    Integrating Constraint Solving into Proof Planning.
    Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Tobias Müller, Martin Vingron.
    Modeling Amino Acid Replacement.
    Journal of Computational Biology 2000, Volume 7 (0) 2000
    Conference paper
    Tobias Müller, Rainer Spang, Martin Vingron.
    A new method for modeling protein evolution.
    German Conference on Bioinformatics 1999 (0) 1999
    Conference paper
    Tobias Müller.
    Practical Investigation of Constraints with Graph Views.
    ICLP 1999 (0) 1999
    Conference paper
    Tobias Müller, Jörg Würtz.
    Embedding Propagators in a Concurrent Constraint Language.
    Journal of Functional and Logic Programming 1999, Volume 1999 (0) 1999
    Conference paper
    Martin Henz, Tobias Müller, Ka Boon Ng.
    Figaro: Yet Another Constraint Programming Library.
    Electr. Notes Theor. Comput. Sci. 1999, Volume 30 (0) 1999
    Conference paper
    Tobias Müller, Jörg Würtz.
    Connecting Propagators with a Concurrent Constraint Language.
    ICLP 1997 (0) 1997
    Conference paper
    Tobias Müller, Jörg Würtz.
    Extending a Concurrent Constraint Language by Propagators.
    ILPS 1997 (0) 1997
    Conference paper
    Tobias Müller, Martin Müller.
    Finite Set Intervals in Oz.
    WLP 1997 (0) 1997
    Conference paper
    Jörg Würtz, Tobias Müller.
    Constructive Disjunction Revisited.
    KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings 1996 (0) 1996
    Conference paper
    Tobias Müller, Jörg Würtz.
    Constructive Disjunction in Oz.
    WLP 1995 (0) 1995
    Show item 1 to 95 of 95  

    Your query returned 95 matches in the database.