Dirk Taubner - RankMe

22 papers A* 2A 1Journal 15Unranked 2

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Gründung und Entwicklung von IT-Häusern. Inform. Spektrum Dirk Taubner
2011	J	`jnl`	Erfahrungen mit Lean-Konzepten im Management von Softwareprojekten. Inform. Spektrum Erich Henkel, Martin Ober, Dirk Taubner
2011	J	`jnl`	Informatik in der Automobilindustrie. Inform. Spektrum Manfred Broy, Klaus Hardy Mühleck, Dirk Taubner
2009	J	`jnl`	Business Intelligence. Inform. Spektrum Markus Grünwald, Dirk Taubner
2007	J	`jnl`	NetWeaver. Inform. Spektrum Dirk Taubner
2005	J	`jnl`	Software auf dem Weg zur Industrialisierung. Inform. Spektrum Arndt Bode, Manfred Broy, Dirk Taubner
2004	J	`jnl`	Editorial (Web Services). Inform. Spektrum Donald Kossmann, Frank Leymann, Dirk Taubner
2001	—	`ch.`	Software-Entwicklung im industriellen Maßstab. Das ist Informatik Dirk Taubner
1996	J	`jnl`	Objektorientierte Spezifikation mit einem CASE-Werkzeug für Structured Analysis/Structured Design. Inform. Spektrum Hubert Surrer, Dirk Taubner
1993	J	`jnl`	Generating BDDs for Symbolic Model Checking in CCS. Distributed Comput. Reinhard Enders, Thomas Filkorn, Dirk Taubner
1993	J	`jnl`	Iteration Theories of Synchronization Trees Inf. Comput. Stephen L. Bloom, Zoltán Ésik, Dirk Taubner
1992	A*	`conf`	Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. CAV Siegfried Fischer, Andreas Scholz, Dirk Taubner
1991	J	`jnl`	A Note on the Notation of Recursion in Process Algebras. Inf. Process. Lett. Dirk Taubner
1991	—	`conf`	Computer Aided Verification of Parallel Processes. VIS Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén
1991	A*	`conf`	Generating BDDs for Symbolic Model Checking in CCS. CAV Reinhard Enders, Thomas Filkorn, Dirk Taubner
1990	J	`jnl`	Iteration theories of synchronization trees Forschungsberichte, TU Munich Stephen L. Bloom, Zoltán Ésik, Dirk Taubner
1990	J	`jnl`	Representing CCS Programs by Finite Predicate/Transition Nets. Acta Informatica Dirk Taubner
1989	—	`book`	Finite Representations of CCS and TCSP Programs by Automata and Petri Nets Dirk Taubner
1989	J	`jnl`	Step Failures Semantics and a Complete Proof System. Acta Informatica Dirk Taubner, Walter Vogler
1988	J	`jnl`	Zur verteilten Implementierung von Petrinetzen / On the Distributed Implementation of Petri Nets. it Inf. Technol. Dirk Taubner
1987	—	`conf`	On the Implementation of Petri Nets. European Workshop on Applications and Theory of Petri Nets Dirk Taubner
1987	A	`conf`	The Step Failure Semantics. STACS Dirk Taubner, Walter Vogler