2017

Khaghani, Dimitri ; Lobet, Mathieu ; Borm, Björn ; Burr, Loïc ; Gärtner, Felix ; Gremillet, Laurent ; Movsesyan, Liana ; Rosmej, Olga ; Toimil-Molares, Maria Eugenia ; Wagner, Florian ; Neumayer, Paul (2017)
Enhancing laser-driven proton acceleration by using micro-pillar arrays at high drive energy.
In: Scientific Reports, 7 (1)
doi: 10.1038/s41598-017-11589-z
Artikel, Bibliographie

2004

Buchmann, Alejandro ; Bornhövd, Christof ; Cilia, Mariano ; Fiege, Ludger ; Gärtner, Felix ; Liebig, Christoph ; Meixner, Matthias ; Mühl, Gero
Hrsg.: Levene, Mark ; Poulovassilis, Alexandra (2004)
DREAM: Distributed Reliable Event-based Application Management.
In: Web Dynamics: Adapting to Change in Content, Size, Topology and Use
Buchkapitel, Bibliographie

2003

Fiege, Ludger ; Gärtner, Felix ; Kasten, Oliver ; Zeidler, Andreas (2003)
Supporting Mobility in {Content-Based} Publish/Subscribe Middleware.
Rio de Janeiro, Brazil
Konferenzveröffentlichung, Bibliographie

Fiege, Ludger ; Mühl, Gero ; Gärtner, Felix (2003)
Modular {Event-Based} Systems.
In: The Knowledge Engineering Review, 17 (4)
Artikel, Bibliographie

2002

Mühl, Gero ; Fiege, Ludger ; Gärtner, Felix ; Buchmann, Alejandro (2002)
Evaluating Advanced Routing Algorithms for Content-Based Publish/Subscribe Systems.
The 10th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2002).
Konferenzveröffentlichung, Bibliographie

Mühl, Gero ; Fiege, Ludger ; Gärtner, Felix ; Buchmann, Alejandro (2002)
Evaluating Advanced Routing Algorithms for {Content-Based} Publish/Subscribe Systems.
Konferenzveröffentlichung, Bibliographie

Fiege, Ludger ; Mühl, Gero ; Gärtner, Felix (2002)
A modular approach to build structured event-based systems.
Konferenzveröffentlichung, Bibliographie

2001

Gärtner, Felix (2001)
Formale Grundlagen der Fehlertoleranz in verteilten Systemen.
Technische Universität Darmstadt
Dissertation, Bibliographie

Gärtner, Felix ; Pleisch, S. (2001)
(Im)possibilities of predicate detection in crash-affected systems.
Konferenzveröffentlichung, Bibliographie

2000

Mantel, Heiko ; Gärtner, Felix (2000)
A Case Study in the Mechanical Verification of Fault Tolerance.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Gärtner, Felix (2000)
A Case Study in the Mechanical Verification of Fault Tolerance.
In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 12 (4)
Artikel, Bibliographie

Mantel, Heiko ; Gärtner, Felix (2000)
A Case Study in the Mechanical Verification of Fault Tolerance.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Gärtner, Felix (2000)
A Case Study in the Mechanical Verification of Fault Tolerance.
In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 12 (4)
Artikel, Bibliographie

Gärtner, Felix ; Kloppenburg, Sven (2000)
Consistent Detection of Global Predicates Under a Weak Fault Assumption.
Report, Bibliographie

Gärtner, Felix ; Kloppenburg, Sven (2000)
Consistent Detection of Global Predicates under a Weak Fault Assumption.
Konferenzveröffentlichung, Bibliographie

1999

Gärtner, Felix ; Theisen, M. (1999)
Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung.
Konferenzveröffentlichung, Bibliographie

Mantel, Heiko ; Gärtner, Felix (1999)
A Case Study in the Mechanical Verification of Fault Tolerance.
Report, Bibliographie

Mantel, Heiko ; Gärtner, Felix (1999)
A Case Study in the Mechanical Verification of Fault Tolerance.
Report, Bibliographie