Author of the publication

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

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Research of Coal Mine Safety-Production Dispatching Based on Multilayer Petri Net., and . FSKD (2), page 332-337. IEEE Computer Society, (2009)Research and Application of Reinforcement Learning Based on Constraint MDP in Coal Mine., , , and . CSIE (4), page 687-691. IEEE Computer Society, (2009)Road recognition and motion target tracking based on infrared image., , and . Int. J. Wirel. Mob. Comput., 20 (2): 107-119 (2021)Application of Large Language Models in Drug-Induced Osteotoxicity Prediction., , , , , , , , and . J. Chem. Inf. Model., 65 (7): 3370-3379 (2025)Line drawing in virtual reality using a game pad., , , and . AUIC, volume 50 of CRPIT, page 177-180. Australian Computer Society, (2006)Influencing factors of defect removal: an empirical study based on industrial data., , , and . ESEM, ACM, (2010)A wireless system with stimulation and recording capabilities for interfacing peripheral nerves in rodents., , , , , , and . EMBC, page 4439-4442. IEEE, (2016)Performance Comparison of Real and Complex Valued Neural Networks for Digital Self-Interference Cancellation., , and . ICCT, page 1193-1199. IEEE, (2019)Deriving Relation Keys from XML Keys., , , , and . ADC, volume 17 of CRPIT, page 227-235. Australian Computer Society, (2003)Uncertainty modeling and analysis of surface area calculation based on a regular grid digital elevation model (DEM)., , , and . Int. J. Geogr. Inf. Sci., 32 (9): 1837-1859 (2018)