|
Search the dblp DataBase
Joachim Posegga:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- Bernhard Beckert, Joachim Posegga
leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract). [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:793-797 [Conf]
- 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]
- Roger Kilian-Kehr, Joachim Posegga
Smart Cards in Interaction: Towards Trustworthy Digital Signatures. [Citation Graph (0, 0)][DBLP] CARDIS, 2002, pp:11-18 [Conf]
- Henrich C. Pöhls, Joachim Posegga
Smartcard Firewalls Revisited. [Citation Graph (0, 0)][DBLP] CARDIS, 2006, pp:179-191 [Conf]
- 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]
- 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]
- Roger Kehr, Joachim Posegga, Harald Vogt
PCA: Jini-based Personal Card Assistant. [Citation Graph (0, 0)][DBLP] CQRE, 1999, pp:64-75 [Conf]
- Bernhard Beckert, Joachim Posegga
leanEA: A Lean Evolving Algebra Compiler. [Citation Graph (0, 0)][DBLP] CSL, 1995, pp:64-85 [Conf]
- Guido Moerkotte, Holger Müller, Joachim Posegga
Aspects of Consistency Driven Planning. [Citation Graph (0, 0)][DBLP] DAISD, 1992, pp:301-325 [Conf]
- Martin Decker, Guido Moerkotte, Holger Müller, Joachim Posegga
Consistency Driven Planning. [Citation Graph (0, 0)][DBLP] EPIA, 1991, pp:195-209 [Conf]
- 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]
- Jean Goubault, Joachim Posegga
BDDs and Automated Deduction. [Citation Graph (0, 0)][DBLP] ISMIS, 1994, pp:541-550 [Conf]
- Joachim Posegga
Compiling Proof Search in Semantic Tableaux. [Citation Graph (0, 0)][DBLP] ISMIS, 1993, pp:39-48 [Conf]
- Joachim Posegga, Bertram Ludäscher
Towards First-order Deduction Based on Shannon Graphs. [Citation Graph (0, 0)][DBLP] GWAI, 1992, pp:67-75 [Conf]
- 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]
- Joachim Posegga
First-Order Shannon Graphs (Extended Abstract). [Citation Graph (0, 0)][DBLP] TABLEAUX, 1992, pp:67-69 [Conf]
- 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]
- Bernhard Beckert, Joachim Posegga
LeanEA: A Lean Evolving Algebra Compiler. [Citation Graph (0, 0)][DBLP] WLP, 1995, pp:73-82 [Conf]
- 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]
- Joachim Posegga
Die Sicherheitsaspekte von Java. [Citation Graph (0, 0)][DBLP] Informatik Spektrum, 1998, v:21, n:1, pp:16-22 [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. [Citation Graph (, )][DBLP]
The OPL Access Control Policy Language. [Citation Graph (, )][DBLP]
Secure Code Generation for Web Applications. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.306secs
|