/intelligent-systems/publikationen?tx_upatheme_mobilenav%5BpageUid%5D=19277&type=20190226&cHash=8e32b488df2f5cff4d2848381cc0feb2
Bewerbung und Einschreibung Studienangebot Studienberatung Vorlesungsverzeichnis Auslandsamt Karriere und Kompetenzen Prüfungssekretariat Graduiertenzentrum Studentenwerk Universitätsbibliothek
English
Hauptnavigation öffnen
Suche einschränken Gesamte Universität Hilfe- und Supportportal
Lehrstuhl Algorithmen für Intelligente Systeme

Publikationen

1997

133.
Posegga , Joachim
Java in Telecoms -- Challenges and Oportunities (invited talk)
Proc. Object World '97 ,
Herausgeber: Softbank Comdex, Inc. , London, UK
1997
132.
Posegga , Joachim
Netzsteuerbares GSM-Mobilfunkgerät
1997
131.
de Meer , Hermann ; Sevcikova , Hana
PENELOPE - dependability evaluation and the optimization of performability
, Proc. of 9th Int'l Conf. on Computer Performance Evaluation (Tools 1997) Band 1245 aus Lecture notes in Computer Science (LNCS) , Seite 19--31
Herausgeber: Springer-Verlag
1997
DOI: 10.1007/BFb0022194
ISBN: 978-3-540-63101-9
http://www.net.fim.uni-passau.de/pdf/DeMeer1997c.pdf
130.
Knoche , Hendrik ; de Meer , Hermann
Quantitative QoS Mapping: A Unifying Approach
Proc. of the 5th IFIP Int'l Workshop on Quality of Service (IWQoS 1997) , Seite 347--358
Herausgeber: Chapman \& Hall
1997
129.
Hauff , Harald
Schaden-Praevention im internationalen Informations- und Datenverkehr?
Proc. of the 16th Int. Summer Symp. on Sicherheitstechnik in Europa - Orientierung, Zustaende, Aufgaben, Ergebnisse (GfS-Sommer-Symposium 1995) , Seite 111--124
Herausgeber: Gesellschaft fuer Sicherheitswissenschaft (GfS)
1997
128.
Posegga , Joachim
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

1996

