Mihai Codescu, Till Mossakowski, Donald Sannella and Andrzej Tarlecki.

[abstract] [BibTeX]

In:

Marcus Thiel, Philipp Ludwig, Till Mossakowski, Fabian Neuhaus and Andreas Nürnberger.

[link] [BibTeX]

Daniel Calegari, Till Mossakowski and Nora Szasz.

[link] [BibTeX]

Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven and Diedrich Wolter.

[link] [BibTeX]

Mathew Joseph, Gabriel M. Kuper, Till Mossakowski and Luciano Serafini.

[link] [BibTeX]

2016.

Alexander Knapp and Till Mossakowski.

[link] [abstract] [BibTeX]

In: O. Kutz, S. de Cesare, M. M. Hedblom, T. R. Besold, T. Veale, F. Gailly, G. Guizzardi, M. Lycett, C. Partridge, O. Pastor, M. Grüninger, F. Neuhaus, T. Mossakowski, S. Borgo, L. Bozzato, C. D. Vescovo, M. Homola, F. Loebe, A. Barton and J.-R. Bourguet, editors,

Eugen Kuksa and Till Mossakowski.

[link] [BibTeX]

In: P. Fontaine, S. Schulz and J. Urban, editors,

Eugen Kuksa and Till Mossakowski.

[link] [BibTeX]

In: M. Lenzerini and R. Peñaloza, editors,

Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski and Mihai Codescu.

[link] [BibTeX]

CEUR Workshop Proceedings. volume 1660. CEUR-WS.org, 2016.

Oliver Kutz, Sergio de Cesare, Maria M. Hedblom, Tarek Richard Besold, Tony Veale, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Michael Grüninger, Fabian Neuhaus, Till Mossakowski, Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola, Frank Loebe, Adrien Barton and Jean-Rémi Bourguet.

[link] [BibTeX]

In: C. Braga and N. Martí-Oliet, editors,

Daniel Calegari García, Till Mossakowski and Nora Szasz.

[link] [abstract] [BibTeX]

In: N. Mart-Oliet, P. C. Ölveczky and C. L. Talcott, editors,

Yazmin Angélica Ibáñez-Garca, Till Mossakowski, Donald Sannella and Andrzej Tarlecki.

[link] [BibTeX]

In: A. Egyed and I. Schaefer, editors,

Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer.

[link] [BibTeX]

In: R. D. Nicola and R. Hennicker, editors,

Alexander Knapp, Till Mossakowski and Markus Roggenbach.

[link] [BibTeX]

In: T. R. Besold, M. Schorlemmer and A. Smaill, editors,

Oliver Kutz, John Bateman, Till Mossakowski, Fabian Neuhaus and Mehul Bhatt.

[link] [abstract] [BibTeX]

Till Mossakowski and Reinhard Moratz.

[link] [BibTeX]

In: A. Koslow and A. Buchsbaum, editors,

Till Mossakowski, Mihai Codescu, Fabian Neuhaus and Oliver Kutz.

[link] [BibTeX]

In:

John Bateman, Oliver Kutz, Till Mossakowski, Aleksandra Sojic and Mihai Codescu.

[BibTeX]

In:

Mihai Codescu, Till Mossakowski and Oliver Kutz.

[abstract] [BibTeX]

Razvan Diaconescu, Till Mossakowski and Andrzej Tarlecki.

[link] [abstract] [BibTeX]

2014. Note published in arXiv.

Alexander Knapp, Till Mossakowski and Markus Roggenbach.

[link] [abstract] [BibTeX]

In:

Oliver Kutz, Mossakowski, Fabian Neuhaus and Mihai Codescu.

[link] [abstract] [BibTeX]

In: A. Muscholl, editor,

Till Mossakowski and Andrzej Tarlecki.

[link] [abstract] [BibTeX]

In:

Till Mossakowski, Oliver Kutz and Mihai Codescu.

[abstract] [BibTeX]

