Publications

J. Posegga, H. Vogt and R. Kehr, "Eine Vorrichtung zur Erhöhung der Sicherheit bei Digitalen Signaturen / Method to improve security of systems using digital signatures" , 2000.

S. Guthery, R. Kehr, J. Posegga and H. Vogt, "GSM SIMs as Web Servers" in Seventh Intern. Conf. on Intelligence in Services and Networks , Athens, Greece : Short Paper , 2000.
http://web.sec.uni-passau.de/papers/WebSIMShort.pdf

S. Guthery, R. Kehr and J. Posegga, "How to Turn a GSM SIM into a Web Server" in Proc. IFIP Fourth Working Conference on Smart Card Research and Applications (CARDIS 2000) , Josep Domingo-Ferrer and David Chan and Anthony Watson, Eds. Kluwer Academic Publishers , 2000.
http://web.sec.uni-passau.de/papers/WebSIM_Cards_Submission.pdf

R. Kehr, J. Posegga and H. Vogt, "Kartenmaterial und Verfahren zum Betreiben eines Kartenterminals" , Apr. 2000.

G. Karjoth and J. Posegga, "Mobile Agents and Telcos' Nightmares" , Annales des Telecommunications , vol. 55 , no. 7/8 , pp. 29--41 , 2000.
http://web.sec.uni-passau.de/papers/nightmare.pdf

J. Posegga, "Secure Mobile Commerce: A Plug an Pay Approach" in {P}roc. {M}icro.tec 2000 , EXPO, Hannover : VDE Verlag , 2000.

A. Gavras, F. Mattern and J. Posegga, "Future Services for Networked Devices (Workshop Proceedings)" , Heidelberg, Germany : EURESCOM GmbH , 1999.
http://www.eurescom.de/\verb=~=fusenetd

D. Gabbay, M. D'Agostino, R. Hähnle and J. Posegga (Eds.), Handbook of Tableau-based Methods in Automated Deduction. .... Kluwer Academic Publishers , 1999.

J. Posegga and P. H.\verb=~=Schmitt, "Implementing Tableau-based Deduction" in Handbook of Tableau-based Methods in Automated Deduction , Dov Gabbay et.al., Eds. Kluwer Academic Publishers , 1999 .

D. Basin, S. Friedrich, J. Posegga and H. Vogt, "Java Bytecode Verification by Model Checking (System Abstract)" in Proc. Conf. on Computer Aided Verification , Springer LNCS , 1999.
http://web.sec.uni-passau.de/papers/CAV99.pdf

J. Posegga, "Jini: Infrastruktur für dynamische Dienste in verteilten Systemen" , Informatik-Spektrum , vol. 22 , no. 1 , 1999. Springer Verlag .
http://web.sec.uni-passau.de/papers/JiniInfSp.pdf

R. Kehr, J. Posegga and H. Vogt, "PCA: Jini-based Personal Card Assistant" in CQRE-Secure , Rainer Baumgart, Eds. Springer Verlag , 1999.
DOI: http://www.springerlink.com/content/19u9qcwpwqdqk5l7/
http://web.sec.uni-passau.de/papers/PCA.pdf

A. Munch-Ellingsen, P. S. Malm, J. Posegga, R. Kehr, G. Privat, R. Airiau and A. Hardwick, Smart Devices. .... Heidelberg, Germany : EURESCOM GmbH , 1999.
http://www.eurescom.de/\verb=~=pub-deliverables/P900-series/P946/D1/p946d1.pdf

J. Posegga and H. Vogt, "Byte Code Verification for Java Smart Cards Based on Model Checking" in 5th European Symposium on Research in Computer Security (ESORICS) , Louvain-la-Neuve, Belgium : Springer Verlag , 1998.
http://web.sec.uni-passau.de/papers/ESORICS98.pdf

R. Goré, J. Posegga, A. Slater and H. Vogt, "cardTAP: Automated Deduction on a smart card" in Proc. 1998 Joint Australian Artificial Intelligence Conference , Brisbane, Australia : Springer Verlag , 1998.
http://web.sec.uni-passau.de/papers/cTAPAI98.pdf

