The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Johann Schumann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Johann Schumann
    Automatic Debugging Support for UML Designs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2000, pp:- [Conf]
  2. Wolfgang Bibel, Franz J. Kurfess, K. Aspetsberger, P. Hintenaus, Johann Schumann
    Parallel Inference Machines. [Citation Graph (0, 0)][DBLP]
    Future Parallel Computers, 1986, pp:185-226 [Conf]
  3. Stefan Bayerl, Elmar Eder, Franz J. Kurfess, Reinhold Letz, Johann Schumann
    An Implementation of a PROLOG-like Theorem Prover based on the Connection Method. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1986, pp:29-36 [Conf]
  4. Johann Schumann
    Automated Theorem Proving in High-Quality Software Design. [Citation Graph (0, 0)][DBLP]
    Intellectics and Computational Logic, 2000, pp:295-312 [Conf]
  5. Ewen Denney, Bernd Fischer, Johann Schumann
    Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:198-212 [Conf]
  6. Bernd Fischer, Johann Schumann
    SETHEO Goes Software Engineering: Application of ATP to Software Reuse. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:65-68 [Conf]
  7. Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann
    SETHEO V3.2: Recent Developments - System Abstract. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:778-782 [Conf]
  8. Johann Schumann
    KPROP - An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (System Abstract). [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:740-742 [Conf]
  9. Johann Schumann
    DELTA - A Bottom-up Preprocessor for Top-Down Theorem Provers - System Abstract. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:774-777 [Conf]
  10. Johann Schumann
    SiCoTHEO: Simple Competitive Parallel Theorem Provers. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:240-244 [Conf]
  11. Johann Schumann
    Automatic Verification of Cryptographic Protocols with SETHEO. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:87-100 [Conf]
  12. Johann Schumann, Reinhold Letz
    PARTHEO: A High-Performance Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:40-56 [Conf]
  13. Johann Schumann, Reinhold Letz, Franz J. Kurfess
    Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:683- [Conf]
  14. Michael W. Whalen, Johann Schumann, Bernd Fischer
    AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:290-294 [Conf]
  15. Andreas Wolf, Johann Schumann
    ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:61-64 [Conf]
  16. Johann Schumann
    PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:500-504 [Conf]
  17. Johann Schumann
    Parallel Theorem Provers - An Overview. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Parallelization in Inference Systems, 1990, pp:26-50 [Conf]
  18. Johann Schumann, Jon Whittle
    Automatic Synthesis of Agent Designs in UML. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:148-162 [Conf]
  19. Michael W. Whalen, Johann Schumann, Bernd Fischer
    Synthesizing Certified Code. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:431-450 [Conf]
  20. Pramod Gupta, Johann Schumann
    A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 2004, pp:277-278 [Conf]
  21. Ewen Denney, Bernd Fischer, Johann Schumann
    Adding Assurance to Automatically Generated Code. [Citation Graph (0, 0)][DBLP]
    HASE, 2004, pp:297-299 [Conf]
  22. Stacy D. Nelson, Johann Schumann
    What Makes a Code Review Trustworthy? [Citation Graph (0, 0)][DBLP]
    HICSS, 2004, pp:- [Conf]
  23. Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle
    Certification Support for Automatically Generated Programs. [Citation Graph (0, 0)][DBLP]
    HICSS, 2003, pp:337- [Conf]
  24. Jon Whittle, Johann Schumann
    Generating statechart designs from scenarios. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:314-323 [Conf]
  25. Johann Schumann, Yan Liu
    Performance Estimation of a Neural Network-Based Controller. [Citation Graph (0, 0)][DBLP]
    ISNN (2), 2006, pp:981-990 [Conf]
  26. Bernd Fischer, Johann Schumann
    Applying AutoBayes to the Analysis of Planetary Nebulae Images. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:337-342 [Conf]
  27. Johann Schumann, Bernd Fischer
    NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:246-254 [Conf]
  28. Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat
    Amphion/NAV: Deductive Synthesis of State Estimation Software. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:395-399 [Conf]
  29. Manfred R. Jobmann, Johann Schumann
    Modelling and performance Analysis of a Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP]
    MMB, 1991, pp:228-243 [Conf]
  30. Alexander G. Gray, Bernd Fischer, Johann Schumann, Wray L. Buntine
    Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. [Citation Graph (0, 0)][DBLP]
    NIPS, 2002, pp:673-680 [Conf]
  31. Wolfgang Ertel, Johann Schumann, Christian B. Suttner
    Learning Heuristics for a Theorem Prover Using Back Propagation. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1989, pp:87-95 [Conf]
  32. Johann Schumann, Manfred R. Jobmann
    Analysing the Load Balancing Scheme of a Parallel System on Multiprocessors - A Modeling Approach. [Citation Graph (0, 0)][DBLP]
    PARLE, 1994, pp:819-822 [Conf]
  33. Bernd Fischer, Johann Schumann, Thomas Pressburger
    Generating Data Analysis Programs from Statistical Models. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:212-229 [Conf]
  34. Manfred R. Jobmann, Johann Schumann
    Modelling and Performances Analysis of a Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1992, pp:259-260 [Conf]
  35. Johann Schumann
    Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:3- [Conf]
  36. Johann Schumann
    Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:338-352 [Conf]
  37. Stefan Bayerl, Reinhold Letz, Johann Schumann
    PARTHEO: A Parallel Inference Machine. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1989, pp:527-539 [Conf]
  38. Johann Schumann, Stacy D. Nelson
    Toward V&V of neural network based controllers. [Citation Graph (0, 0)][DBLP]
    WOSS, 2002, pp:67-72 [Conf]
  39. Gabriele Scheler, Johann Schumann
    Presynaptic modulation as fast synaptic switching: state-dependent modulation of task performance [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  40. Ewen Denney, Bernd Fischer, Johann Schumann
    An Empirical Evaluation of Automated Theorem Provers in Software Certification. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:81-108 [Journal]
  41. Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel
    SETHEO: A High-Performance Theorem Prover. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:8, n:2, pp:183-212 [Journal]
  42. Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr
    SETHEO and E-SETHEO - The CADE-13 Systems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:237-246 [Journal]
  43. Johann Schumann
    Tableaux-based Theorem Provers: Systems and Implementations. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:3, pp:409-421 [Journal]
  44. Bernd Fischer, Johann Schumann
    AutoBayes: a system for generating data analysis programs from statistical models. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:3, pp:483-508 [Journal]
  45. Johann Schumann
    Verifikation von Authentifikationsprotokollen mit Automatischen Beweisern. [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:48-53 [Journal]
  46. Jon Whittle, Johann Schumann
    Automating the implementation of Kalman filter algorithms. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 2004, v:30, n:4, pp:434-453 [Journal]

  47. Tool Support for Parametric Analysis of Large Software Simulation Systems. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002