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.

12088 Publications


2000 | Journal Article | LibreCat-ID: 7397
Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo
A. Corradini, R. Heckel, Bulletin of the EATCS (2000) 69–76.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7861
Konzeption eines XML-fähigen Mailtools
M. Lohmann, A. Wagner, in: Proceedings of Net.Object Days 2000, Erfurt (Germany), 2000.
LibreCat
 

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

2000 | Conference Paper | LibreCat-ID: 7878
Integrating visual modeling of agent-based and object-oriented systems
R. Depke, R. Heckel, J. Küster, in: Proceedings of the Conference on Autonomous Agents (AGENTS 2000), Barcelona (Spain), ACM Press, New York, NY, USA, 2000, pp. 82–83.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 7690
Tunable backscattering in quantum Hall systems induced by neighbouring gates
C. Heidtkamp, C. Meier, D. Reuter, M. Versen, S. Hoch, D. Diaconescu, A.D. Wieck, Physica B: Condensed Matter 284–288 (2000) 1728–1729.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8124
New Power Conditioning Unit Incorporating Charge Controller, Energy Flow Monitor, Data Logger, DC/AC Converter for Stand-Alone and Combined PV-Diesel Operation
S. Krauter, R.G. Araujo, 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
Graphical Operational Semantics
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 411–418.
LibreCat
 

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

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

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

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

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

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

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

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

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

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

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

2000 | Book Review | LibreCat-ID: 18361 LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed