@articleZiegler_2005, title=Stability versus speed in a computable algebraic model, DOI=10.1016/j.tcs.2005.09.053, journal=Theoretical Computer Science, author=Ziegler, Martin, year=2005, pages=14–26 
LibreCat: /record/15058
DOI: 10.1016/j.tcs.2005.09.053

@articleBezrukov_Elsässer_Monien_Preis_Tillich_2004, title=New spectral lower bounds on the bisection width of graphs, DOI=10.1016/j.tcs.2004.03.059, journal=Theoretical Computer Science, author=Bezrukov, S. and Elsässer, R. and Monien, B. and Preis, R. and Tillich, J.-P., year=2004, pages=155–174 
LibreCat: /record/16521
DOI: 10.1016/j.tcs.2004.03.059

@articleMeyer auf der Heide_Schröder_Schwarze_1998, title=Routing on networks of optical crossbars, volume=196, DOI=10.1016/s0304-3975(97)86791-6, journal=Theoretical Computer Science, author=Meyer auf der Heide, Friedhelm and Schröder, Klaus and Schwarze, Frank, year=1998, pages=181–200 
LibreCat: /record/16503
DOI: 10.1016/s0304-3975(97)86791-6

@articleBäumker_Dittrich_Meyer auf der Heide_1998, title=Truly efficient parallel algorithms: 1-optimal multisearch for an extension of the BSP model, DOI=10.1016/s0304-3975(98)00020-6, journal=Theoretical Computer Science, author=Bäumker, Armin and Dittrich, Wolfgang and Meyer auf der Heide, Friedhelm, year=1998, pages=175–203 
LibreCat: /record/16504
DOI: 10.1016/s0304-3975(98)00020-6

@articleKleine Büning_Lettmann_Mayr_1989, title=Projections of vector addition system reachability sets are semilinear, DOI=10.1016/0304-3975(89)90055-8, journal=Theoretical Computer Science, author=Kleine Büning, Hans and Lettmann, Theodor and Mayr, Ernst W., year=1989, pages=343–350 
LibreCat: /record/19818
DOI: 10.1016/0304-3975(89)90055-8

@articleBorodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1988, title=A tradeoff between search and update time for the implicit dictionary problem, DOI=10.1016/0304-3975(88)90018-7, journal=Theoretical Computer Science, author=Borodin, Allan and Fich, Faith E. and Meyer auf der Heide, Friedhelm and Upfal, Eli and Wigderson, Avi, year=1988, pages=57–68 
LibreCat: /record/16765
DOI: 10.1016/0304-3975(88)90018-7

@articleMeyer auf der Heide_1985, title=Simulating probabilistic by deterministic algebraic computation trees, DOI=10.1016/0304-3975(85)90079-9, journal=Theoretical Computer Science, author=Meyer auf der Heide, Friedhelm, year=1985, pages=325–330 
LibreCat: /record/16781
DOI: 10.1016/0304-3975(85)90079-9

@articleMeyer auf der Heide_1981, title=A comparison of two variations of a pebble game on graphs, DOI=10.1016/s0304-3975(81)80004-7, journal=Theoretical Computer Science, author=Meyer auf der Heide, Friedhelm, year=1981, pages=315–322 
LibreCat: /record/16820
DOI: 10.1016/s0304-3975(81)80004-7