In: S. Iida, J. Meseguer and K. Ogata, editors,

Till Mossakowski, Wieslaw Pawlowski, Donald Sannella and Andrzej Tarlecki.

[link] [abstract] [BibTeX]

In:

Till Mossakowski, Mihai Codescu, Oilver Kutz, C. Lange and M. Gruninger.

[abstract] [BibTeX]

In: M. Codescu, R. Diaconescu and I. Tutu, editors,

Till Mossakowski, Ulf Krumnack and Tom Maibaum.

[link] [BibTeX]

In:

Fabian Neuhaus, Oliver Kutz, Mihai Codescu and T. Mossakowski.

[abstract] [BibTeX]

In: R. Heckel and S. Milius, editors,

Mihai Codescu, Till Mossakowski and Christian Maeder.

[link] [abstract] [BibTeX]

In: N. Martí-Oliet and M. Palomino, editors,

Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski and Florian Rabe.

[link] [abstract] [BibTeX]

Mihai Codescu, Bruno Langenstein, Christian Maeder and Till Mossakowski.

[link] [abstract] [BibTeX]

In: T. Tenbrink, J. G. Stell, A. Galton and Z. Wood, editors,

Frank Dylla, Till Mossakowski, Thomas Schneider and Diedrich Wolter.

[link] [abstract] [BibTeX]

In: N. Martí-Oliet and M. Palomino, editors,

Phillip James, Alexander Knapp, Till Mossakowski and Markus Roggenbach.

[link] [abstract] [BibTeX]

In: J. Carette, J. H. Davenport, W. Windsteiger, P. Sojka, D. Aspinall and C. Lange, editors,

Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel and Wolfgang Windsteiger.

[link] [abstract] [BibTeX]

In: N. Martí-Oliet and M. Palomino, editors,

Till Mossakowski, Oliver Kutz and Christoph Lange.

[link] [abstract] [BibTeX]

In: C. D. Vescovo, T. Hahmann, D. Pearce and D. Walther, editors,

Till Mossakowski, Oliver Kutz, Mihai Codescu and Christoph Lange.

[link] [abstract] [BibTeX]

In: F. Rossi, editor,

Till Mossakowski, Oliver Kutz and Christoph Lange.

[link] [abstract] [BibTeX]

In:

André van Delden and Till Mossakowski.

[link] [abstract] [BibTeX]

In: H.-Jö. K. Till Mossakowski, editor,

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski and Florian Rabe.

[BibTeX]

In: D. Kolas, M. Perry, R. Grütter and M. Koubarakis, editors,

Mihai Codescu, Daniel Couto Vale, Oliver Kutz and Till Mossakowski.

[link] [abstract] [BibTeX]

In: H.-Jö. K. Till Mossakowski, editor,

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe and Kristina Sojakova.

[BibTeX]

In:

Christian Galinski, Oliver Kutz, Christoph Lange and Till Mossakowski.

[BibTeX]

In: A. Ramsay and G. Agre, editors,

Oliver Kutz, Janna Hastings and Till Mossakowski.

[abstract] [BibTeX]

In: F. van Harmelen, J. A. Hendler, P. Hitzler, K. Janowicz and D. Vrandev ci'c, editors,

Oliver Kutz, Christoph Lange, Till Mossakowski, C. Maria Keet, Fabian Neuhaus and Michael Grüninger.

[link] [BibTeX]

In: T. Schneider and D. Walther, editors,

Christoph Lange, Till Mossakowski and Oliver Kutz.

[link] [abstract] [BibTeX]

In:

Christoph Lange, Oliver Kutz, Till Mossakowski and Michael Grüninger.

[link] [abstract] [BibTeX]

Till Mossakowski and Reinhard Moratz.

[link] [abstract] [BibTeX]

Lecture Notes in Computer Science. volume 7137. Springer, 2012.

Till Mossakowski and Hans-Jörg Kreowski.

[link] [BibTeX]

