Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Backjumping for Quantified Boolean Logic Satisfiability., , and . IJCAI, page 275-281. Morgan Kaufmann, (2001)Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies., , , , and . IROS, page 9841-9848. IEEE, (2021)Introducing Computer Engineering Curriculum to Upper Secondary Students: An Evaluation of Experiences Based on Educational Robotics., , , and . ICALT, page 293-294. IEEE Computer Society, (2016)Automata based test generation with SpecPro., , , and . RET@ICSE, page 13-16. IEEE / ACM, (2019)*SAT, KSATC, DLP and TA: a comparative analysis., , and . Description Logics, volume 22 of CEUR Workshop Proceedings, CEUR-WS.org, (1999)On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper., , , , , , , , , and 3 other author(s). ANT/SEIT, volume 32 of Procedia Computer Science, page 941-946. Elsevier, (2014)More Evaluation of Decision Procedures for Modal Logics., , , and . KR, page 626-635. Morgan Kaufmann, (1998)Computer Intensive Vs. Heuristic Methods In Automated Design Of Elevator Systems., , and . ECMS, page 543-549. European Council for Modeling and Simulation, (2017)Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control., , , and . ECMS, page 310-316. European Council for Modeling and Simulation, (2022)Communications of the ECMS, Volume 36, Issue 1, June 2022.A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems., , , and . ECMS, page 628-634. European Council for Modeling and Simulation, (2016)