Search results for: Johann Schumann
Formal Methods in System Design > 2017 > 51 > 1 > 31-61
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Modeling and Execution > 148-162
Studies in Computational Intelligence > Applications of Neural Networks in High Assurance Systems > 1-19
Lecture Notes in Computer Science > Advances in Neural Networks - ISNN 2006 > Control Systems > 981-990
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 338-352
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Short Abstracts of Invited Lectures > 3-3
Lecture Notes in Computer Science > Automated Deduction—CADE-18 > CASC > 290-294
Lecture Notes in Computer Science > Semantics, Applications, and Implementation of Program Generation > Position Papers > 212-229
Studies in Computational Intelligence
Innovations in Systems and Software Engineering > 2013 > 9 > 4 > 271-292