R. Goré, J. Posegga, A. Slater and H. Vogt, "cardTAP: The First Theorem Prover on a Smart Card" in Proc. Conference on Automated Deduction (CADE) , Springer Verlag , 1998.
http://web.sec.uni-passau.de/papers/CardTapSubmission.pdf

J. Posegga, "Die Sicherheitsaspekte von Java" , Informatik-Spektrum , vol. 21 , no. 1 , pp. 16--22 , 1998. Springer Verlag .
http://web.sec.uni-passau.de/papers/InformatkSpektrum98.pdf

M. Kaiserswerth and J. Posegga, "Java auf Chipkarten" , Informatik-Spektrum , vol. 21 , no. 1 , pp. 27--28 , 1998. Springer Verlag .
http://web.sec.uni-passau.de/papers/Javasmrt.pdf

J. Posegga and H. Vogt, "Java Byte Code Verification using Model Checking" in Proc. OOPSLA Workshop on Formal Underpinnings of Java , Vancouver, Canada , 1998.
http://web.sec.uni-passau.de/papers/OOPSLA98.pdf

J. Posegga, "Java Smart Cards as a Platform for Electronic Commerce" in Electronic Commerce: International IFIP/GI Working Conference on Trends in Distributed Systems and Electronic Commerce , Frank Griffel and Tuan Tu and Winfried Lamersdorf, Eds. Hamburg : dpunkt Verlag, Heidelberg , 1998. pp. 175--182.
http://web.sec.uni-passau.de/papers/TrEC.pdf

J. Posegga, "Java Smartcards (invited talk)" in Proc. Comdex Enterprise: Telecom/IT-Forum , Frankfurt, UK : Softbank Comdex, Inc. , 1998.

J. Posegga, "Netzsteuerbares GSM-Mobilfunkgerät / GSM mobile radio apparatus, which can be controlled by the network" , 1998.

J. Posegga, "Security in the Context of Java Smartcards and Jini (invited talk)" , 1998.

T. Margaria and B. Steffen and R. Rückert and J. Posegga, Eds., Services and Visualization: Towards User Friendly Design : Lecture Notes in Computer Science .

J. Posegga, "Java in Telecoms -- Challenges and Oportunities (invited talk)" in Proc. Object World '97 , London, UK : Softbank Comdex, Inc. , 1997.

J. Posegga, "Netzsteuerbares GSM-Mobilfunkgerät" , 1997.

J. Posegga, "Verfahren und Vorrichtung zur Nutzung eines in einem Telekommunikationsnetz zur Verfügung gestellten Dienstes / Method for using Service freely available in electric communication network" , 1997.

J. Posegga and P. H.\verb=~=Schmitt, "Deduction with First-order Shannon Graphs" , Journal of Logic and Computation , vol. 5 , no. 6 , pp. 697-729 , 1996.

J. Posegga and P. H.\verb=~=Schmitt, "Implementing Tableau-based Deduction" , Karlsruhe, FRG , 1996.