In: M. Donnelly and G. Guizzardi, editors,

Till Mossakowski, Christoph Lange and Oliver Kutz.

[link] [abstract] [BibTeX]

In: T. Mossakowski and H.-Jö. Kreowski, editors,

Liam O'Reilly, Till Mossakowski and Markus Roggenbach.

[abstract] [BibTeX]

In:

Falko Schmid, Oliver Kutz, Lutz Frommberger, Till Mossakowski, Tomi Kauppinen and Cunyuan Cai.

[BibTeX]

In: C. Claramunt, S. Levashkin and M. Bertolotto, editors,

Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski and Rafaela Rau.

[link] [abstract] [BibTeX]

In:

Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski and Rafaela Rau.

[abstract] [BibTeX]

In: J. H. Davenport, W. M. Farmer, J. Urban and F. Rabe, editors,

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski and Florian Rabe.

[link] [BibTeX]

In: B. K. Andrea Corradini, editor,

Mihai Codescu and Till Mossakowski.

[link] [abstract] [BibTeX]

In:

Janna Hastings, Oliver Kutz and Till Mossakowski.

[link] [abstract] [BibTeX]

In: W. Burgard and D. Roth, editors,

Oliver Kutz and Till Mossakowski.

[link] [abstract] [BibTeX]

In:

Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander Garcia Castro and Aleksandra Sojic.

[link] [abstract] [BibTeX]

In: O. Kutz and T. Schneider, editors,

Oliver Kutz and Till Mossakowski.

[link] [abstract] [BibTeX]

In: K.-S. C. et al, editor,

Oliver Kutz, Till Mossakowski, Christian Galinski and Christoph Lange.

[abstract] [BibTeX]

In: J. Renz, A. G. Cohn and S. Wölfl, editors,

Dominik Lücke, Till Mossakowski and Reinhard Moratz.

[link] [abstract] [BibTeX]

Reinhard Moratz, Dominik Lücke and Till Mossakowski.

[link] [abstract] [BibTeX]

In:

Till Mossakowski, Mihai Codescu and Oliver Kutz.

[BibTeX]

In: S. Siegler and N. Wasser, editors,

Serge Autexier, Dieter Hutter and Till Mossakowski.

[link] [abstract] [BibTeX]

In: J. Aldrich and R. Massa, editors,

Glauber Cabral, Christian Maeder, Till Mossakowski and Lutz Schröder.

[abstract] [BibTeX]

In: M. Johnson and D. Pavlovic, editors,

Mihai Codescu, Till Mossakowski, Adrían Riesco and Christian Maeder.

[link] [abstract] [BibTeX]

In: D. Dicheva and D. Dochev, editors,

Joana Hois, Oliver Kutz, Till Mossakowski and John A. Bateman.

[link] [abstract] [BibTeX]

Oliver Kutz, Till Mossakowski and Dominik Lücke.

[link] [abstract] [BibTeX]

In: P. S. et al., editor,

Oliver Kutz, Immanuel Normann, Till Mossakowski and Dirk Walther.

[link] [abstract] [BibTeX]

In: A. Gomez-Perez and T. Agotnes, editors,

Dominik Lücke and Till Mossakowski.

[link] [abstract] [BibTeX]

Till Mossakowski, Lutz Schröder and Sergey Goncharov.

[link] [abstract] [BibTeX]

Till Mossakowski and Ugo Montanari.

[link] [BibTeX]

Till Mossakowski and Reinhard Moratz.

[link] [abstract] [BibTeX]

In: K. Breitman and A. Cavalcanti, editors,

Mihai Codescu, Bruno Langenstein, Christian Maeder and Till Mossakowski.

[link] [abstract] [BibTeX]

In: A. Kurz and A. Tarlecki, editors,

Sergey Goncharov, Lutz Schröder and Till Mossakowski.

[BibTeX]

DFKI Bremen, Sichere Kognitive Systeme, 2009.

