Author of the publication

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

NatureTime: Temporal Granularity in Simulation of Ecosystems., , and . J. Symb. Comput., 22 (5/6): 665-698 (1996)Self-Organized Inductive Reasoning with NeMuS., and . NeSy@IJCAI, (2019)Representing Interaction of Agents at Different Time Granularities., and . TIME, page 72-79. IEEE Computer Society, (1996)Analysis of the secure RTP protocol on voice over wireless networks using extended MedQoS., , and . SAC, page 86-87. ACM, (2009)VeriAgent: an Approach to Integrating UML and Formal Verification Tools., , , , , and . WMF, volume 95 of Electronic Notes in Theoretical Computer Science, page 111-129. Elsevier, (2003)Cyclical and Granular Time Theories as Subsets of the Herbrand Universe.. KR, page 366-377. Morgan Kaufmann, (2000)On-Chip Property Verification Using Assertion Processors., , , , , , and . VLSI-SoC (Selected Papers), volume 200 of IFIP, page 101-117. Springer, (2003)Reasoning about the Temporal Aspects of Interacting Agents.. TIME, page 57-62. IEEE Computer Society, (2001)Efficient Predicate Invention using Shared NeMuS., , , and . NeSy@IJCAI, (2019)Incremental Bounded Model Checking of Artificial Neural Networks in CUDA., , , , and . SBESC, page 1-8. IEEE, (2019)