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.

10076 Publications


1998 | Conference Paper | LibreCat-ID: 8281
A. Corradini, M. Große-Rhode, and R. Heckel, “Structured Transition Systems as Lax Coalgebras,” in Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), 1998, vol. 11.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8286
F. Gadducci, R. Heckel, and M. Koch, “Model Checking Graph-Interpreted Temporal Formulas,” in Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 16890
G. Domik-Kienegger and S. Vollbracht, “Dreidimensionale Welten auf flachen Bildschirmen,” in Zeitschrift Forschungsforum Paderborn , 1998.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 10196
G. Brinkmann and E. Steffen, “3- and 4-critical graphs of small even order,” Discrete Mathematics, vol. 188, pp. 193–197, 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 13859
R. W. N. Nilen et al., “A High Resolution Investigation of the Anisotropic Electron-Positron Momentum Distribution in Diamond,” Materials Science Forum, vol. 255–257, pp. 475–478, 1997.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 13777
U. Grossner, W. G. Schmidt, and F. Bechstedt, “As on InP(110) studied within density-functional theory,” Physical Review B, vol. 56, no. 11, pp. 6719–6726, 1997.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 1445
A. Baratloo, M. Karaul, H. Karl, and Z. M. Kedem, “KnittingFactory: An Infrastructure for Distributed Web Applications,” Technical Report, 1997.
LibreCat | Files available
 

1997 | Conference Paper | LibreCat-ID: 14991
B. Gutkauf, S. Thies, and G. Domik, “A user-adaptive chart editing system based on user modeling and critiquing,” in User Modeling, 1997, pp. 159–170.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 15571
R. Hagengruber, “La fondazione del punto matematico nella filosofia di Tommaso Campanella,” Bruniana & Campanelliana, vol. 3, no. 1, pp. 77–92, 1997.
LibreCat | Download (ext.)
 

1997 | Conference Paper | LibreCat-ID: 2013
M. Brune, C. Hellmann, and A. Keller, “A Closer Step towards Management of Metacomputing-Resources,” in Proc. Workshop Hypercomputing at ITG/GI-Conference Architekur von Rechensystemen, 1997.
LibreCat
 

1997 | Book Review | LibreCat-ID: 1692
D. Krimphove, “Eva M. K. Häußling: Soziale Grundrechte in der portugiesi-schen Verfassung von 1976; in: Beiträge zum ausländischen und vergleichenden öffentlichen Recht Bd. 10, Diss. Bonn 1996; Nomos-Verlagsgesellschaft, Baden-Baden 1997,” Euro A S , no. Heft 12. p. 171 f., 1997.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 16687
E. Karaivazoglou and F. Meyer auf der Heide, “Routing on asyncronous processor networks,” in Euro-Par’97 Parallel Processing, Berlin, Heidelberg, 1997.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 16567
F. Meyer auf der Heide, M. Storch, and R. Wanka, “Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks,” Theory of Computing Systems, pp. 627–644, 1997.
LibreCat | DOI
 

1997 | Working Paper | LibreCat-ID: 2671
S. Betz, Die Zielkostenrechnung als Controllinginstrument, vol. Neue Folge Nr. 49. Paderborn, 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 3706
C. Harteis, “Qualität in der Weiterbildung?,” Grundlagen der Weiterbildung (GdWZ), vol. 8, no. 2, pp. 214–215, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 7842
S. Knoke, R. Depke, W. Schöne, O. S. Brozek, A. Tünnermann, and H. Welling, “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung,” in Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), 1997, vol. 32, no. 3.
LibreCat
 

1997 | Report | LibreCat-ID: 8201
R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, Loose Semantics and Constraints for Graph Transformation Systems. 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8903
W. Sextro, “Schwingungsverhalten von Schaufelkränzen mit Reibelementen bei Frequenzverstimmung,” in VDI-Reihe, 1997, vol. 11, no. 245.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 17015
M. Dellnitz and A. Hohmann, “A subdivision algorithm for the computation of unstable manifolds and global attractors,” Numerische Mathematik, vol. 75, pp. 293–317, 1997.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 10609
M. Platzner, B. Rinner, and R. Weiss, “A Computer Architecture to Support Qualitative Simulation in Industrial Applications,” e & i Elektrotechnik und Informationstechnik, vol. 114, pp. 13–18, 1997.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

status=public

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed