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)Research of Coal Mine Safety-Production Dispatching Based on Multilayer Petri Net., und . FSKD (2), Seite 332-337. IEEE Computer Society, (2009)Identification and Functional Enrichment Analysis of Potential Diagnostic and Therapeutic Targets in Adamantinomatous Craniopharyngioma., , , , , , , und . J. Comput. Biol., 27 (1): 55-68 (2020)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)A novel digital controller for boost PFC converter with high power factor and fast dynamic response., , , , und . ASICON, Seite 1-4. IEEE, (2013)Intelligent Hybrid Vehicle Power Control - Part II: Online Intelligent Energy Management., , , , , , und . IEEE Trans. Vehicular Technology, 62 (1): 69-79 (2013)Large eddy simulation of turbulent spray flame using regularized deconvolution method, , und . Combustion and Flame, (2019)