Berthold Hoffmann, Christoph Lüth, Till Mossakowski, Markus Roggenbach and Lutz Schröder.

[BibTeX]

Reinhard Moratz, Dominik Lücke and Till Mossakowski.

[link] [abstract] [BibTeX]

In: A. Corradini and U. Montanari, editors,

Till Mossakowski and Andrzej Tarlecki.

[link] [abstract] [BibTeX]

In: F. Drewes, A. Habel, B. Hoffmann and D. Plump, editors,

Till Mossakowski.

[link] [BibTeX]

Till Mossakowski, Andrzej Tarlecki and Razvan Diaconescu.

[link] [abstract] [BibTeX]

Lutz Schröder and Till Mossakowski.

[link] [abstract] [BibTeX]

In: F. Boulanger, C. Gaston and P.-Y. Schobbens, editors,

Mihai Codescu and Till Mossakowski.

[link] [abstract] [BibTeX]

In: M. Ghallab, C. Spyropoulos, N. Fakotakis and N. Avouris, editors,

Oliver Kutz and Till Mossakowski.

[abstract] [BibTeX]

In:

Oliver Kutz, Dominik Lücke and Till Mossakowski.

[link] [abstract] [BibTeX]

In:

Oliver Kutz, Dominik Lücke and Till Mossakowski.

[link] [BibTeX]

In: U. Sattler and A. Tamilin, editors,

Oliver Kutz, Till Mossakowski and Mihai Codescu.

[link] [abstract] [BibTeX]

In: C. Dolbear, A. Ruttenberg and U. Sattler, editors,

Oliver Kutz, Dominik Lücke, Till Mossakowski and Immanueal Normann.

[link] [BibTeX]

In: C. Freksa, N. S. Newcombe and P. Gaerdenfors, editors,

Dominik Lücke, Till Mossakowski and Diedrich Wolter.

[link] [abstract] [BibTeX]

In: J. Fiadeiro and P. Inverardi, editors,

Till Mossakowski, Lutz Schröder and Sergey Goncharov.

[link] [abstract] [BibTeX]

In: M. H. D. Bjorner, editor,

Till Mossakowski, Anne Haxthausen, Don Sannella and Andrzej Tarlecki.

[link] [abstract] [BibTeX]

John Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo and Till Mossakowski.

[link] [abstract] [BibTeX]

In:

Joseph Goguen, Till Mossakowski, Valeria De Paiva, Florian Rabe and Lutz Schröder.

[abstract] [BibTeX]

In: A. Schlicht, editor,

Oliver Kutz and Till Mossakowski.

[link] [abstract] [BibTeX]

In: J. Fiadeiro, editor,

Klaus Lüttich and Till Mossakowski.

[abstract] [BibTeX]

In: J. Fiadeiro, editor,

Till Mossakowski and Markus Roggenbach.

[abstract] [BibTeX]

In: B. Beckert, editor,

Till Mossakowski, Christian Maeder and Klaus Lüttich.

[link] [abstract] [BibTeX]

In: J.-Y. Beziau, editor,

Till Mossakowski, Joseph Goguen, Razvan Diaconescu and Andrzej Tarlecki.

[link] [abstract] [BibTeX]

In: J. L. Fiadeiro, editor,

Lutz Schröder and Till Mossakowski.

[link] [abstract] [BibTeX]

In: K. Schneider and J. Brandt, editors,

Paolo Torrini, Christpoh Lüth, Christian Maeder and Till Mossakowski.

[link] [abstract] [BibTeX]

In: D. Wilson and G. Sutcliffe, editors,

Stefan Wölfl, Till Mossakowski and Lutz Schröder.

[abstract] [BibTeX]

In: M. Kohlhase, editor,

Serge Autexier, Dieter Hutter, Till Mossakowski and Axel Schairer.

[link] [BibTeX]

In: R. Kralovic and P. Urzyczyn, editors,

Sergey Goncharov, Lutz Schröder and Till Mossakowski.

