Joachim Posegga Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Johns, Christian Beyerlein, Rosemaria Giesecke, Joachim Posegga: Secure Code Generation for Web Applications. ESSoS 2010: 96-113
2009
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Alm, Ruben Wolf, Joachim Posegga: The OPL Access Control Policy Language. TrustBus 2009: 138-148
2008
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Johns, Björn Engelmann, Joachim Posegga: XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. ACSAC 2008: 335-344
2007
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosep Domingo-Ferrer, Joachim Posegga, Francesc Sebé, Vicenç Torra: Advances in smart cards. Computer Networks 51(9): 2219-2222 (2007)
2006
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosep 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrich Christopher Pöhls, Joachim Posegga: Smartcard Firewalls Revisited. CARDIS 2006: 179-191
2002
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoger Kilian-Kehr, Joachim Posegga: Smart Cards in Interaction: Towards Trustworthy Digital Signatures. CARDIS 2002: 11-18
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga: Bytecode Model Checking: An Experimental Analysis. SPIN 2002: 42-59
2001
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Posegga, Simon Vetter: Wireless Internet Security - Aktuelles Schlagwort. Informatik Spektrum 24(6): 383-386 (2001)
2000
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott B. Guthery, Roger Kehr, Joachim Posegga: How to Turn a GSM SIM into a Web Server. CARDIS 2000: 209-224
1999
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt: Java Bytecode Verification by Model Checking. CAV 1999: 491-494
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoger Kehr, Joachim Posegga, Harald Vogt: PCA: Jini-based Personal Card Assistant. CQRE 1999: 64-75
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Posegga: Jini: Infrastruktur für dynamische Dienste in verteilten Systemen - Aktuelles Schlagwort. Informatik Spektrum 22(1): 43-44 (1999)
1998
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt: cardTAP: Automated Deduction on a Smart Card. Australian Joint Conference on Artificial Intelligence 1998: 239-247
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt: System Description: card TAP: The First Theorem Prover on a Smart Card. CADE 1998: 47-50
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Posegga, Harald Vogt: Byte Code Verification for Java Smart Card Based on Model Checking. ESORICS 1998: 175-190
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Posegga: Die Sicherheitsaspekte von Java. Informatik Spektrum 21(1): 16-22 (1998)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Kaiserswerth, Joachim Posegga: Java auf Chipkarten - Das aktuelle Schlagwort. Informatik Spektrum 21(1): 27-28 (1998)
1996
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Beckert, Joachim Posegga: Logic Programming as a Basis for Lean Automated Deduction. J. Log. Program. 28(3): 231-236 (1996)
1995
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Beckert, Joachim Posegga: leanEA: A Lean Evolving Algebra Compiler. CSL 1995: 64-85
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Beckert, Joachim Posegga: LeanEA: A Lean Evolving Algebra Compiler. WLP 1995: 73-82
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Beckert, Joachim Posegga: leanTAP: Lean Tableau-based Deduction. J. Autom. Reasoning 15(3): 339-358 (1995)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Posegga, Peter H. Schmitt: Automated Deduction with Shannon Graphs. J. Log. Comput. 5(6): 697-729 (1995)
1994
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Beckert, Joachim Posegga: leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract). CADE 1994: 793-797
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Goubault, Joachim Posegga: BDDs and Automated Deduction. ISMIS 1994: 541-550
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Beckert, Joachim Posegga: Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means. WLP 1994: 108-111
1993
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Posegga: Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe. Infix Verlag, St. Augustin, Germany 1993
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Posegga: Compiling Proof Search in Semantic Tableaux. ISMIS 1993: 39-48
1992
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Moerkotte, Holger Müller, Joachim Posegga: Aspects of Consistency Driven Planning. DAISD 1992: 301-325
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Posegga, Bertram Ludäscher: Towards First-order Deduction Based on Shannon Graphs. GWAI 1992: 67-75
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Posegga: First-Order Shannon Graphs (Extended Abstract). TABLEAUX 1992: 67-69
1991
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Decker, Guido Moerkotte, Holger Müller, Joachim Posegga: Consistency Driven Planning. EPIA 1991: 195-209
1990
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Joachim Posegga, Peter H. Schmitt: Modal logics for AI planning. Expert Planning Systems 1990: 157-162

Coauthor Index

1Christopher Alm [34]
2David A. Basin [25] [28]
3Peter Baumgartner [15]
4Bernhard Beckert [8] [10] [12] [13] [14] [16]
5Christian Beyerlein [35]
6Martin Decker [2]
7Jürgen Dix [1]
8Josep Domingo-Ferrer [31] [32]
9Björn Engelmann [33]
10Stefan Friedrich [25] [28]
11Marek Gawkowski [28]
12Rosemaria Giesecke [35]
13Rajeev Goré [20] [21]
14Jean Goubault-Larrecq (Jean Goubault) [9]
15Scott B. Guthery [26]
16Reiner Hähnle [15]
17Martin Johns [33] [35]
18Matthias Kaiserswerth [17]
19Roger Kehr [24] [26]
20Roger Kilian-Kehr [29]
21Bertram Ludäscher [4]
22Tiziana Margaria (Tiziana Margaria-Steffen) [22]
23Guido Moerkotte [2] [5]
24Holger Müller [2] [5]
25Henrich Christopher Pöhls [30]
26Roland Rückert [22]
27Peter H. Schmitt [1] [11]
28Daniel Schreckling [31]
29Francesc Sebé [32]
30Andrew Slater [20] [21]
31Bernhard Steffen [22]
32Vicenç Torra (Vicenç Torra I. Reventós) [32]
33Simon Vetter [27]
34Harald Vogt [19] [20] [21] [24] [25]
35Ruben Wolf [34]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)