Autor der Publikation

Computing bisimulation functions using SOS optimization and δ-decidability over the reals.

, , , und . HSCC, Seite 78-87. ACM, (2015)

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

Quantitative Regular Expressions for Arrhythmia Detection., , , , , und . IEEE ACM Trans. Comput. Biol. Bioinform., 16 (5): 1586-1597 (2019)A Machine Learning Suite for Machine Components' Health-Monitoring., , und . AAAI, Seite 9472-9477. AAAI Press, (2019)A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits., , , , und . ICML, Volume 119 von Proceedings of Machine Learning Research, Seite 4082-4093. PMLR, (2020)Lagrangian Reachtubes: The Next Generation., , , , , und . CDC, Seite 1556-1563. IEEE, (2020)Hybrid Automata as a Unifying Framework for Modeling Excitable Cells., , , , und . EMBC, Seite 4151-4154. IEEE, (2006)CPS/IoT Ecosystem: Indoor Vertical Farming System., , , und . ISCT, Seite 47-52. IEEE, (2019)From MSCS to Statecharts, , , und . Distributed and Parallel Embedded Systems, Volume 25 von IFIP — The International Federation for Information Processing, Springer US, (1999)From MSCs to statecharts, , , und . DIPES '98: Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, Seite 61--71. Norwell, MA, USA, Kluwer Academic Publishers, (1999)Neural Simplex Architecture., , , , , und . NFM, Volume 12229 von Lecture Notes in Computer Science, Seite 97-114. Springer, (2020)NimbleAI: Towards Neuromorphic Sensing-Processing 3D-integrated Chips., , , , , , , , , und 39 andere Autor(en). DATE, Seite 1-6. IEEE, (2023)