[link] [abstract] [BibTeX]

Daniel Hausmann, Till Mossakowski and Lutz Schröder.

[link] [abstract] [BibTeX]

T. Mossakowski, S. Autexier and D. Hutter.

[link] [abstract] [BibTeX]

In: S. Wölfl and T. Mossakowski, editors,

Till Mossakowski, Lutz Schröder and Stefan Wölfl.

[abstract] [BibTeX]

Till Mossakowski, Lutz Schröder, Markus Roggenbach and Horst Reichel.

[link] [abstract] [BibTeX]

Department of Computer Science; Universität Bremen; http://www.informatik.uni-bremen.de/, 2006.

Till Mossakowski, Christian Maeder and Klaus Lüttich.

[abstract] [BibTeX]

In: M. Kohlhase, editor,

Till Mossakowski, Christian Maeder and Klaus Lüttich.

[link] [BibTeX]

In: K. Futatsugi, J.-P. Jouannaud and J. Meseguer, editors,

Till Mossakowski.

[link] [abstract] [BibTeX]

In: M. Johnson and V. Vene, editors,

Till Mossakowski.

[abstract] [BibTeX]

In: M. Cerioli, editor,

Daniel Hausmann, Till Mossakowski and Lutz Schröder.

[link] [abstract] [BibTeX]

In: J. Fiadeiro, N. Harman, M. Roggenbach and J. Rutten, editors,

Daniel Hausmann, Till Mossakowski and Lutz Schröder.

[link] [abstract] [BibTeX]

In:

Kathrin Hoffmann, Hartmut Ehrig and Till Mossakowski.

[link] [abstract] [BibTeX]

In:

Kathrin Hoffmann, Francesco Parisi-Presicce and Till Mossakowski.

[BibTeX]

In: C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel and T. Barkowsky, editors,

B. Krieg-Brückner, U. Frese, K. Lüttich, C. Mandel, T. Mossakowski and R. Ross.

[link] [BibTeX]

In: J. L. Fiadeiro, P. Mosses and F. Orejas, editors,

K. Lüttich, T. Mossakowski and B. Krieg-Brückner.

[link] [abstract] [BibTeX]

In: J. L. Fiadeiro, editor,

T. Mossakowski, D. Sannella and A. Tarlecki.

[link] [abstract] [BibTeX]

Universitaet Bremen, 2005. Habilitation thesis.

Till Mossakowski.

[BibTeX]

In: Y. Kalfoglou, M. Schorlemmer, A. Sheth, S. Staab and M. Uschold, editors,

Till Mossakowski.

[link] [BibTeX]

In: J.-Y. Beziau, editor,

Till Mossakowski, Joseph Goguen, Razvan Diaconescu and Andrzej Tarlecki.

[link] [abstract] [BibTeX]

Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman and Bartek Klin.

[link] [abstract] [BibTeX]

In: J. Fiadeiro, editor,

Lutz Schröder, Till Mossakowski and Christoph Lüth.

[link] [abstract] [BibTeX]

In: J. Fiadeiro and J. Rutten, editors,

Dennis Walter, Lutz Schröder and Till Mossakowski.

[link] [abstract] [BibTeX]

In: A. G. Cohn and D. M. Mark, editors,

Stefan Wölfl and Till Mossakowski.

[link] [abstract] [BibTeX]

In: P. D. Mosses, editor,

Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter D. Mosses, Donald Sannella and Andrzej Tarlecki.

[link] [BibTeX]

In: A. C. Varzi and L. Vieu, editors,

K. Lüttich and T. Mossakowski.

[abstract] [BibTeX]

In: E. Schnieder and G. Tarnai, editors,

K. Lüttich, B. Krieg-Brückner and T. Mossakowski.

[abstract] [BibTeX]

In: M. Bilinkt and P. D. Mosses, editors,

T. Mossakowski.

[link] [BibTeX]

In: P. D. Mosses, editor,

T. Mossakowski.

