Search the dblp DataBase
Felix C. Gärtner :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Holger Vogt , Henning Pagnia , Felix C. Gärtner Modular Fair Exchange Protocols for Electronic Commerce. [Citation Graph (0, 0)][DBLP ] ACSAC, 1999, pp:3-11 [Conf ] Maximillian Dornseif , Felix C. Gärtner , Thorsten Holz Ermittlung von Verwundbarkeiten mit elektronischen Ködern. [Citation Graph (0, 0)][DBLP ] DIMVA, 2004, pp:129-141 [Conf ] Felix C. Gärtner , Klaus Kursawe , Levente Buttyán PoDSy 2003: Principles of Dependable Systems. [Citation Graph (0, 0)][DBLP ] DSN, 2003, pp:763- [Conf ] Gildas Avoine , Felix C. Gärtner , Rachid Guerraoui , Marko Vukolic Gracefully Degrading Fair Exchange with Security Modules. [Citation Graph (0, 0)][DBLP ] EDCC, 2005, pp:55-71 [Conf ] Felix C. Gärtner Revisiting Liveness Properties in the Context of Secure Systems. [Citation Graph (0, 0)][DBLP ] FASec, 2002, pp:221-238 [Conf ] Heiko Mantel , Felix C. Gärtner A Case Study in the Mechanical Verification of Fault Tolerance. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 2000, pp:341-345 [Conf ] Felix C. Gärtner , Arshad Jhumka Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications. [Citation Graph (0, 0)][DBLP ] FORMATS/FTRTFT, 2004, pp:183-198 [Conf ] Zinaida Benenson , Felix C. Gärtner , Dogan Kesdogan User Authentication in Sensor Networks. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung (2), 2004, pp:385-389 [Conf ] Felix C. Gärtner Byzantine Failures and Security: Arbitrary is not (always) Random. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit"), 2003, pp:127-138 [Conf ] Felix C. Gärtner , Marc Theisen Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung, 1999, pp:207-214 [Conf ] Henning Pagnia , Holger Vogt , Felix C. Gärtner , Uwe G. Wilhelm Solving Fair Exchange with Mobile Agents. [Citation Graph (0, 0)][DBLP ] ASA/MA, 2000, pp:57-72 [Conf ] Gero Mühl , Ludger Fiege , Felix C. Gärtner , Alejandro P. Buchmann Evaluating Advanced Routing Algorithms for Content-Based Publish/Subscribe Systems. [Citation Graph (0, 0)][DBLP ] MASCOTS, 2002, pp:167-176 [Conf ] Ludger Fiege , Felix C. Gärtner , Oliver Kasten , Andreas Zeidler Supporting Mobility in Content-Based Publish/Subscribe Middleware. [Citation Graph (0, 0)][DBLP ] Middleware, 2003, pp:103-122 [Conf ] Ludger Fiege , Andreas Zeidler , Felix C. Gärtner , Sidath B. Handurukande Dealing with Uncertainty in Mobile Publish/Subscribe Middleware. [Citation Graph (0, 0)][DBLP ] Middleware Workshops, 2003, pp:60-67 [Conf ] Ludger Fiege , Gero Mühl , Felix C. Gärtner A modular approach to build structured event-based systems. [Citation Graph (0, 0)][DBLP ] SAC, 2002, pp:385-392 [Conf ] Zinaida Benenson , Felix C. Gärtner , Dogan Kesdogan Secure Multi-Party Computation with Security Modules. [Citation Graph (0, 0)][DBLP ] Sicherheit, 2005, pp:41-52 [Conf ] Jürgen Bohn , Felix C. Gärtner , Harald Vogt Dependability Issues of Pervasive Computing in a Healthcare Environment. [Citation Graph (0, 0)][DBLP ] SPC, 2003, pp:53-70 [Conf ] Felix C. Gärtner , Sven Kloppenburg Consistent Detection of Global Predicates under a Weak Fault Assumption. [Citation Graph (0, 0)][DBLP ] SRDS, 2000, pp:94-103 [Conf ] Felix C. Gärtner , Henning Pagnia , Holger Vogt Approaching a Formal Definition of Fairness in Electronic Commerce. [Citation Graph (0, 0)][DBLP ] Symposium on Reliable Distributed Systems, 1999, pp:354-359 [Conf ] Felix C. Gärtner , Henning Pagnia Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures. [Citation Graph (0, 0)][DBLP ] Self-Stabilizing Systems, 2003, pp:154-168 [Conf ] Felix C. Gärtner , Stefan Pleisch Failure Detection Sequencers: Necessary and Sufficient Information about Failures to Solve Predicate Detection. [Citation Graph (0, 0)][DBLP ] DISC, 2002, pp:280-294 [Conf ] Holger Vogt , Henning Pagnia , Felix C. Gärtner Using Smart Cards for Fair Exchange. [Citation Graph (0, 0)][DBLP ] WELCOM, 2001, pp:101-113 [Conf ] Felix C. Gärtner , Stefan Pleisch (Im)Possibilities of Predicate Detection in Crash-Affected Systems. [Citation Graph (0, 0)][DBLP ] WSS, 2001, pp:98-113 [Conf ] Felix C. Gärtner , Henning Pagnia Self-stabilizing load distribution for replicated servers on a per-access basis. [Citation Graph (0, 0)][DBLP ] WSS, 1999, pp:102-109 [Conf ] Oliver E. Theel , Felix C. Gärtner An exercise in proving convergence through transfer functions. [Citation Graph (0, 0)][DBLP ] WSS, 1999, pp:41-47 [Conf ] Henning Pagnia , Holger Vogt , Felix C. Gärtner Fair Exchange. [Citation Graph (0, 0)][DBLP ] Comput. J., 2003, v:46, n:1, pp:55-75 [Journal ] Maximillian Dornseif , Felix C. Gärtner , Thorsten Holz Ermittlung von Verwundbarkeiten mit elektronischen Koedern [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Felix C. Gärtner Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1999, v:31, n:1, pp:1-26 [Journal ] Felix C. Gärtner , Levente Buttyán , Klaus Kursawe Dependable Systems: Podsy Workshop Report - From Fault Tolerance to Security and Back. [Citation Graph (0, 0)][DBLP ] IEEE Distributed Systems Online, 2003, v:4, n:9, pp:- [Journal ] Felix C. Gärtner Aller Jahre wieder ... Eine fiktive Leidensgeschichte. [Citation Graph (0, 0)][DBLP ] Informatik Spektrum, 1998, v:21, n:3, pp:161- [Journal ] Felix C. Gärtner Beobachten des Internet: Traum und Wirklichkeit. [Citation Graph (0, 0)][DBLP ] it - Information Technology, 2003, v:45, n:6, pp:- [Journal ] Heiko Mantel , Felix C. Gärtner A case study in the mechanical verification of fault tolerance. [Citation Graph (0, 0)][DBLP ] J. Exp. Theor. Artif. Intell., 2000, v:12, n:4, pp:473-487 [Journal ] Felix C. Gärtner Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification. [Citation Graph (0, 0)][DBLP ] J. UCS, 1999, v:5, n:10, pp:668-692 [Journal ] Holger Vogt , Felix C. Gärtner , Henning Pagnia Supporting Fair Exchange in Mobile Environments. [Citation Graph (0, 0)][DBLP ] MONET, 2003, v:8, n:2, pp:127-136 [Journal ] Search in 0.003secs, Finished in 0.303secs