Author of the publication

The dlv System: Model Generator and Advanced Frontends (system description).

, , , , , , , , and . WLP, Ludwig Maximilians Universität München, (1997)

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

Cooperation of Smart Objects and Urban Operators for Smart City Applications., , and . UBICITEC, volume 1156 of CEUR Workshop Proceedings, page 41-52. CEUR-WS.org, (2014)Smart Applications for Smart City: a Contribution to Innovation., , , and . EDBT/ICDT Workshops, volume 1133 of CEUR Workshop Proceedings, page 365-366. CEUR-WS.org, (2014)Systemic Risk Modeling and Evaluation through Simulation and Bayesian Networks., , , , , , and . ARES, page 12:1-12:10. ACM, (2017)Extending TETRA with wireless sensor networks., , , , , and . IJIEI, 3 (2/3): 225-243 (2015)Cooperation of Smart Objects and Urban Operators for Smart City Applications., , and . Management of Cyber Physical Objects in the Future Internet of Things, Springer, (2016)Mastering Concept Exploration in Large Industrial Research Projects., , , , , and . CIISE, volume 1300 of CEUR Workshop Proceedings, page 26-37. CEUR-WS.org, (2014)Systemic Risk Analysis Through SE Methods And Techniques., , , , , , and . CIISE, volume 2010 of CEUR Workshop Proceedings, page 101-104. CEUR-WS.org, (2017)Extending GOReM Through the RAMSoS Method for Supporting Modeling and Virtual Evaluation of the Systemic Risk., , , , , , and . CIISE, volume 1728 of CEUR Workshop Proceedings, page 16-25. CEUR-WS.org, (2016)The dlv System: Model Generator and Advanced Frontends (system description)., , , , , , , , and . WLP, Ludwig Maximilians Universität München, (1997)