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.
In: Scientific Reports, Nature, 7, (1), ISSN 2045-2322,
DOI: 10.1038/s41598-017-11589-z,
[Online-Edition: https://doi.org/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, Berlin [u.a.], Springer-Verlag, pp. 319-350, [Book Section]

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

Fiege, Ludger and Mühl, Gero and Gärtner, Felix (2003):
Modular {Event-Based} Systems.
In: The Knowledge Engineering Review, pp. 359--388, 17, (4), [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.
Fort Worth, TX, USA, IEEE Computer Society, In: 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), 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.
New York, NY, ACM, 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, [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, 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), Taylor &amp; Francis, pp. 473-488, 12, (4), [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, Orlando, Florida, USA, [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), Taylor & Francis, pp. 473--488, 12, (4), [Article]

Gärtner, Felix and Kloppenburg, Sven (2000):
Consistent Detection of Global Predicates Under a Weak Fault Assumption.
pub-IEEE, pp. 94--103, [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, 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.
Berlin (u.a.), Springer, 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, [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.
Germany, In: mantel.ea:a-case-study-in-the-mechanical-verification-of-fault-tolerance:1999a, [Report]

This list was generated on Tue Oct 15 00:46:08 2019 CEST.