| 2007 |
|---|
| 32 | EE | Josep Domingo-Ferrer,
Joachim Posegga,
Francesc Sebé,
Vicenç Torra:
Advances in smart cards.
Computer Networks 51(9): 2219-2222 (2007) |
| 2006 |
|---|
| 31 | | Josep Domingo-Ferrer,
Joachim Posegga,
Daniel Schreckling:
Smart Card Research and Advanced Applications, 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006, Proceedings
Springer 2006 |
| 30 | EE | Henrich Christopher Pöhls,
Joachim Posegga:
Smartcard Firewalls Revisited.
CARDIS 2006: 179-191 |
| 2002 |
|---|
| 29 | EE | Roger Kilian-Kehr,
Joachim Posegga:
Smart Cards in Interaction: Towards Trustworthy Digital Signatures.
CARDIS 2002: 11-18 |
| 28 | EE | David A. Basin,
Stefan Friedrich,
Marek Gawkowski,
Joachim Posegga:
Bytecode Model Checking: An Experimental Analysis.
SPIN 2002: 42-59 |
| 2001 |
|---|
| 27 | EE | Joachim Posegga,
Simon Vetter:
Wireless Internet Security - Aktuelles Schlagwort.
Informatik Spektrum 24(6): 383-386 (2001) |
| 2000 |
|---|
| 26 | | Scott B. Guthery,
Roger Kehr,
Joachim Posegga:
How to Turn a GSM SIM into a Web Server.
CARDIS 2000: 209-224 |
| 1999 |
|---|
| 25 | EE | David A. Basin,
Stefan Friedrich,
Joachim Posegga,
Harald Vogt:
Java Bytecode Verification by Model Checking.
CAV 1999: 491-494 |
| 24 | EE | Roger Kehr,
Joachim Posegga,
Harald Vogt:
PCA: Jini-based Personal Card Assistant.
CQRE 1999: 64-75 |
| 23 | EE | Joachim Posegga:
Jini: Infrastruktur für dynamische Dienste in verteilten Systemen - Aktuelles Schlagwort.
Informatik Spektrum 22(1): 43-44 (1999) |
| 1998 |
|---|
| 22 | | Tiziana Margaria,
Bernhard Steffen,
Roland Rückert,
Joachim Posegga:
Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers
Springer 1998 |
| 21 | | Andrew Slater,
Rajeev Goré,
Joachim Posegga,
Harald Vogt:
cardTAP: Automated Deduction on a Smart Card.
Australian Joint Conference on Artificial Intelligence 1998: 239-247 |
| 20 | EE | Rajeev Goré,
Joachim Posegga,
Andrew Slater,
Harald Vogt:
System Description: card TAP: The First Theorem Prover on a Smart Card.
CADE 1998: 47-50 |
| 19 | EE | Joachim Posegga,
Harald Vogt:
Byte Code Verification for Java Smart Card Based on Model Checking.
ESORICS 1998: 175-190 |
| 18 | EE | Joachim Posegga:
Die Sicherheitsaspekte von Java.
Informatik Spektrum 21(1): 16-22 (1998) |
| 17 | EE | Matthias Kaiserswerth,
Joachim Posegga:
Java auf Chipkarten - Das aktuelle Schlagwort.
Informatik Spektrum 21(1): 27-28 (1998) |
| 1996 |
|---|
| 16 | | Bernhard Beckert,
Joachim Posegga:
Logic Programming as a Basis for Lean Automated Deduction.
J. Log. Program. 28(3): 231-236 (1996) |
| 1995 |
|---|
| 15 | | Peter Baumgartner,
Reiner Hähnle,
Joachim Posegga:
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings
Springer 1995 |
| 14 | | Bernhard Beckert,
Joachim Posegga:
leanEA: A Lean Evolving Algebra Compiler.
CSL 1995: 64-85 |
| 13 | | Bernhard Beckert,
Joachim Posegga:
LeanEA: A Lean Evolving Algebra Compiler.
WLP 1995: 73-82 |
| 12 | | Bernhard Beckert,
Joachim Posegga:
leanTAP: Lean Tableau-based Deduction.
J. Autom. Reasoning 15(3): 339-358 (1995) |
| 11 | | Joachim Posegga,
Peter H. Schmitt:
Automated Deduction with Shannon Graphs.
J. Log. Comput. 5(6): 697-729 (1995) |
| 1994 |
|---|
| 10 | | Bernhard Beckert,
Joachim Posegga:
leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract).
CADE 1994: 793-797 |
| 9 | | Jean Goubault,
Joachim Posegga:
BDDs and Automated Deduction.
ISMIS 1994: 541-550 |
| 8 | | Bernhard Beckert,
Joachim Posegga:
Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means.
WLP 1994: 108-111 |
| 1993 |
|---|
| 7 | | Joachim Posegga:
Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe.
Infix Verlag, St. Augustin, Germany 1993 |
| 6 | | Joachim Posegga:
Compiling Proof Search in Semantic Tableaux.
ISMIS 1993: 39-48 |
| 1992 |
|---|
| 5 | | Guido Moerkotte,
Holger Müller,
Joachim Posegga:
Aspects of Consistency Driven Planning.
DAISD 1992: 301-325 |
| 4 | | Joachim Posegga,
Bertram Ludäscher:
Towards First-order Deduction Based on Shannon Graphs.
GWAI 1992: 67-75 |
| 3 | | Joachim Posegga:
First-Order Shannon Graphs (Extended Abstract).
TABLEAUX 1992: 67-69 |
| 1991 |
|---|
| 2 | | Martin Decker,
Guido Moerkotte,
Holger Müller,
Joachim Posegga:
Consistency Driven Planning.
EPIA 1991: 195-209 |
| 1990 |
|---|
| 1 | | Jürgen Dix,
Joachim Posegga,
Peter H. Schmitt:
Modal logics for AI planning.
Expert Planning Systems 1990: 157-162 |
