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.

10000 Publications


2000 | Conference Paper | LibreCat-ID: 8339
G. Engels and R. Heckel, “From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation,” in Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland), 2000, pp. 373–382.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8341
F. Gadducci, R. Heckel, and M. Koch, “A Fully Abstract Model for Graph-Interpreted Temporal Logic,” in Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), 2000, vol. 1764, pp. 310–322.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8346
K. Mehner and T. Schattkowsky, “Methodische Aspekte von Modellierungssprachen für nebenläufige Software,” in Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), 2000, vol. 24, pp. 14–18.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8916
T. Hemsel and J. Wallaschek, “Piezoelectic linear motors,” in Tagungsband der ACTUATOR, 2000, pp. 250–253.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16513
P. J. Aston and M. Dellnitz, “The Computation of Lyapunov Exponents via Spatial Integration Using Vector Norms,” in Equadiff 99, 2000.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10186
H. G. Carstens, T. Dinski, and E. Steffen, “Reductions of Symmetry configurations n3,” Discrete Applied Mathematics, vol. 99, pp. 401–411, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10725
M. Platzner, B. Rinner, and R. Weiss, “Toward embedded qualitative simulation: a specialized computer architecture for QSim,” IEEE Intelligent Systems, vol. 15, no. 2, pp. 62–68, 2000.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13762
W. G. Schmidt and J. Bernholc, “Step-induced optical anisotropy of Si(111):H surfaces,” Physical Review B, vol. 61, no. 11, pp. 7604–7608, 2000.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 13609
M. H. Eisenring and M. Platzner, “An Implementation Framework for Run-time Reconfigurable Systems,” in Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE), 2000, pp. 151–157.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15302
I. Gueroguieva, I. Nestorov, M. Rowland, and E. Hüllermeier, “In vitro-in vivo hepatic clearance prediction using fuzzy sets,” in in Proceedings EUFEPS-2000, 6th European Congress of Pharmaceutical Sciences, Supplement 1 , 2000, vol. 11, p. S22.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed