|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Erich Henkel, Martin Ober, Dirk Taubner |
Erfahrungen mit Lean-Konzepten im Management von Softwareprojekten.  |
Informatik Spektrum  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Klaus Hardy Mühleck, Dirk Taubner |
Informatik in der Automobilindustrie. |
Informatik Spektrum |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Grünwald, Dirk Taubner |
Business Intelligence. |
Informatik Spektrum |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Taubner |
NetWeaver. |
Informatik Spektrum |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arndt Bode, Manfred Broy, Dirk Taubner |
Software auf dem Weg zur Industrialisierung. |
Informatik Spektrum |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald Kossmann, Frank Leymann, Dirk Taubner |
Editorial (Web Services). |
Informatik Spektrum |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Taubner |
Software-Entwicklung im industriellen Maßstab. |
Das ist Informatik |
2001 |
DBLP BibTeX RDF |
|
| 1 | Hubert Surrer, Dirk Taubner |
Objektorientierte Spezifikation mit einem CASE-Werkzeug für Structured Analysis/Structured Design. |
Informatik Spektrum |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik, Dirk Taubner |
Iteration Theories of Synchronization Trees |
Inf. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Enders, Thomas Filkorn, Dirk Taubner |
Generating BDDs for Symbolic Model Checking in CCS. |
Distributed Computing |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Siegfried Fischer, Andreas Scholz, Dirk Taubner |
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study. |
CAV |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Taubner |
A Note on the Notation of Recursion in Process Algebras. |
Inf. Process. Lett. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Enders, Thomas Filkorn, Dirk Taubner |
Generating BDDs for Symbolic Model Checking in CCS. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén |
Computer Aided Verification of Parallel Processes. |
VIS |
1991 |
DBLP BibTeX RDF |
|
| 1 | Dirk Taubner |
Representing CCS Programs by Finite Predicate/Transition Nets. |
Acta Inf. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Taubner, Walter Vogler |
Step Failures Semantics and a Complete Proof System. |
Acta Inf. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Taubner |
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets |
|
1989 |
DOI RDF |
|
| 1 | Dirk Taubner |
On the Implementation of Petri Nets. |
European Workshop on Applications and Theory of Petri Nets |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Taubner, Walter Vogler |
The Step Failure Semantics. |
STACS |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")