B. Beckert and J. Posegga, "leanEA: A Lean Evolving Algebra Compiler" in Proceedings, Annual Conference of the European Association for ComputerScience Logic (CSL'95), Paderborn, Germany , Kleine Büning, H., Eds. Springer , 1996. pp. 64--85.

B. Beckert and J. Posegga, "Logic Programming as a Basis for Lean Automated Deduction" , Journal of Logic Programming , vol. 28 , no. 3 , pp. 231--236 , 1996.
http://web.sec.uni-passau.de/papers/Lean_Proving_Position_Paper_LogProgWsZuerich.pdf

J. Posegga and K. Schneider, "A First-Order Calculus Based on Propositional BDDs" in Leonie Dreschler-Fischer, Simone Pribbenow (Ed.): KI-95 Activities , Gesellschaft f. Informatik, Bonn , 1995.
http://web.sec.uni-passau.de/papers/First-order_Deduction_with_propositional_BDDs.pdf

J. Posegga and P. H. Schmitt, "Automated Deduction with Shannon Graphs" , Journal of Logic and Computation. In , vol. 5 , pp. 697--729 , 1995.
http://web.sec.uni-passau.de/papers/Long_Paper_on_Shannon_Graphs.pdf

B. Beckert and J. Posegga, "leanEA: A Poor Man's EvolvingAlgebra Compiler" in Andreas Krall, Ulrich Geske (Ed): 11. Workshop Logische Programmierung , GMD-Studien Nr. 270 , 1995.
http://web.sec.uni-passau.de/papers/LeanEA.pdf

B. Beckert and J. Posegga, "leanTaP: Lean Tableau-based Deduction" , Journal of Automated Reasoning , vol. 15 , no. 3 , pp. 339--358 , 1995.
http://web.sec.uni-passau.de/papers/LeanTaP.pdf

P. Baumgartner and R. Hähnle and J. Posegga, Eds., Proc. 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods : LNAI .

J. Goubault and J. Posegga, "BDDs and Automated Deduction" in Proc. 8th International Symposium on Methodologies for Intelligent Systems , Charlotte, NC : Springer , 1994.
http://web.sec.uni-passau.de/papers/BDDs_and_Autom_Ded.pdf

B. Beckert and J. Posegga, "Lean Theorem Proving: Maximal Efficiency from Minimal Means" in Working Notes, AISB Workshop ``Automated Reasoning: Closing the Gap betweenTheory and Practice'', Leeds, England , 1994. pp. 7--8.
http://web.sec.uni-passau.de/papers/Lean_Proving_Position_Paper_AISB_WS94.pdf

B. Beckert and J. Posegga, "leanTaP: Lean Tableau-Based Theorem Proving" in Proc. of 12th Conference on Automated Deduction , Alan Bundy, Eds. Nancy, France : Springer , 1994.
http://web.sec.uni-passau.de/papers/Lean_Tableau_Prover_CADE94.pdf

J. Posegga, "Compiling Proof Search in Semantic Tableaux" in Proc. 7th International Symposium on Methodologies for Intelligent Systems , Trondheim, Norway : Springer , 1993. pp. 67--77.
http://web.sec.uni-passau.de/papers/Compiling_Proof_Search_in_Tableau_Calculus.pdf

J. Posegga, "Compiling Tableau-Based Deduction for General Formulae" in Workshop PTTP-basiertes Theorembeweisen , Peter Baumgartner, Eds. Universität Koblenz-Landau , 1993 .

J. Posegga and K. Schneider, "Deduction with First-order BDDs" in Basin et.al.: Proc. 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods , Marseilles, France. Max-Planck-Institut für Informatik, Saarbrücken, Germany , 1993.

J. Posegga, Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe. .... Sankt Augustin : Infix Verlag , 1993. Infix_Verlag, FRG

J. Posegga, "First-order Deduction with Binary Decision Diagrams" , 1993.
http://web.sec.uni-passau.de/papers/First-order_Deduction_with_nonordered_BDDs.pdf

David Basin and Bertram Fronhöfer and Reiner Hähnle and Joachim Posegga and Camilla Schwind, Eds., Proc. 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods .

H. Müller, G. Moerkotte and J. Posegga, "Aspects of Consistency Driven Planning" in Proc.\verb=~=Third International Workshop on the Deductive Approach to Information Systems and Databases , Roses, Spain , 1992.

J. Posegga, "First-order Shannon Graphs" in Proc. Workshop on Theorem Proving with Analytic Tableau and Related Methods , Lautenbach, Germany : published by: Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme, technical report 8/92 , 1992.

J. Posegga, "First-order Shannon Graphs" in Intern. Conf. on Fifth Generation Computer Systems / Workshop on Automated Deduction , Tokyo, Japan , 1992.

J. Posegga and B. Ludäscher, "Towards First-order Deduction Based on Shannon Graphs" in Proc. German Workshop on Artificial Intelligence , Bonn, Germany : Springer , 1992.

G. Moerkotte and J. Posegga, "Consistency Driven Planning" in 5th GI-Workshop ``Planen und Konfigurieren'' , Hamburg, Germany , 1991.