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.

270 Publications


1996 | Book | LibreCat-ID: 2674
@book{Betz_1996, place={Wiesbaden}, title={Operatives Erfolgscontrolling - Ein funktionaler Ansatz für industrielle Fertigungsprozesse}, publisher={Gabler-Verlag}, author={Betz, Stefan}, year={1996} }
LibreCat
 

1996 | Dissertation | LibreCat-ID: 3260
@book{Wehrheim_1996, title={Specifying reactive systems with action dependencies: modelling and hierarchical design}, publisher={University of Hildesheim, Germany}, author={Wehrheim, Heike}, year={1996} }
LibreCat
 

1996 | Journal Article | LibreCat-ID: 3261
@article{Goltz_Wehrheim_1996, title={Modelling Causality via Action Dependencies in Branching Time Semantics}, DOI={10.1016/0020-0190(96)00111-1}, number={4}, journal={Inf. Process. Lett.}, author={Goltz, Ursula and Wehrheim, Heike}, year={1996}, pages={179--184} }
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 3262
@inproceedings{Goltz_Wehrheim_1996, series={Lecture Notes in Computer Science}, title={Causal Testing}, DOI={10.1007/3-540-61550-4_165}, booktitle={Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings}, author={Goltz, Ursula and Wehrheim, Heike}, editor={Penczek, Wojciech and Szalas, AndrzejEditors}, year={1996}, pages={394--406}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

1996 | Book | LibreCat-ID: 3385
@book{Gries_Sieg_Strulik_1996, place={Berlin Heidelberg}, title={Repetitorium Mikroökonomik}, publisher={Springer-Verlag}, author={Gries, Thomas and Sieg, Gernot and Strulik, Holger}, year={1996} }
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 3529
@inbook{Gries_1996, title={A Dynamic Model of a Reconstruction Economy}, booktitle={Modelling and Analysing Economies in Transition}, author={Gries, Thomas}, editor={Owsinski, J.W. and Nahorski, Z.Editors}, year={1996} }
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 17304
@inbook{Oevel_Schulze_1996, title={Graphics in the Computer Algebra System MuPAD}, booktitle={Visualization methodes in High Performance Computing and Flow Simulation}, publisher={VSP}, author={Oevel, Gudrun and Schulze, T.}, editor={Borchers, W. and Domik, G. and Kröner, D. and Rautmann, R. and Saupe, D.Editors}, year={1996} }
LibreCat
 

1996 | Report | LibreCat-ID: 17418
@book{Czumaj_Meyer auf der Heide_Stemann_1996, series={Technical Report SFB, University of Paderborn}, title={Contention Resolution in Hashing Based Shared Memory Simulations}, author={Czumaj, Artur and Meyer auf der Heide, Friedhelm and Stemann, Volker}, year={1996}, collection={Technical Report SFB, University of Paderborn} }
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17419
@inproceedings{Grigoriev_Karpinski_Meyer auf der Heide_Smolensky_1996, series={Lecture Notes in Computer Science}, title={A lower bound for randomized algebraic decision trees}, volume={65453}, booktitle={Proc. of 28th ACM-STOC}, publisher={Eurographics Symposium on Parallel Graphics and Visualization}, author={Grigoriev, Dima and Karpinski, Marek and Meyer auf der Heide, Friedhelm and Smolensky, Roman}, year={1996}, pages={612–621}, collection={Lecture Notes in Computer Science} }
LibreCat
 

1996 | Habilitation | LibreCat-ID: 17444
@book{Peckhaus_1996, title={Logik und Struktur. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, als Habilitationsschrift der Philosophischen Fakultät I der Universität Erlangen-Nürnberg vorgelegt im Juli 1995}, author={Peckhaus, Volker}, year={1996} }
LibreCat
 

Filters and Search Terms

year=1996

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed