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

Scheduling jobs with chain precedence constraints and deteriorating jobs., , und . J. Oper. Res. Soc., 62 (9): 1765-1770 (2011)Towards Formal Interfaces for Web Services with Transactions., , , und . SITIS, Volume 4879 von Lecture Notes in Computer Science, Seite 292-304. Springer, (2006)Verifying automata specification of distributed probabilistic real-time systems., , , , , und . J. Comput. Sci. Technol., 13 (6): 588-596 (1998)Threshold optimization of pseudo-inverse linear discriminants based on overall accuracies., , und . IJCNN, Seite 1-6. IEEE, (2015)Model Checking Suspendible Business Processes via Statechart Diagrams and CSP., , , und . MSVVEIS, Seite 97-107. INSTICC Press, (2006)Reverse Observation Equivalence Between Labelled State Transition Systems., , und . ICTAC, Volume 3407 von Lecture Notes in Computer Science, Seite 204-219. Springer, (2004)Verifying Numerical Programs via Iterative Abstract Testing., , , , und . SAS, Volume 11822 von Lecture Notes in Computer Science, Seite 247-267. Springer, (2019)Static analysis of list-manipulating programs via bit-vectors and numerical abstractions., , , und . SAC, Seite 1204-1210. ACM, (2013)Direct and cell signaling-based, geometry-induced neuronal differentiation of neural stem cells, , , , , , und . Integr. Biol., 3 (12): 1207--1214 (2011)Friends of Hot Jupiters. IV. Stellar companions beyond 50 AU might facilitate giant planet formation, but most are unlikely to cause Kozai-Lidov migration, , , , , , , , , und 4 andere Autor(en). (2016)cite arxiv:1606.07102Comment: accepted for publication in ApJ; 23 pages including 9 figures and 6 tables.