TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 18.

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

Buchmann, Alejandro and Bornhövd, Christof and Cilia, Mariano and Fiege, Ludger and Gärtner, Felix and Liebig, Christoph and Meixner, Matthias and Mühl, Gero Levene, Mark and Poulovassilis, Alexandra (eds.) (2004):
DREAM: Distributed Reliable Event-based Application Management.
In: Web Dynamics: Adapting to Change in Content, Size, Topology and Use, pp. 319-350, Berlin [u.a.], Springer-Verlag, [Book Section]

Fiege, Ludger and Gärtner, Felix and Kasten, Oliver and Zeidler, Andreas (2003):
Supporting Mobility in {Content-Based} Publish/Subscribe Middleware.
In: LNCS, 2672, In: ACM/IFIP/USENIX International Middleware Conference {(Middleware} 2003), pp. 103--122,
Springer-Verlag, Rio de Janeiro, Brazil, [Conference or Workshop Item]

Fiege, Ludger and Mühl, Gero and Gärtner, Felix (2003):
Modular {Event-Based} Systems.
17, In: The Knowledge Engineering Review, (4), pp. 359--388. [Article]

Mühl, Gero and Fiege, Ludger and Gärtner, Felix and Buchmann, Alejandro (2002):
Evaluating Advanced Routing Algorithms for Content-Based Publish/Subscribe Systems.
pp. 167-176, Fort Worth, TX, USA, IEEE Computer Society, The 10th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), [Conference or Workshop Item]

Mühl, Gero and Fiege, Ludger and Gärtner, Felix and Buchmann, Alejandro (2002):
Evaluating Advanced Routing Algorithms for {Content-Based} Publish/Subscribe Systems.
In: The 10th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems {(MASCOTS} 2002), pp. 167--176,
IEEE Computer Society, [Conference or Workshop Item]

Fiege, Ludger and Mühl, Gero and Gärtner, Felix (2002):
A modular approach to build structured event-based systems.
In: Symposium on Applied Computing <17, 2002, Madrid>: Applied computing 2002 : proceedings of the 2002 ACM Symposium (SAC 2002) ..., March 11-14, 2002.- New York, NY: ACM, 2002.- ISBN 1-581-13445-2, New York, NY, ACM, [Conference or Workshop Item]

Gärtner, Felix (2001):
Formale Grundlagen der Fehlertoleranz in verteilten Systemen.
Darmstadt, Techn. Univ., TU Darmstadt,
[Ph.D. Thesis]

Gärtner, Felix and Pleisch, S. (2001):
(Im)possibilities of predicate detection in crash-affected systems.
In: Self-stabilizing systems: 5th International Workshop; Proceedings. Hrsg.: A. Datta, T. Herman. - Berlin [u.a.] Springer, 01 (Lecture notes in computer science; 2194). S. 98-113, [Conference or Workshop Item]

Mantel, Heiko and Gärtner, Felix (2000):
A Case Study in the Mechanical Verification of Fault Tolerance.
In: Proceedings of Special Track on Verification, Validation and System Certification at 13th International Florida Artificial Intelligence Research Society Conference 2000, FLAIRS-2000, pp. 341--345,
AAAI Press, [Conference or Workshop Item]

Mantel, Heiko and 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), pp. 473-488. Taylor &amp; Francis, [Article]

Mantel, Heiko and Gärtner, Felix (2000):
A Case Study in the Mechanical Verification of Fault Tolerance.
In: Proceedings of Special Track on Verification, Validation and System Certification at 13th International Florida Artificial Intelligence Research Society Conference 2000, FLAIRS-2000, pp. 341-345,
Orlando, Florida, USA, [Conference or Workshop Item]

Mantel, Heiko and Gärtner, Felix (2000):
A Case Study in the Mechanical Verification of Fault Tolerance.
12, In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), (4), pp. 473--488. Taylor & Francis, [Article]

Gärtner, Felix and Kloppenburg, Sven (2000):
Consistent Detection of Global Predicates Under a Weak Fault Assumption.
pub-IEEE, [Report]

Gärtner, Felix and Kloppenburg, Sven (2000):
Consistent Detection of Global Predicates under a Weak Fault Assumption.
In: SRDS &#039;00: Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, p. 94,
IEEE Computer Society, ISBN 0-7695-0543-0,
[Conference or Workshop Item]

Gärtner, Felix and Theisen, M. (1999):
Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung.
In: Informatik '99: Informatik überwindet Grenzen <29, 1999, Paderborn>. Hrsg.: K. Beiersdörfer (u.a.) Vol. 1. S. 207-214. - Berlin (u.a.): Springer, 1999, Berlin (u.a.), Springer, [Conference or Workshop Item]

Mantel, Heiko and Gärtner, Felix (1999):
A Case Study in the Mechanical Verification of Fault Tolerance.
(Technical Report TUD-BS-1), [Report]

Mantel, Heiko and Gärtner, Felix (1999):
A Case Study in the Mechanical Verification of Fault Tolerance.
In: mantel.ea:a-case-study-in-the-mechanical-verification-of-fault-tolerance:1999a, Germany, [Report]

This list was generated on Sat Dec 5 00:13:37 2020 CET.