Volker Braun

	2003
18		Volker Braun, Tiziana Margaria, Bernhard Steffen: The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. Petri Net Technology for Communication-Based Systems 2003: 363-382
17		Volker Braun, Ricardo B. R. Azevedo, Markus Gumbel, Paul-Michael Agapow, Armand M. Leroi, Hans-Peter Meinzer: ALES: Cell Lineage Analysis and Mapping of Developmental Events. Bioinformatics 19(7): 851-858 (2003)
	2001
16		Carlos E. Cárdenas S., Volker Braun, Peter Hassenpflug, Matthias Thorn, Mark Hastenteufel, Tobias Kunert, Marcus Vetter, Lars Fischer, Wolfram Lamadé, Hans-Peter Meinzer: Ein Framework für die Implementierung von Anwendungssystemen zur Verarbeitung und Visualisierung von medizinischen Bildern. Bildverarbeitung für die Medizin 2001: 142-146
15		Christoph Giess, Tobias Kunert, Mark Hastenteufel, Volker Braun, Michael Klemke, Kilian Lorenz, Marc Heiland, Harald Evers, Hans-Peter Meinzer: Interaktive 3D-Volumenvisualisierung und Integration von Softwaremodulen. Rechner- und sensorgestützte Chirurgie 2001: 119-126
14		Bernhard Steffen, Tiziana Margaria, Volker Braun: Coarse-Granular Model Checking in Practice. SPIN 2001: 304-312
	2000
13		Volker Braun, Kees A. Schouhamer Immink: An enumerative coding technique for DC-free runlength-limited sequences. IEEE Transactions on Communications 48(12): 2024-2031 (2000)
	1999
12		Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen: The ETI Online Service in Action. TACAS 1999: 439-443
	1998
11		Volker Braun, Jens Knoop, Dirk Koschützki: Cool: A Control-Flow Generator for System Analysis. CC 1998: 306-309
10		Tiziana Margaria, Volker Braun: Formal Methods and Customized Visualization: A Fruitful Symbiosis. Services and Visualization: Towards User-Friendly Design 1998: 190-207
9		Volker Braun, Tiziana Margaria, Bernhard Steffen, Haiseung Yoo: Automatic Error Location for IN Service Definition. Services and Visualization: Towards User-Friendly Design 1998: 222-237
	1997
8		Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen: Graphs in METAFrame: The Unifying Power of Polymorphism. TACAS 1997: 112-129
7		Volker Braun, Tiziana Margaria, Carsten Weise: Integrating Tools in the ETI Platform. STTT 1(1-2): 31-48 (1997)
6		Tiziana Margaria, Volker Braun, Jürgen Kreileder: Interacting with ETI: A User Session. STTT 1(1-2): 49-63 (1997)
5		Bernhard Steffen, Tiziana Margaria, Volker Braun: The Electronic Tool Integration Platform: Concepts and Design. STTT 1(1-2): 9-30 (1997)
	1996
4		Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization. AMAST 1996: 608-611
3		Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: The METAFrame'95 Environment. CAV 1996: 450-453
2		Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun, Rita Nisius, Manfred Reitenspieß: A Constraint-Oriented Service Creation Environment. TACAS 1996: 418-421
1		Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun: Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools 17(2): 78- (1996)

Coauthor Index

1	Paul-Michael Agapow	[17]
2	Ricardo B. R. Azevedo	[17]
3	Michael von der Beeck	[8]
4	Andreas Claßen	[1] [2] [3] [4] [8]
5	Achim Dannecker	[8]
6	Harald Evers	[15]
7	Lars Fischer	[16]
8	Carsten Friedrich	[8]
9	Christoph Giess	[15]
10	Markus Gumbel	[17]
11	Peter Hassenpflug	[16]
12	Mark Hastenteufel	[15] [16]
13	Marc Heiland	[15]
14	Kees A. Schouhamer Immink	[13]
15	Michael Klemke	[15]
16	Jens Knoop	[11]
17	Dirk Koschützki	[8] [11]
18	Jürgen Kreileder	[6] [12]
19	Tobias Kunert	[15] [16]
20	Wolfram Lamadé	[16]
21	Armand M. Leroi	[17]
22	Kilian Lorenz	[15]
23	Tiziana Margaria (Tiziana Margaria-Steffen)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [14] [18]
24	Hans-Peter Meinzer	[15] [16] [17]
25	Rita Nisius	[2]
26	Manfred Reitenspieß	[2]
27	Carlos E. Cárdenas S.	[16]
28	Falk Schreiber	[8]
29	Bernhard Steffen	[1] [2] [3] [4] [5] [8] [9] [12] [14] [18]
30	Matthias Thorn	[16]
31	Marcus Vetter	[16]
32	Carsten Weise	[7]
33	Haiseung Yoo	[9]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page