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.
9996 Publications
1997 | Conference Paper | LibreCat-ID: 3258
Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\’{\i}}vara and Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 3259
Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\’{\i}}vara and Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.
LibreCat
| DOI
1997 | Book Chapter | LibreCat-ID: 3029
Blömer, Johannes. “Denesting by Bounded Degree Radicals.” Algorithms — ESA ’97, Springer Berlin Heidelberg, 1997, pp. 53–63, doi:10.1007/3-540-63397-9_5.
LibreCat
| Files available
| DOI
1997 | Journal Article | LibreCat-ID: 3033
Blömer, Johannes, et al. “The Rank of Sparse Random Matrices over Finite Fields.” Random Structures \& Algorithms, no. 4, 1997, pp. 407–19, doi:10.1002/(SICI)1098-2418(199707)10:4<407::AID-RSA1>3.0.CO;2-Y.
LibreCat
| DOI
1997 | Book | LibreCat-ID: 17447
Peckhaus, Volker. Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert. Akademie-Verlag, 1997.
LibreCat
1997 | Report | LibreCat-ID: 18955
Strothmann, Willy-Bernhard, and Tamás Lukovszki. Decremental Biconnectivity on Planar Graphs. 1997.
LibreCat
| Files available
1997 | Book | LibreCat-ID: 19019
Eke, Norbert Otto. Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800. Fink, 1997.
LibreCat
1997 | Journal Article | LibreCat-ID: 19410
Eke, Norbert Otto. “Planziel Vernichtung. Zwei Versuche über das Unfaßbare des Völkermords: Franz Werfels Die vierzig Tage des Musa Dagh (1933) und Edgar Hilsenraths Das Märchen vom letzten Gedanken (1989).” Deutsche Vierteljahrsschrift für Literaturwissenschaft und Geistesgeschichte, vol. 71, no. H. 4, 1997, pp. 701–23.
LibreCat
1997 | Book Chapter | LibreCat-ID: 19411
Eke, Norbert Otto. “„Sein Leben machen / ist nicht, / sein Glück machen / mein Herr“. Zum Verhältnis von Ästhetik und Politik in Herta Müllers Nachrichten aus Rumänien.” Jahrbuch der Deutschen Schillergesellschaft, edited by Wilfried Barner et al., vol. 41, Metzler, 1997, pp. 481–509.
LibreCat
1997 | Conference Paper | LibreCat-ID: 18575
Sohler, Christian, and Markus Denny. “Encoding a Triangulation as a Permutation of Its Point Set.” Proceedings of the 9th Canadian Conference on Computational Geometry, 1997, pp. 39–43.
LibreCat
1997 | Conference Paper | LibreCat-ID: 2175 | 
Bock, Stefan, et al. “Optimal Wormhole Routing in the (n, d)-Torus.” IPPS, IEEE Computer Society, 1997, pp. 326--332.
LibreCat
| Files available
1997 | Conference Paper | LibreCat-ID: 2179 |
Flammini, Michele, and Christian Scheideler. “Simple, Efficient Routing Schemes for All-Optical Networks.” SPAA, 1997, pp. 170--179.
LibreCat
| Files available
1997 | Conference (Editor) | LibreCat-ID: 7795
Engels, Gregor, editor. Themenheft: Softwaretechnik. Vol. 12, no. 4, Springer, 1997, doi:http://dx.doi.org/10.1007/s004500050085.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7839
Engels, Gregor, et al. “A View-Oriented Approach to System Modelling Using Graph Transformations.” Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), edited by M. Jazayeri and H. Schauer, vol. 1301, Springer, 1997, pp. 327–43, doi:http://dx.doi.org/10.1007/3-540-63531-9.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7840
Depke, Ralph, et al. “Thermooptische Effekte in Nd:YAG-Slablasern.” Verhandlungen Der Deutschen Physikalischen Gesellschaft, vol. 32, no. 3, Physik-Verlag, 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 7841
Heckel, Reiko, et al. “Integrating the Specification Techniques of Graph Transformation and Temporal Logic.” Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, 1997, pp. 219–28, doi:http://dx.doi.org/10.1007/BFb0029965.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7842
Knoke, Stefan, et al. “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen Hoher Ausgangsleistung.” Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), vol. 32, no. 3, Physik-Verlag, 1997.
LibreCat
1997 | Report | LibreCat-ID: 8201
Heckel, Reiko, et al. Loose Semantics and Constraints for Graph Transformation Systems. 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8276
Gadducci, Fabio, and Reiko Heckel. “A 2-Categorical Presentation of Distributed Graph Transformation.” Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8277
Gadducci, Fabio, et al. “Combining Graph Transformations with Temporal Logic.” Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat