Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego., , , , , und . Models, Algorithms, Logics and Tools, Volume 10460 von Lecture Notes in Computer Science, Seite 603-622. Springer, (2017)The ENCOURAGE ICT architecture for heterogeneous smart grids., , , , , , , , , und 6 andere Autor(en). EUROCON, Seite 1383-1390. IEEE, (2013)Validating Timed Component Contracts., , , , und . EUROMICRO-SEAA, Seite 245-249. IEEE Computer Society, (2015)To Do and Not to Do: Constrained Scenarios for Safe Smart House., , , und . Intelligent Environments, Seite 17-24. IEEE, (2015)A method for model checking feature interactions, , , und . 2015 10th International Joint Conference on Software Technologies (ICSOFT), 1, Seite 1--10. IEEE, (2015)Bitcoin Oracle Contracts: Discreet Log Contracts in Practice., , und . ICBC, Seite 1-8. IEEE, (2022)A Toolchain for Home Automation Controller Development., , , , , , und . EUROMICRO-SEAA, Seite 122-129. IEEE Computer Society, (2013)Model Checking Feature Interactions., , , , und . ICSOFT (Selected Papers), Volume 586 von Communications in Computer and Information Science, Seite 307-325. Springer, (2015)HomePort: Middleware for heterogeneous home automation networks., , , , und . PerCom Workshops, Seite 627-633. IEEE Computer Society, (2013)ENCOURAGEing results on ICT for energy efficient buildings., , , , , , , , , und 1 andere Autor(en). ETFA, Seite 1-8. IEEE, (2016)