Autor der Publikation

A unifying logic for non-deterministic, parallel and concurrent abstract state machines.

, , , und . Ann. Math. Artif. Intell., 83 (3-4): 321-349 (2018)

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

Research on a Distributed Processing Model Based on Kafka for Large-Scale Seismic Waveform Data., , , , , und . IEEE Access, (2020)Road recognition and motion target tracking based on infrared image., , und . Int. J. Wirel. Mob. Comput., 20 (2): 107-119 (2021)Typing Technology of Virtual Character of Animation Based on Enneagram Personality., , und . Trans. Edutainment, (2019)Identification and Functional Enrichment Analysis of Potential Diagnostic and Therapeutic Targets in Adamantinomatous Craniopharyngioma., , , , , , , und . J. Comput. Biol., 27 (1): 55-68 (2020)Research of Coal Mine Safety-Production Dispatching Based on Multilayer Petri Net., und . FSKD (2), Seite 332-337. IEEE Computer Society, (2009)Research and Application of Reinforcement Learning Based on Constraint MDP in Coal Mine., , , und . CSIE (4), Seite 687-691. IEEE Computer Society, (2009)Lip-Reading Based on Deep Learning Model., , und . Trans. Edutainment, (2019)DRETOM: developer recommendation based on topic models for bug resolution., , , und . PROMISE, Seite 19-28. ACM, (2012)Guest editors' introduction., und . Journal of Software: Evolution and Process, 24 (7): 719-720 (2012)On the Predictability of Software Efforts using Machine Learning Techniques., , und . ENASE, Seite 5-14. SciTePress, (2011)