127.
Posegga , Joachim ; Schmitt , P.H.
Deduction with First-order Shannon Graphs
Journal of Logic and Computation , 5 (6) :697-729
1996
126.
Posegga , Joachim ; Schmitt , P.H.
Implementing Tableau-based Deduction
Dokument Nummer: 12
Universität Karlsruhe, Fakultät für Informatik , Karlsruhe, FRG
1996
125.
Beckert , Bernhard ; Posegga , Joachim
leanEA: A Lean Evolving Algebra Compiler
In Kleine Büning, H., Editor , Proceedings, Annual Conference of the European Association for ComputerScience Logic (CSL'95), Paderborn, Germany aus LNCS 1092 , Seite 64--85
In Kleine Büning, H., Editor
Herausgeber: Springer
1996
124.
Beckert , Bernhard ; Posegga , Joachim
Logic Programming as a Basis for Lean Automated Deduction
Journal of Logic Programming , 28 (3) :231--236
1996
http://web.sec.uni-passau.de/papers/Lean_Proving_Position_Paper_LogProgWsZuerich.pdf
123.
de Meer , Hermann ; Sevcikova , Hana
XPenelope User Guide
University of Hamburg , Hamburg, Germany
1996
http://www.net.fim.uni-passau.de/pdf/DeMeer1996a.pdf

1995

122.
Posegga , Joachim ; Schneider , Klaus
A First-Order Calculus Based on Propositional BDDs
Leonie Dreschler-Fischer, Simone Pribbenow (Ed.): KI-95 Activities ,
Herausgeber: Gesellschaft f. Informatik, Bonn
1995
http://web.sec.uni-passau.de/papers/First-order_Deduction_with_propositional_BDDs.pdf
121.
Posegga , Joachim ; H. Schmitt , Peter
Automated Deduction with Shannon Graphs
Journal of Logic and Computation. In , 5 :697--729
1995
http://web.sec.uni-passau.de/papers/Long_Paper_on_Shannon_Graphs.pdf
120.
Beckert , Bernhard ; Posegga , Joachim
leanEA: A Poor Man's EvolvingAlgebra Compiler
Andreas Krall, Ulrich Geske (Ed): 11. Workshop Logische Programmierung ,
Herausgeber: GMD-Studien Nr. 270
1995
http://web.sec.uni-passau.de/papers/LeanEA.pdf
119.
Beckert , Bernhard ; Posegga , Joachim
leanTaP: Lean Tableau-based Deduction
Journal of Automated Reasoning , 15 (3) :339--358
1995
http://web.sec.uni-passau.de/papers/LeanTaP.pdf
118.
Hauff , Harald
Patienten-Chipkarte und IT-Sicherheit
In Bundesamt fuer Sicherheit in der Informationstechnik (BSI), Editor , Patienten und ihre computergerechten Gesundheitsdaten aus Die Boppard-Veranstaltungen des BSI zur Technikfolgen-Abschaetzung
Seite 130--134
Herausgeber: SecuMedia Verlag
1995
130--134
ISBN: 978-3922746263
117.

Proc. 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods
In P. Baumgartner and R. Hähnle and J. Posegga, Editor aus LNAI
Herausgeber: Springer , St.\verb=~=Goar, Germany
1995

1994

116.
Goubault , Jean ; Posegga , Joachim
BDDs and Automated Deduction
Proc. 8th International Symposium on Methodologies for Intelligent Systems aus LNAI ,
Herausgeber: Springer , Charlotte, NC
1994
http://web.sec.uni-passau.de/papers/BDDs_and_Autom_Ded.pdf
115.
de Meer , Hermann ; Trivedi , Kishor S. ; Dal Cin , Mario
Guarded Repair of Dependable Systems
Theoretical Computer Science , 128 (1-2) :179--210
1994
Herausgeber: Elsevier
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)90169-4
114.
Beckert , Bernhard ; Posegga , Joachim
Lean Theorem Proving: Maximal Efficiency from Minimal Means
Working Notes, AISB Workshop ``Automated Reasoning: Closing the Gap betweenTheory and Practice'', Leeds, England , Seite 7--8
1994
http://web.sec.uni-passau.de/papers/Lean_Proving_Position_Paper_AISB_WS94.pdf
113.
Beckert , Bernhard ; Posegga , Joachim
leanTaP: Lean Tableau-Based Theorem Proving
In Alan Bundy, Editor , Proc. of 12th Conference on Automated Deduction Band 814 aus LNAI ,
In Alan Bundy, Editor
Herausgeber: Springer , Nancy, France
1994
http://web.sec.uni-passau.de/papers/Lean_Tableau_Prover_CADE94.pdf
112.
Hauff , Harald
Reduktion von Komplexitaet - vier Fallbeispiele im Ueberblick
In Bundesamt fuer Sicherheit in der Informationstechnik (BSI), Editor , COMPUTERSIMULATION - (k)ein Spiegel der Wirklichkeit aus Die Boppard-Veranstaltungen des BSI zur Technikfolgen-Abschaetzung
Seite 79--85
Herausgeber: SecuMedia Verlag
1994
79--85
ISBN: 978-3922746256
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017400154&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

1993