[BibTeX]

In: M. Bilinkt and P. D. Mosses, editors,

T. Mossakowski.

[link] [BibTeX]

2004.

T. Mossakowski.

[abstract] [BibTeX]

In: P. D. Mosses, editor,

Till Mossakowski, Piotr Hoffman, Serge Autexier and Dieter Hutter.

[link] [BibTeX]

In: P. Mosses, editor,

Markus Roggenbach, Lutz Schröder and Till Mossakowski.

[link] [abstract] [BibTeX]

In: C. Rattray, S. Maharaj and C. Shankland, editors,

Lutz Schröder and Till Mossakowski.

[link] [abstract] [BibTeX]

Lutz Schröder and Till Mossakowski.

[link] [abstract] [BibTeX]

In: M. Wirsing, D. Pattinson and R. Hennicker, editors,

Kathrin Hoffmann and Till Mossakowski.

[link] [abstract] [BibTeX]

In: M. Wirsing, D. Pattinson and R. Hennicker, editors,

T. Mossakowski.

[link] [abstract] [BibTeX]

In:

Till Mossakowski, Michael Drouineaud and Karsten Sohr.

[abstract] [BibTeX]

In: M. Wirsing, D. Pattinson and R. Hennicker, editors,

Till Mossakowski, Horst Reichel, Markus Roggenbach and Lutz Schröder.

[link] [abstract] [BibTeX]

Till Mossakowski, Anne Haxthausen, Donald Sannella and Andrzej Tarlecki.

[abstract] [BibTeX]

In: H.-P. Gumm, editor,

Till Mossakowski, Markus Roggenbach and Lutz Schröder.

[abstract] [BibTeX]

2003.

L. Schröder, T. Mossakowski and C. Maeder.

[abstract] [BibTeX]

In: M. Pezze, editor,

Lutz Schröder and Till Mossakowski.

[link] [abstract] [BibTeX]

In: A. Armando, editor,

S. Autexier and T. Mossakowski.

[link] [abstract] [BibTeX]

In: H. Kirchner and C. Reingeissen, editors,

S. Autexier, D. Hutter, T. Mossakowski and A. Schairer.

[link] [abstract] [BibTeX]

In: K. Diks and W. Rytter, editors,

T. Mossakowski.

[link] [abstract] [BibTeX]

In: M. Nielsen and U. Engberg, editors,

T. Mossakowski.

[link] [abstract] [BibTeX]

In: M. Cerioli and G. Reggio, editors,

T. Mossakowski and B. Klin.

[link] [abstract] [BibTeX]

T. Mossakowski.

[link] [abstract] [BibTeX]

2002. CoFI note M-6.

Markus Roggenbach and Till Mossakowski.

[link] [abstract] [BibTeX]

In: Hé. Kirchner and C. Ringeissen, editors,

Lutz Schröder and Till Mossakowski.

[link] [abstract] [BibTeX]

In: J. Sgall, A. Pultr and P. Kolman, editors,

Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder and Till Mossakowski.

[link] [BibTeX]

In: H. Hußmann, editor,

T. Mossakowski, S. Autexier and D. Hutter.

[link] [abstract] [BibTeX]

In: F. Orejas, P. Spirakis and J. van Leeuwen, editors,

Lutz Schröder, Till Mossakowski and Andrzej Tarlecki.

[link] [abstract] [BibTeX]

In: H. Hußmann, editor,

Lutz Schröder, Till Mossakowski, Piotr Hoffman, Bartek Klin and Andrzej Tarlecki.

[link] [abstract] [BibTeX]

In: C. Choppy, D. Bert and P. Mosses, editors,

T. Mossakowski.

[link] [abstract] [BibTeX]

In: C. Choppy, D. Bert and P. Mosses, editors,

T. Mossakowski, A. Haxthausen and B. Krieg-Brückner.

[link] [abstract] [BibTeX]

In: S. Graf and M. Schwartzbach, editors,

