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
From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation
G. Engels, R. Heckel, in: Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland), Carleton Scientific, 2000, pp. 373–382.
LibreCat
 

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

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

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

2000 | Book Chapter | LibreCat-ID: 16513 LibreCat | DOI
 

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

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

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

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

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

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

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

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

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

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

2000 | Conference Paper | LibreCat-ID: 2147 LibreCat | Files available
 

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

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

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

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

Filters and Search Terms

year<=2030 AND year>=1980

status=public

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed