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.
383 Publications
2000 | Conference Paper | LibreCat-ID: 39461
Structured English for Model Checking Specification
S. Flake, W. Müller, J. Ruf, (2000).
LibreCat
S. Flake, W. Müller, J. Ruf, (2000).
2000 | Journal Article | LibreCat-ID: 39681
Nach dem Sturm: Mütterlichkeit, Sexualität und Ansätze einer kritischen Relektüre der christlichen Schöpfungs- und Heilsgeschichte bei Clara Viebig und Gabriele Reuter
R. Morrien, Jahrbuch zur Literatur der Weimarer Republik 5 (2000) 145–165.
LibreCat
R. Morrien, Jahrbuch zur Literatur der Weimarer Republik 5 (2000) 145–165.
2000 | Journal Article | LibreCat-ID: 39680
“O du ewige, unbegreifliche Schönheit [...], wie roh gehn auch mit dir die Menschen um” – Die Poesie der Gewalt in Ludwig Tiecks Vittoria Accorombona (1840)
R. Morrien, Aurora 60 (2000) 147–162.
LibreCat
R. Morrien, Aurora 60 (2000) 147–162.
2000 | Journal Article | LibreCat-ID: 38393
Optical NRZ 2 x 10Gbit/s polarisation division multiplex transmission with endless polarisation control driven by correlation signals
S. Hinz, D. Sandel, R. Noé, F. Wust, ELECTRONICS LETTERS 36 (2000) 1402–1403.
LibreCat
| DOI
S. Hinz, D. Sandel, R. Noé, F. Wust, ELECTRONICS LETTERS 36 (2000) 1402–1403.
2000 | Book (Editor) | LibreCat-ID: 36301
Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion
P. Böhme, F. Kessl, R. Heil, T. Reinke, eds., Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion, Luchterhand Verlag, Neuwied/Kriftel, 2000.
LibreCat
P. Böhme, F. Kessl, R. Heil, T. Reinke, eds., Von der Notwendigkeit der Erziehungswissenschaft: Begründungsversuche und Reflexion, Luchterhand Verlag, Neuwied/Kriftel, 2000.
2000 | Conference Paper | LibreCat-ID: 39435
A Visual Framework for the Scripting of Parallel Agents
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the IEEE Symposium on Visual Languages, Seattle, Washington, USA, 2000.
LibreCat
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the IEEE Symposium on Visual Languages, Seattle, Washington, USA, 2000.
2000 | Conference Paper | LibreCat-ID: 39439
A Methodology for the Protocol-Centered Design of Agent-Based Systems
P.C.P. Bhatt, W. Müller, in: Proceedings of IECON 2000, Nagoya, Japan, 2000.
LibreCat
P.C.P. Bhatt, W. Müller, in: Proceedings of IECON 2000, Nagoya, Japan, 2000.
2000 | Conference Paper | LibreCat-ID: 39442
Morphic Nets: Model Based Design Diagrams
P.C.P. Bhatt, W. Müller, in: Proceedings of UKPEW 2000, Durham, UK, 2000.
LibreCat
P.C.P. Bhatt, W. Müller, in: Proceedings of UKPEW 2000, Durham, UK, 2000.
2000 | Conference Paper | LibreCat-ID: 39464
An Advanced Visual Capture for Model Checking Specifications
S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy, 2000.
LibreCat
S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy, 2000.
2000 | Book (Editor) | LibreCat-ID: 39706
Bei Gefahr des Untergangs. Phantasien des Aufbrechens
R. Morrien, I. Brueckel, eds., Bei Gefahr des Untergangs. Phantasien des Aufbrechens, Königshausen & Neumann, Würzburg, 2000.
LibreCat
R. Morrien, I. Brueckel, eds., Bei Gefahr des Untergangs. Phantasien des Aufbrechens, Königshausen & Neumann, Würzburg, 2000.