Till Mossakowski.

[link] [abstract] [BibTeX]

2000. CoFI note M-8.

Till Mossakowski.

[link] [abstract] [BibTeX]

In: C. Choppy and D. Bert, editors,

Markus Roggenbach, Lutz Schröder and Till Mossakowski.

[link] [abstract] [BibTeX]

In: D. Gabbay and M. d. Rijke, editors,

A. Sernadas, C. Sernadas, C. Caleiro and T. Mossakowski.

[abstract] [BibTeX]

In: E. Astesiano, H.-J. Kreowski and B. Krieg-Brückner, editors,

M. Cerioli, T. Mossakowski and H. Reichel.

[abstract] [BibTeX]

In: J. L. Fiadeiro, editor,

T. Mossakowski.

[link] [abstract] [BibTeX]

1999. CoFI note M-7.

Till Mossakowski and Markus Roggenbach.

[link] [abstract] [BibTeX]

1999. CoFI note L-11.

Markus Roggenbach and Till Mossakowski.

[link] [abstract] [BibTeX]

1998. CoFI note L-8.

Anne Haxthausen, Bernd Krieg-Brückner and Till Mossakowski.

[link] [abstract] [BibTeX]

1998. CoFI note L-10.

Anne Haxthausen, Bernd Krieg-Brückner and Till Mossakowski..

[link] [abstract] [BibTeX]

In: F. Parisi Presicce, editor,

T. Mossakowski.

[link] [abstract] [BibTeX]

In: F. Parisi Presicce, editor,

T. Mossakowski, A. Tarlecki and W. Pawlowski.

[link] [abstract] [BibTeX]

In: F. Parisi-Pressice, editor,

T. Mossakowski, Kolyang and B. Krieg-Brückner.

[BibTeX]

1998. CoFI note T-6.

Till Mossakowski.

[link] [abstract] [BibTeX]

1998. CoFI note L-9.

Till Mossakowski.

[link] [abstract] [BibTeX]

In: M. Johnson, editor,

M. Cerioli, A. Haxthausen, B. Krieg-Brückner and T. Mossakowski.

[link] [BibTeX]

In: E. Moggi and G. Rosolini, editors,

T. Mossakowski, A. Tarlecki and W. Pawlowski.

[link] [abstract] [BibTeX]

In: F. M. auf der Heide and B. Monien, editors,

T. Mossakowski.

[link] [abstract] [BibTeX]

In: H. K. Büning, editor,

T. Mossakowski.

[link] [abstract] [BibTeX]

PhD thesis, Universität Bremen; www.uni-bremen.de, 1996. Also appeared as book in Logos Verlag

T. Mossakowski.

[abstract] [BibTeX]

In: M. Haveraaen, O. Owe and O.-J. Dahl, editors,

T. Mossakowski.

[link] [abstract] [BibTeX]

H.-J. Kreowski and T. Mossakowski.

[abstract] [BibTeX]

In: E. Astesiano, G. Reggio and A. Tarlecki, editors,

T. Mossakowski.

[link] [abstract] [BibTeX]

In: M. Nivat, C. Rattray, T. Rus and G. Scollo, editors,

T. Mossakowski.

[abstract] [BibTeX]

1992. Diploma thesis, Universität Bremen.

T. Mossakowski.

[BibTeX]

G. Buntrock, F. Drewes, C. Lautemann and T. Mossakowski.

[BibTeX]

In: H. Herrlich and H.-E. Porst, editors,

H. Herrlich, T. Mossakowski and G. E. Strecker.

[BibTeX]

1988.

T. Mossakowski, J. W. Janneck and C. Holsten.

[BibTeX]

1987. Bundeswettbewerb "Jugend forscht", 1. Preis.

T. Mossakowski.

[BibTeX]

1986. Bundeswettbewerb "Jugend forscht".

T. Mossakowski.

[BibTeX]

Letzte Änderung: 24.08.2016 - Contact Person: Webmaster