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

An in silico approach for pre-surgical evaluation of an epileptic cortex., , , , und . EMBC, Seite 4884-4887. IEEE, (2014)Automated Assume-Guarantee Reasoning for Simulation Conformance., , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 534-547. Springer, (2005)Alternate and Learn: Finding Witnesses without Looking All over., , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 599-615. Springer, (2012)Assume-Guarantee Reasoning for Deadlock., und . FMCAD, Seite 134-144. IEEE Computer Society, (2006)Responsive designs in a snap., und . ESEC/SIGSOFT FSE, Seite 544-554. ACM, (2015)EEG hyperscanning study of inter-brain synchrony during cooperative and competitive interaction., , , , und . SMC, Seite 4813-4818. IEEE, (2016)Quantum Algorithms Related to \textitHN -Transforms of Boolean Functions., , , und . C2SI, Volume 10194 von Lecture Notes in Computer Science, Seite 314-327. Springer, (2017)Simplifying Web Programming., , und . ISEC, Seite 80-89. ACM, (2015)Learn to Bind and Grow Neural Structures., und . CoRR, (2020)SAT-Based Compositional Verification Using Lazy Learning., und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 39-54. Springer, (2007)