111.
Posegga , Joachim
Compiling Proof Search in Semantic Tableaux
, Proc. 7th International Symposium on Methodologies for Intelligent Systems Band 671 aus LNAI , Seite 67--77
Herausgeber: Springer , Trondheim, Norway
1993
http://web.sec.uni-passau.de/papers/Compiling_Proof_Search_in_Tableau_Calculus.pdf
110.
Posegga , Joachim
Compiling Tableau-Based Deduction for General Formulae
In Peter Baumgartner, Editor , Workshop PTTP-basiertes Theorembeweisen aus Fachberichte Informatik
Herausgeber: Universität Koblenz-Landau
1993
109.
Posegga , Joachim ; Schneider , Klaus
Deduction with First-order BDDs
Basin et.al.: Proc. 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods ,
Herausgeber: Marseilles, France. Max-Planck-Institut für Informatik, Saarbrücken, Germany
1993
133.
Posegga , Joachim
Java in Telecoms -- Challenges and Oportunities (invited talk)
Proc. Object World '97 ,
Herausgeber: Softbank Comdex, Inc. , London, UK
1997
132.
Posegga , Joachim
Netzsteuerbares GSM-Mobilfunkgerät
1997
131.
de Meer , Hermann ; Sevcikova , Hana
PENELOPE - dependability evaluation and the optimization of performability
, Proc. of 9th Int'l Conf. on Computer Performance Evaluation (Tools 1997) Band 1245 aus Lecture notes in Computer Science (LNCS) , Seite 19--31
Herausgeber: Springer-Verlag
1997
DOI: 10.1007/BFb0022194
ISBN: 978-3-540-63101-9
http://www.net.fim.uni-passau.de/pdf/DeMeer1997c.pdf
130.
Knoche , Hendrik ; de Meer , Hermann
Quantitative QoS Mapping: A Unifying Approach
Proc. of the 5th IFIP Int'l Workshop on Quality of Service (IWQoS 1997) , Seite 347--358
Herausgeber: Chapman \& Hall
1997
129.
Hauff , Harald
Schaden-Praevention im internationalen Informations- und Datenverkehr?
Proc. of the 16th Int. Summer Symp. on Sicherheitstechnik in Europa - Orientierung, Zustaende, Aufgaben, Ergebnisse (GfS-Sommer-Symposium 1995) , Seite 111--124
Herausgeber: Gesellschaft fuer Sicherheitswissenschaft (GfS)
1997
128.
Posegga , Joachim
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
127.
Posegga , Joachim ; Schmitt , P.H.
Deduction with First-order Shannon Graphs
Journal of Logic and Computation , 5 (6) :697-729
1996
126.
Posegga , Joachim ; Schmitt , P.H.
Implementing Tableau-based Deduction
Dokument Nummer: 12
Universität Karlsruhe, Fakultät für Informatik , Karlsruhe, FRG
1996
125.
Beckert , Bernhard ; Posegga , Joachim
leanEA: A Lean Evolving Algebra Compiler
In Kleine Büning, H., Editor , Proceedings, Annual Conference of the European Association for ComputerScience Logic (CSL'95), Paderborn, Germany aus LNCS 1092 , Seite 64--85
In Kleine Büning, H., Editor
Herausgeber: Springer
1996
124.
Beckert , Bernhard ; Posegga , Joachim
Logic Programming as a Basis for Lean Automated Deduction
Journal of Logic Programming , 28 (3) :231--236
1996
http://web.sec.uni-passau.de/papers/Lean_Proving_Position_Paper_LogProgWsZuerich.pdf
123.
de Meer , Hermann ; Sevcikova , Hana
XPenelope User Guide
University of Hamburg , Hamburg, Germany
1996
http://www.net.fim.uni-passau.de/pdf/DeMeer1996a.pdf
122.
Posegga , Joachim ; Schneider , Klaus
A First-Order Calculus Based on Propositional BDDs
Leonie Dreschler-Fischer, Simone Pribbenow (Ed.): KI-95 Activities ,
Herausgeber: Gesellschaft f. Informatik, Bonn
1995
http://web.sec.uni-passau.de/papers/First-order_Deduction_with_propositional_BDDs.pdf
121.
Posegga , Joachim ; H. Schmitt , Peter
Automated Deduction with Shannon Graphs
Journal of Logic and Computation. In , 5 :697--729
1995
http://web.sec.uni-passau.de/papers/Long_Paper_on_Shannon_Graphs.pdf
120.
Beckert , Bernhard ; Posegga , Joachim
leanEA: A Poor Man's EvolvingAlgebra Compiler
Andreas Krall, Ulrich Geske (Ed): 11. Workshop Logische Programmierung ,
Herausgeber: GMD-Studien Nr. 270
1995
http://web.sec.uni-passau.de/papers/LeanEA.pdf
119.
Beckert , Bernhard ; Posegga , Joachim
leanTaP: Lean Tableau-based Deduction
Journal of Automated Reasoning , 15 (3) :339--358
1995
http://web.sec.uni-passau.de/papers/LeanTaP.pdf
118.
Hauff , Harald
Patienten-Chipkarte und IT-Sicherheit
In Bundesamt fuer Sicherheit in der Informationstechnik (BSI), Editor , Patienten und ihre computergerechten Gesundheitsdaten aus Die Boppard-Veranstaltungen des BSI zur Technikfolgen-Abschaetzung
Seite 130--134
Herausgeber: SecuMedia Verlag
1995
130--134
ISBN: 978-3922746263
117.

Proc. 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods
In P. Baumgartner and R. Hähnle and J. Posegga, Editor aus LNAI
Herausgeber: Springer , St.\verb=~=Goar, Germany
1995
116.
Goubault , Jean ; Posegga , Joachim
BDDs and Automated Deduction
Proc. 8th International Symposium on Methodologies for Intelligent Systems aus LNAI ,
Herausgeber: Springer , Charlotte, NC
1994
http://web.sec.uni-passau.de/papers/BDDs_and_Autom_Ded.pdf
115.
de Meer , Hermann ; Trivedi , Kishor S. ; Dal Cin , Mario
Guarded Repair of Dependable Systems
Theoretical Computer Science , 128 (1-2) :179--210
1994
Herausgeber: Elsevier
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)90169-4
114.
Beckert , Bernhard ; Posegga , Joachim
Lean Theorem Proving: Maximal Efficiency from Minimal Means
Working Notes, AISB Workshop ``Automated Reasoning: Closing the Gap betweenTheory and Practice'', Leeds, England , Seite 7--8
1994
http://web.sec.uni-passau.de/papers/Lean_Proving_Position_Paper_AISB_WS94.pdf
113.
Beckert , Bernhard ; Posegga , Joachim
leanTaP: Lean Tableau-Based Theorem Proving
In Alan Bundy, Editor , Proc. of 12th Conference on Automated Deduction Band 814 aus LNAI ,
In Alan Bundy, Editor
Herausgeber: Springer , Nancy, France
1994
http://web.sec.uni-passau.de/papers/Lean_Tableau_Prover_CADE94.pdf
112.
Hauff , Harald
Reduktion von Komplexitaet - vier Fallbeispiele im Ueberblick
In Bundesamt fuer Sicherheit in der Informationstechnik (BSI), Editor , COMPUTERSIMULATION - (k)ein Spiegel der Wirklichkeit aus Die Boppard-Veranstaltungen des BSI zur Technikfolgen-Abschaetzung
Seite 79--85
Herausgeber: SecuMedia Verlag
1994
79--85
ISBN: 978-3922746256
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017400154&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
111.
Posegga , Joachim
Compiling Proof Search in Semantic Tableaux
, Proc. 7th International Symposium on Methodologies for Intelligent Systems Band 671 aus LNAI , Seite 67--77
Herausgeber: Springer , Trondheim, Norway
1993
http://web.sec.uni-passau.de/papers/Compiling_Proof_Search_in_Tableau_Calculus.pdf
110.
Posegga , Joachim
Compiling Tableau-Based Deduction for General Formulae
In Peter Baumgartner, Editor , Workshop PTTP-basiertes Theorembeweisen aus Fachberichte Informatik
Herausgeber: Universität Koblenz-Landau
1993
109.
Posegga , Joachim ; Schneider , Klaus
Deduction with First-order BDDs
Basin et.al.: Proc. 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods ,
Herausgeber: Marseilles, France. Max-Planck-Institut für Informatik, Saarbrücken, Germany
1993
133.
Posegga , Joachim
Java in Telecoms -- Challenges and Oportunities (invited talk)
Proc. Object World '97 ,
Herausgeber: Softbank Comdex, Inc. , London, UK
1997
132.
Posegga , Joachim
Netzsteuerbares GSM-Mobilfunkgerät
1997
131.
de Meer , Hermann ; Sevcikova , Hana
PENELOPE - dependability evaluation and the optimization of performability
, Proc. of 9th Int'l Conf. on Computer Performance Evaluation (Tools 1997) Band 1245 aus Lecture notes in Computer Science (LNCS) , Seite 19--31
Herausgeber: Springer-Verlag
1997
DOI: 10.1007/BFb0022194
ISBN: 978-3-540-63101-9
http://www.net.fim.uni-passau.de/pdf/DeMeer1997c.pdf
130.
Knoche , Hendrik ; de Meer , Hermann
Quantitative QoS Mapping: A Unifying Approach
Proc. of the 5th IFIP Int'l Workshop on Quality of Service (IWQoS 1997) , Seite 347--358
Herausgeber: Chapman \& Hall
1997
129.
Hauff , Harald
Schaden-Praevention im internationalen Informations- und Datenverkehr?
Proc. of the 16th Int. Summer Symp. on Sicherheitstechnik in Europa - Orientierung, Zustaende, Aufgaben, Ergebnisse (GfS-Sommer-Symposium 1995) , Seite 111--124
Herausgeber: Gesellschaft fuer Sicherheitswissenschaft (GfS)
1997
128.
Posegga , Joachim
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
127.
Posegga , Joachim ; Schmitt , P.H.
Deduction with First-order Shannon Graphs
Journal of Logic and Computation , 5 (6) :697-729
1996
126.
Posegga , Joachim ; Schmitt , P.H.
Implementing Tableau-based Deduction
Dokument Nummer: 12
Universität Karlsruhe, Fakultät für Informatik , Karlsruhe, FRG
1996
125.
Beckert , Bernhard ; Posegga , Joachim
leanEA: A Lean Evolving Algebra Compiler
In Kleine Büning, H., Editor , Proceedings, Annual Conference of the European Association for ComputerScience Logic (CSL'95), Paderborn, Germany aus LNCS 1092 , Seite 64--85
In Kleine Büning, H., Editor
Herausgeber: Springer
1996
124.
Beckert , Bernhard ; Posegga , Joachim
Logic Programming as a Basis for Lean Automated Deduction
Journal of Logic Programming , 28 (3) :231--236
1996
http://web.sec.uni-passau.de/papers/Lean_Proving_Position_Paper_LogProgWsZuerich.pdf
123.
de Meer , Hermann ; Sevcikova , Hana
XPenelope User Guide
University of Hamburg , Hamburg, Germany
1996
http://www.net.fim.uni-passau.de/pdf/DeMeer1996a.pdf
122.
Posegga , Joachim ; Schneider , Klaus
A First-Order Calculus Based on Propositional BDDs
Leonie Dreschler-Fischer, Simone Pribbenow (Ed.): KI-95 Activities ,
Herausgeber: Gesellschaft f. Informatik, Bonn
1995
http://web.sec.uni-passau.de/papers/First-order_Deduction_with_propositional_BDDs.pdf
121.
Posegga , Joachim ; H. Schmitt , Peter
Automated Deduction with Shannon Graphs
Journal of Logic and Computation. In , 5 :697--729
1995
http://web.sec.uni-passau.de/papers/Long_Paper_on_Shannon_Graphs.pdf
120.
Beckert , Bernhard ; Posegga , Joachim
leanEA: A Poor Man's EvolvingAlgebra Compiler
Andreas Krall, Ulrich Geske (Ed): 11. Workshop Logische Programmierung ,
Herausgeber: GMD-Studien Nr. 270
1995
http://web.sec.uni-passau.de/papers/LeanEA.pdf
119.
Beckert , Bernhard ; Posegga , Joachim
leanTaP: Lean Tableau-based Deduction
Journal of Automated Reasoning , 15 (3) :339--358
1995
http://web.sec.uni-passau.de/papers/LeanTaP.pdf
118.
Hauff , Harald
Patienten-Chipkarte und IT-Sicherheit
In Bundesamt fuer Sicherheit in der Informationstechnik (BSI), Editor , Patienten und ihre computergerechten Gesundheitsdaten aus Die Boppard-Veranstaltungen des BSI zur Technikfolgen-Abschaetzung
Seite 130--134
Herausgeber: SecuMedia Verlag
1995
130--134
ISBN: 978-3922746263
117.

Proc. 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods
In P. Baumgartner and R. Hähnle and J. Posegga, Editor aus LNAI
Herausgeber: Springer , St.\verb=~=Goar, Germany
1995
116.
Goubault , Jean ; Posegga , Joachim
BDDs and Automated Deduction
Proc. 8th International Symposium on Methodologies for Intelligent Systems aus LNAI ,
Herausgeber: Springer , Charlotte, NC
1994
http://web.sec.uni-passau.de/papers/BDDs_and_Autom_Ded.pdf
115.
de Meer , Hermann ; Trivedi , Kishor S. ; Dal Cin , Mario
Guarded Repair of Dependable Systems
Theoretical Computer Science , 128 (1-2) :179--210
1994
Herausgeber: Elsevier
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)90169-4
114.
Beckert , Bernhard ; Posegga , Joachim
Lean Theorem Proving: Maximal Efficiency from Minimal Means
Working Notes, AISB Workshop ``Automated Reasoning: Closing the Gap betweenTheory and Practice'', Leeds, England , Seite 7--8
1994
http://web.sec.uni-passau.de/papers/Lean_Proving_Position_Paper_AISB_WS94.pdf
113.
Beckert , Bernhard ; Posegga , Joachim
leanTaP: Lean Tableau-Based Theorem Proving
In Alan Bundy, Editor , Proc. of 12th Conference on Automated Deduction Band 814 aus LNAI ,
In Alan Bundy, Editor
Herausgeber: Springer , Nancy, France
1994
http://web.sec.uni-passau.de/papers/Lean_Tableau_Prover_CADE94.pdf
112.
Hauff , Harald
Reduktion von Komplexitaet - vier Fallbeispiele im Ueberblick
In Bundesamt fuer Sicherheit in der Informationstechnik (BSI), Editor , COMPUTERSIMULATION - (k)ein Spiegel der Wirklichkeit aus Die Boppard-Veranstaltungen des BSI zur Technikfolgen-Abschaetzung
Seite 79--85
Herausgeber: SecuMedia Verlag
1994
79--85
ISBN: 978-3922746256
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017400154&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
111.
Posegga , Joachim
Compiling Proof Search in Semantic Tableaux
, Proc. 7th International Symposium on Methodologies for Intelligent Systems Band 671 aus LNAI , Seite 67--77
Herausgeber: Springer , Trondheim, Norway
1993
http://web.sec.uni-passau.de/papers/Compiling_Proof_Search_in_Tableau_Calculus.pdf
110.
Posegga , Joachim
Compiling Tableau-Based Deduction for General Formulae
In Peter Baumgartner, Editor , Workshop PTTP-basiertes Theorembeweisen aus Fachberichte Informatik
Herausgeber: Universität Koblenz-Landau
1993
109.
Posegga , Joachim ; Schneider , Klaus
Deduction with First-order BDDs
Basin et.al.: Proc. 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods ,
Herausgeber: Marseilles, France. Max-Planck-Institut für Informatik, Saarbrücken, Germany
1993
Diese Seite teilen

Beim Anzeigen des Videos wird Ihre IP-Adresse an einen externen Server (Vimeo.com) gesendet.

Video anzeigen
Diese Webseite verwendet Cookies, um Ihnen einen nutzer­freundlichen Service zu bieten sowie Nutzer­verhalten in pseudonymer Form zu analy­sieren. Weitere Informationen sowie die Möglichkeit zum Widerruf finden Sie in unserer Daten­schutz­er­klä­rung.
Alle akzeptieren
Speichern