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
M. Ziegler, “Revising Type-2 Computation and Degrees of Discontinuity,” Electronic Notes in Theoretical Computer Science, pp. 255–274, 2007.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 17981
M. Ziegler, “Real Hypercomputation and Continuity,” Theory of Computing Systems, pp. 177–206, 2007.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 17982
M. Ziegler, “(Short) Survey of Real Hypercomputation,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 17983
K. Meer and M. Ziegler, “Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation,” in Mathematical Foundations of Computer Science 2007, Berlin, Heidelberg, 2007.
LibreCat | DOI
 

2007 | Preprint | LibreCat-ID: 17984
K. Lürwer-Brüggemeier and M. Ziegler, “On Faster Integer Calculations using Non-Arithmetic Primitives,” arXiv:0709.0624. 2007.
LibreCat
 

2007 | Report | LibreCat-ID: 18285
M. Ziegler, Real Computability and Hypercomputation. 2007.
LibreCat | Files available
 

2007 | Conference Paper | LibreCat-ID: 18347
M. Fischer et al., “Interactive Refinement of a Material Flow Simulation Model by Comparing Multiple Simulation Runs in one 3D Environment,” in European Simulation and Modelling Conference (ESM 2007), 2007, pp. 499--505.
LibreCat | Files available
 

2007 | Conference Paper | LibreCat-ID: 18349
W. Dangelmaier, C. Laroque, and M. Fischer, “Ein ganzheitlicher Ansatz zur immersiven 3D-Materialflusssimulation innerhalb der Digitalen Fabrik,” in Augmented & Virtual Reality in der Produktentstehung, 2007, vol. 209, pp. 95–110.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 18572
L. S. Buriol, G. Frahling, S. Leonardi, and C. Sohler, “Estimating Clustering Indexes in Data Streams,” in Proceedings of the 15th European Symposium on Algorithms (ESA), 2007, vol. 4698, pp. 618–632.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 18655
C. Sohler and A. Czumaj, “On Testable Properties in Bounded Degree Graphs,” in Proceedings of the 17th ACM-SIAM Symposium on Discrete Algorithms (SODA’07), 2007, pp. 494–501.
LibreCat
 

Filters and Search Terms

department=63

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed