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.

10002 Publications


2000 | Conference Paper | LibreCat-ID: 8339
Engels G, Heckel R. 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). Carleton Scientific; 2000:373-382.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8341
Gadducci F, Heckel R, Koch M. 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). Vol 1764. LNCS. London, UK: Springer; 2000:310-322. doi:http://dx.doi.org/10.1007/b75045
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8346
Mehner K, Schattkowsky T. 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). Vol 24. Universität Münster; 2000:14-18.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8916
Hemsel T, Wallaschek J. Piezoelectic linear motors. In: Tagungsband Der ACTUATOR. Bremen; 2000:250-253.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16513
Aston PJ, Dellnitz M. The Computation of Lyapunov Exponents via Spatial Integration Using Vector Norms. In: Equadiff 99. ; 2000. doi:10.1142/9789812792617_0196
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10186
Carstens HG, Dinski T, Steffen E. Reductions of Symmetry configurations n3. Discrete Applied Mathematics. 2000;99:401-411.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10725
Platzner M, Rinner B, Weiss R. Toward embedded qualitative simulation: a specialized computer architecture for QSim. IEEE Intelligent Systems. 2000;15(2):62-68. doi:10.1109/5254.850829
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13762
Schmidt WG, Bernholc J. Step-induced optical anisotropy of Si(111):H surfaces. Physical Review B. 2000;61(11):7604-7608. doi:10.1103/physrevb.61.7604
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 13609
Eisenring MH, Platzner M. An Implementation Framework for Run-time Reconfigurable Systems. In: Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE). CSREA Press; 2000:151-157.
LibreCat
 

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

2000 | Working Paper | LibreCat-ID: 14979
Sureth-Sloane C. The Influence of Taxation on Partially Irreversible Investment Decisions – A Real Option Approach. Vol 462.; 2000.
LibreCat
 

2000 | Habilitation | LibreCat-ID: 15496
Hagengruber R. Nutzen und Allgemeinheit. Zu einigen grundlegenden Prinzipien der Praktischen Philosophie. Sankt Augustin: Academia; 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 16196
Hüllermeier E, Giersch C. Fuzzy dynamics and applications in biological systems modelling. Systems Analysis,  Modelling, Simulation. 2000;38:29-50.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 1947
Krimphove D. Europäischer Betriebsrat / Betriebsräte in Europa  – Strategien und Chancen der Europaweiten Vereinheitlichung der Arbeitnehmerbeteiligung an unternehmerischen und personalpolitischen Entscheidungen –. In: Clermont A, Schmeisser W, Krimphove D, eds. Personalführung Und Organisation. München: Verlag Vahlen; 2000:505 – 540.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 2003
Baraglia R, Keller A, Laforenza D, Reinefeld A. RsdEditor: A Graphical User Interface for Specifying Metacomputer Components. In: Proc. Heterogenous Computing Workshop HCW at IPDPS. Cancun, Mexico; 2000:336-348. doi:10.1109/HCW.2000.843756
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 2147
Czumaj A, Scheideler C. Coloring non-uniform hypergraphs: a new algorithmic approach to the general Lovász local lemma. In: SODA. ; 2000:30--39.
LibreCat | Files available
 

2000 | Mastersthesis | LibreCat-ID: 2433
Plessl C, Maurer S. Hardware/Software Codesign in Speech Compression Applications. Computer Engineering and Networks Lab, ETH Zurich, Switzerland; 2000.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 3669
Harteis C, Heid H, Kraft S, eds. Kompendium Weiterbildung. Opladen: Leske+Budrich; 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 3602
Harteis C. Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung. In: Harteis C, Heid H, Kraft S, eds. Kompendium Weiterbildung. Opladen: Leske+Budrich; 2000:209--217.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 4636
Feng Y, Heiler S. Eine robuste datengesteuerte Version des Berliner-Verfahrens. Wirtschaft und Statistik. 2000:786-795.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed