The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Joachim Posegga: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jürgen Dix, Joachim Posegga, Peter H. Schmitt
    Modal logics for AI planning. [Citation Graph (0, 0)][DBLP]
    Expert Planning Systems, 1990, pp:157-162 [Conf]
  2. Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt
    cardTAP: Automated Deduction on a Smart Card. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1998, pp:239-247 [Conf]
  3. Bernhard Beckert, Joachim Posegga
    leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:793-797 [Conf]
  4. Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt
    System Description: card TAP: The First Theorem Prover on a Smart Card. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:47-50 [Conf]
  5. Roger Kilian-Kehr, Joachim Posegga
    Smart Cards in Interaction: Towards Trustworthy Digital Signatures. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2002, pp:11-18 [Conf]
  6. Henrich C. Pöhls, Joachim Posegga
    Smartcard Firewalls Revisited. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2006, pp:179-191 [Conf]
  7. Scott B. Guthery, Roger Kehr, Joachim Posegga
    How to Turn a GSM SIM into a Web Server. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2000, pp:209-224 [Conf]
  8. David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
    Java Bytecode Verification by Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:491-494 [Conf]
  9. Roger Kehr, Joachim Posegga, Harald Vogt
    PCA: Jini-based Personal Card Assistant. [Citation Graph (0, 0)][DBLP]
    CQRE, 1999, pp:64-75 [Conf]
  10. Bernhard Beckert, Joachim Posegga
    leanEA: A Lean Evolving Algebra Compiler. [Citation Graph (0, 0)][DBLP]
    CSL, 1995, pp:64-85 [Conf]
  11. Guido Moerkotte, Holger Müller, Joachim Posegga
    Aspects of Consistency Driven Planning. [Citation Graph (0, 0)][DBLP]
    DAISD, 1992, pp:301-325 [Conf]
  12. Martin Decker, Guido Moerkotte, Holger Müller, Joachim Posegga
    Consistency Driven Planning. [Citation Graph (0, 0)][DBLP]
    EPIA, 1991, pp:195-209 [Conf]
  13. Joachim Posegga, Harald Vogt
    Byte Code Verification for Java Smart Card Based on Model Checking. [Citation Graph (0, 0)][DBLP]
    ESORICS, 1998, pp:175-190 [Conf]
  14. Jean Goubault, Joachim Posegga
    BDDs and Automated Deduction. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1994, pp:541-550 [Conf]
  15. Joachim Posegga
    Compiling Proof Search in Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1993, pp:39-48 [Conf]
  16. Joachim Posegga, Bertram Ludäscher
    Towards First-order Deduction Based on Shannon Graphs. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:67-75 [Conf]
  17. David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga
    Bytecode Model Checking: An Experimental Analysis. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:42-59 [Conf]
  18. Joachim Posegga
    First-Order Shannon Graphs (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:67-69 [Conf]
  19. Bernhard Beckert, Joachim Posegga
    Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means. [Citation Graph (0, 0)][DBLP]
    WLP, 1994, pp:108-111 [Conf]
  20. Bernhard Beckert, Joachim Posegga
    LeanEA: A Lean Evolving Algebra Compiler. [Citation Graph (0, 0)][DBLP]
    WLP, 1995, pp:73-82 [Conf]
  21. Matthias Kaiserswerth, Joachim Posegga
    Java auf Chipkarten - Das aktuelle Schlagwort. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1998, v:21, n:1, pp:27-28 [Journal]
  22. Joachim Posegga
    Die Sicherheitsaspekte von Java. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1998, v:21, n:1, pp:16-22 [Journal]
  23. Joachim Posegga
    Jini: Infrastruktur für dynamische Dienste in verteilten Systemen - Aktuelles Schlagwort. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1999, v:22, n:1, pp:43-44 [Journal]
  24. Joachim Posegga, Simon Vetter
    Wireless Internet Security - Aktuelles Schlagwort. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 2001, v:24, n:6, pp:383-386 [Journal]
  25. Bernhard Beckert, Joachim Posegga
    leanTAP: Lean Tableau-based Deduction. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1995, v:15, n:3, pp:339-358 [Journal]
  26. Bernhard Beckert, Joachim Posegga
    Logic Programming as a Basis for Lean Automated Deduction. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:28, n:3, pp:231-236 [Journal]
  27. Joachim Posegga, Peter H. Schmitt
    Automated Deduction with Shannon Graphs. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:6, pp:697-729 [Journal]
  28. Josep Domingo-Ferrer, Joachim Posegga, Francesc Sebé, Vicenç Torra
    Advances in smart cards. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2007, v:51, n:9, pp:2219-2222 [Journal]

  29. XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. [Citation Graph (, )][DBLP]


  30. The OPL Access Control Policy Language. [Citation Graph (, )][DBLP]


  31. Secure Code Generation for Web Applications. [Citation Graph (, )][DBLP]


Search in 0.483secs, Finished in 0.485secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002