Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
792 Publications
2007 | Journal Article | LibreCat-ID: 17980
@article{Ziegler_2007, title={Revising Type-2 Computation and Degrees of Discontinuity}, DOI={10.1016/j.entcs.2006.08.015}, journal={Electronic Notes in Theoretical Computer Science}, author={Ziegler, Martin}, year={2007}, pages={255–274} }
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 17981
@article{Ziegler_2007, title={Real Hypercomputation and Continuity}, DOI={10.1007/s00224-006-1343-6}, journal={Theory of Computing Systems}, author={Ziegler, Martin}, year={2007}, pages={177–206} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 17982
@inbook{Ziegler_2007, place={Berlin, Heidelberg}, title={(Short) Survey of Real Hypercomputation}, DOI={10.1007/978-3-540-73001-9_86}, booktitle={Lecture Notes in Computer Science}, author={Ziegler, Martin}, year={2007} }
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 17983
@inbook{Meer_Ziegler_2007, place={Berlin, Heidelberg}, title={Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation}, DOI={10.1007/978-3-540-74456-6_64}, booktitle={Mathematical Foundations of Computer Science 2007}, author={Meer, Klaus and Ziegler, Martin}, year={2007} }
LibreCat
| DOI
2007 | Preprint | LibreCat-ID: 17984
@article{Lürwer-Brüggemeier_Ziegler_2007, title={On Faster Integer Calculations using Non-Arithmetic Primitives}, journal={arXiv:0709.0624}, author={Lürwer-Brüggemeier, Katharina and Ziegler, Martin}, year={2007} }
LibreCat
2007 | Report | LibreCat-ID: 18285
@book{Ziegler_2007, title={Real Computability and Hypercomputation}, author={Ziegler, Martin}, year={2007} }
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 18347
@inproceedings{Fischer_Laroque_Huber_Krokowski_Mueck_Kortenjan_Aufenanger_ Dangelmaier_2007, title={Interactive Refinement of a Material Flow Simulation Model by Comparing Multiple Simulation Runs in one 3D Environment}, booktitle={European Simulation and Modelling Conference (ESM 2007)}, author={Fischer, Matthias and Laroque, Christoph and Huber, Daniel and Krokowski, Jens and Mueck, Bengt and Kortenjan, Michael and Aufenanger, Mark and Dangelmaier, Wilhelm}, year={2007}, pages={499--505} }
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 18349
@inproceedings{Dangelmaier_ Laroque_Fischer_2007, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Ein ganzheitlicher Ansatz zur immersiven 3D-Materialflusssimulation innerhalb der Digitalen Fabrik}, volume={209}, booktitle={Augmented & Virtual Reality in der Produktentstehung}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Dangelmaier, Wilhelm and Laroque, Christoph and Fischer, Matthias}, year={2007}, pages={95–110}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2007 | Conference Paper | LibreCat-ID: 18572
@inproceedings{Buriol_Frahling_Leonardi_Sohler_2007, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Estimating Clustering Indexes in Data Streams}, volume={4698}, DOI={10.1007/978-3-540-75520-3_55}, booktitle={Proceedings of the 15th European Symposium on Algorithms (ESA)}, publisher={Springer}, author={Buriol, Luciana S. and Frahling, Gereon and Leonardi, Stefano and Sohler, Christian}, year={2007}, pages={618–632}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 18655
@inproceedings{Sohler_Czumaj_2007, title={On Testable Properties in Bounded Degree Graphs}, booktitle={Proceedings of the 17th ACM-SIAM Symposium on Discrete Algorithms (SODA’07)}, author={Sohler, Christian and Czumaj, Artur}, year={2007}, pages={494–501} }
LibreCat