dblp.uni-trier.dewww.uni-trier.de

Joachim Posegga Vis

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

*2009
34EEChristopher Alm, Ruben Wolf, Joachim Posegga: The OPL Access Control Policy Language. TrustBus 2009: 138-148
2008
33EEMartin Johns, Björn Engelmann, Joachim Posegga: XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. ACSAC 2008: 335-344
2007
32EEJosep 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
30EEHenrich Christopher Pöhls, Joachim Posegga: Smartcard Firewalls Revisited. CARDIS 2006: 179-191
2002
29EERoger Kilian-Kehr, Joachim Posegga: Smart Cards in Interaction: Towards Trustworthy Digital Signatures. CARDIS 2002: 11-18
28EEDavid A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga: Bytecode Model Checking: An Experimental Analysis. SPIN 2002: 42-59
2001
27EEJoachim 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
25EEDavid A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt: Java Bytecode Verification by Model Checking. CAV 1999: 491-494
24EERoger Kehr, Joachim Posegga, Harald Vogt: PCA: Jini-based Personal Card Assistant. CQRE 1999: 64-75
23EEJoachim 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
21EEAndrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt: cardTAP: Automated Deduction on a Smart Card. Australian Joint Conference on Artificial Intelligence 1998: 239-247
20EERajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt: System Description: card TAP: The First Theorem Prover on a Smart Card. CADE 1998: 47-50
19EEJoachim Posegga, Harald Vogt: Byte Code Verification for Java Smart Card Based on Model Checking. ESORICS 1998: 175-190
18EEJoachim Posegga: Die Sicherheitsaspekte von Java. Informatik Spektrum 21(1): 16-22 (1998)
17EEMatthias 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
14EEBernhard 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
10EEBernhard Beckert, Joachim Posegga: leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract). CADE 1994: 793-797
9EEJean 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
6EEJoachim 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)