The SCEAS System
Navigation Menu

Search the dblp DataBase


Felix C. Gärtner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Felix C. Gärtner
    Revisiting Liveness Properties in the Context of Secure Systems. [Citation Graph (0, 0)][DBLP]
    FASec, 2002, pp:221-238 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Felix C. Gärtner, Marc Theisen
    Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1999, pp:207-214 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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.013secs, Finished in 0.014secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002