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
Ziegler, Martin. “Revising Type-2 Computation and Degrees of Discontinuity.” Electronic Notes in Theoretical Computer Science, 2007, pp. 255–74, doi:10.1016/j.entcs.2006.08.015.
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 17981
Ziegler, Martin. “Real Hypercomputation and Continuity.” Theory of Computing Systems, 2007, pp. 177–206, doi:10.1007/s00224-006-1343-6.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 17982
Ziegler, Martin. “(Short) Survey of Real Hypercomputation.” Lecture Notes in Computer Science, 2007, doi:10.1007/978-3-540-73001-9_86.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 17983
Meer, Klaus, and Martin Ziegler. “Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation.” Mathematical Foundations of Computer Science 2007, 2007, doi:10.1007/978-3-540-74456-6_64.
LibreCat
| DOI
2007 | Preprint | LibreCat-ID: 17984
Lürwer-Brüggemeier, Katharina, and Martin Ziegler. “On Faster Integer Calculations Using Non-Arithmetic Primitives.” ArXiv:0709.0624, 2007.
LibreCat
2007 | Report | LibreCat-ID: 18285
Ziegler, Martin. Real Computability and Hypercomputation. 2007.
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 18347
Fischer, Matthias, et al. “Interactive Refinement of a Material Flow Simulation Model by Comparing Multiple Simulation Runs in One 3D Environment.” European Simulation and Modelling Conference (ESM 2007), 2007, pp. 499--505.
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 18349
Dangelmaier, Wilhelm, et al. “Ein Ganzheitlicher Ansatz Zur Immersiven 3D-Materialflusssimulation Innerhalb Der Digitalen Fabrik.” Augmented & Virtual Reality in Der Produktentstehung, vol. 209, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2007, pp. 95–110.
LibreCat
2007 | Conference Paper | LibreCat-ID: 18572
Buriol, Luciana S., et al. “Estimating Clustering Indexes in Data Streams.” Proceedings of the 15th European Symposium on Algorithms (ESA), vol. 4698, Springer, 2007, pp. 618–32, doi:10.1007/978-3-540-75520-3_55.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 18655
Sohler, Christian, and Artur Czumaj. “On Testable Properties in Bounded Degree Graphs.” Proceedings of the 17th ACM-SIAM Symposium on Discrete Algorithms (SODA’07), 2007, pp. 494–501.
LibreCat