|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
93 | Johann Schumann |
Automatic Verification of Cryptographic Protocols with SETHEO. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
72 | Bernd Fischer 0002, Johann Schumann |
SETHEO Goes Software Engineering: Application of ATP to Software Reuse. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
62 | Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr |
SETHEO and E-SETHEO - The CADE-13 Systems. |
J. Autom. Reason. |
1997 |
DBLP DOI BibTeX RDF |
|
57 | Wolfgang Ertel |
OR-Parallel Theorem Proving with Random Competition. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
random competition, SETHEO, theorem proving, speedup, OR-parallelism, random search, model elimination |
52 | Gernot Stenz, Andreas Wolf 0005 |
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover. |
Australian Joint Conference on Artificial Intelligence |
1999 |
DBLP DOI BibTeX RDF |
|
52 | Andreas Wolf |
p-SETHEO: Strategy Parallelism in Automated Theorem Proving. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
41 | Johann Schumann, Bernd Fischer 0002 |
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
deduction-based software component retrieval, NORA/HAMMR, search keys, proof tasks, rejection filters, model checking techniques, confirmation filter, software reusability, signature matching, automated theorem prover |
31 | Joachim Draeger |
Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Gernot Stenz, Andreas Wolf 0005 |
E-SETHEO: An Automated3 Theorem Prover. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Christian B. Suttner |
SPS-Parallelism + SETHEO = SPTHEO. |
J. Autom. Reason. |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Johann Schumann |
PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Johann Schumann |
SiCoTHEO - Simple competitive parallel theorem provers based on SETHEO. |
Parallel Processing for Artificial Intelligence 3 |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Ortrun Ibens |
The SETHEO System (system description). |
WLP |
1997 |
DBLP BibTeX RDF |
|
31 | Andreas Wolf 0005, Johann Schumann |
ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Johann Schumann |
Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann |
SETHEO V3.2: Recent Developments - System Abstract. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Christoph Goller |
Anwendung des Theorembeweisers SETHEO auf die Theorie der Halbgruppen und Gruppen |
Forschungsberichte, TU Munich |
1993 |
RDF |
|
31 | Johann M. Ph. Schumann, Max Moser |
A graphical user interface for SETHEO: proposal |
Forschungsberichte, TU Munich |
1992 |
RDF |
|
31 | Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel |
SETHEO: A High-Performance Theorem Prover. |
J. Autom. Reason. |
1992 |
DBLP DOI BibTeX RDF |
|
31 | Reinhold Letz, Klaus Mayr |
SETHEO II - The System and its Calculi. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
21 | Ewen Denney, Bernd Fischer 0002, Johann Schumann |
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Michael W. Whalen, Johann Schumann, Bernd Fischer 0002 |
Synthesizing Certified Code. |
FME |
2002 |
DBLP DOI BibTeX RDF |
automatic program synthesis, code certification, program verification, automated theorem proving, proof-carrying code |
21 | Gernot Stenz, Andreas Wolf 0005 |
Scheduling Methods for Parallel Automated Theorem Proving. |
AI |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Marc Fuchs, Dirk Fuchs |
Abstraction-Based Relevancy Testing for Model Elimination. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Peter Jakobi, Andreas Wolf |
DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data. |
CSMR |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Leo Bachmair, Harald Ganzinger, Andrei Voronkov |
Elimination of Equality via Transformation with Ordering Constraints. |
CADE |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Andreas Wolf |
Strategy Selection for Automated Theorem Proving. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Koji Iwanuma |
Lemma Matching for a PTTP-based Top-down Theorem Prover. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Heribert Schütz, Tim Geisler |
Efficient Model Generation through Compilation. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Wolfgang Ertel, Franz J. Kurfess, Reinhold Letz, Xavier Pandolfi |
PARTHEO: A Parallel Inference Machine. |
PARLE (1) |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|