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.

17395 Publications


2000 | Conference Paper | LibreCat-ID: 7873
G. Engels, R. Heckel, and S. Sauer, “UML - A Universal Modeling Language?,” in Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), 2000, vol. 1825, pp. 24–38.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7878
R. Depke, R. Heckel, and J. Küster, “Integrating visual modeling of agent-based and object-oriented systems,” in Proceedings of the conference on Autonomous agents (AGENTS 2000), Barcelona (Spain), 2000, pp. 82–83.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 7690
C. Heidtkamp et al., “Tunable backscattering in quantum Hall systems induced by neighbouring gates,” Physica B: Condensed Matter, vol. 284–288, pp. 1728–1729, 2000.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8124
S. Krauter and R. G. Araujo, “New Power Conditioning Unit Incorporating Charge Controller, Energy Flow Monitor, Data Logger, DC/AC Converter for Stand-Alone and Combined PV-Diesel Operation,” in Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2575–2577. , 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8333
A. Corradini, R. Heckel, and U. Montanari, “Graphical Operational Semantics,” in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland), 2000, pp. 411–418.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8338
R. Depke and R. Heckel, “Formalizing the Development of Agent-Based Systems Using Graph Processes,” in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland), 2000, pp. 419–426.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8340
G. Engels, J. Küster, and L. Groenewegen, “Modeling Concurrent Behavior through Consistent Statechart Views,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 44–49.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8345
J. Küster and J. Stroop, “Towards Consistency of Dynamic Models and Analysis of Timing Constraints,” in Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK), 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 8422
H.-H. Kremer and P. F. E. Sloane, “Existenzgründung: Kapitalbedarfsermittlung und -beschaffung,” in Zusätzliche Bildungsangebote beruflichen Lernens - Konzepte und Materialien für gewerblich-technische Berufe, J.-P. Pahl and G. Rach, Eds. Seelze-Velber, 2000, pp. 191–225.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 8458
T. Hasenbank, H.-H. Kremer, and P. F. E. Sloane, “Running into practice - Theorie-Praxis-Seminar zum Lernfeldkonzept,” Wirtschaft und Erziehung, no. 11, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8915
T. Hemsel and J. Wallaschek, “State of the art and development trends of ultrasonic linear motors,” in Ultrasonics Symposium, 2000 IEEE, 2000, vol. 1, pp. 663–666 vol.1.
LibreCat | DOI
 

2000 | Book Review | LibreCat-ID: 9665
M. Tönnies, “Lewis, J.E.: Mary Queen of Scots. Romance and Nation, 1998,” Journal for the Study of British Cultures, vol. 7, no. 1. pp. 80–83, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 17010
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Contention Resolution in Hashing Based Shared Memory Simulations,” SIAM Journal on Computing, pp. 1703–1739, 2000.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 17527
V. Peckhaus, “Was George Boole Really the ‘Father’ of Modern Logic?,” in A Boole Anthology. Recent and Classical Studies in the Logic of George Boole, vol. 219, J. Gasser, Ed. Dordrecht/Boston/London: Kluwer Academic Publishers, 2000, pp. 271–285.
LibreCat
 

2000 | Book Review | LibreCat-ID: 17786
V. Peckhaus, “Dirk Hartmann/Peter Janich (Hgg.), Die Kulturalistische Wende. Zur Orientierung des philosophischen Selbstverständnisses (suhrkamp taschenbuch wissenschaft 1391). Suhrkamp, Frankfurt am Main 1998,” Philosophischer Literaturanzeiger, vol. 53. pp. 269–270, 2000.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 18121
J. Fromme, S. Ganguin, S. Iske, D. M. Meister, and U. Sander, Eds., Medienbildung und Gesellschaft. VS Verlag, 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18342
V. Peckhaus, “Hintikka, Jaakko, ‘On Gödel’s Philosophical Assumptions’, Synthese 114 (1998), 13–23,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 935.01008]. 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18361
V. Peckhaus, “Radu, Mircea, ‘Justus Grassmann’s Contributions to the Foundations of Mathematics: Mathematical and Philosophical Aspects’, Historia Mathematica 27 (2000), 4–35,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 948.01009]. 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 18359
D. Tophinke, “Linguistische Perspektiven auf das Verhältnis von Identität und Alterität,” in wir / ihr / sie. Identität und Alterität in Theorie und Methode, W. Eßbach, Ed. Würzburg: Ergon, 2000, pp. 345–371.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 17990
A. Czumaj, C. Sohler, and M. Ziegler, “Property Testing in Computational Geometry,” in Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), 2000, vol. 4698, pp. 155–166.
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: IEEE

Export / Embed