Joachim Posegga

	2010
35		Martin Johns, Christian Beyerlein, Rosemaria Giesecke, Joachim Posegga: Secure Code Generation for Web Applications. ESSoS 2010: 96-113
	2009
34		Christopher Alm, Ruben Wolf, Joachim Posegga: The OPL Access Control Policy Language. TrustBus 2009: 138-148
	2008
33		Martin Johns, Björn Engelmann, Joachim Posegga: XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. ACSAC 2008: 335-344
	2007
32		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		Henrich Christopher Pöhls, Joachim Posegga: Smartcard Firewalls Revisited. CARDIS 2006: 179-191
	2002
29		Roger Kilian-Kehr, Joachim Posegga: Smart Cards in Interaction: Towards Trustworthy Digital Signatures. CARDIS 2002: 11-18
28		David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga: Bytecode Model Checking: An Experimental Analysis. SPIN 2002: 42-59
	2001
27		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		David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt: Java Bytecode Verification by Model Checking. CAV 1999: 491-494
24		Roger Kehr, Joachim Posegga, Harald Vogt: PCA: Jini-based Personal Card Assistant. CQRE 1999: 64-75
23		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		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		Joachim Posegga, Harald Vogt: Byte Code Verification for Java Smart Card Based on Model Checking. ESORICS 1998: 175-190
18		Joachim Posegga: Die Sicherheitsaspekte von Java. Informatik Spektrum 21(1): 16-22 (1998)
17		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

Coauthor Index

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

Colors in the list of coauthors