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

Consistency Checking of UML Dynamic Models Based on Petri Net Techniques Consistency Checking of UML Dynamic Models Based on Petri Net Techniques, , , und . Computing, 2006. CIC '06. 15th International Conference on, Seite 289--297. (2006)A partitioning algorithm for distributed software systems design., und . Inf. Sci., 38 (2): 165-180 (1986)Component Based Multi-Agent System Modeling and Analysis: A Case Study., , und . Software Engineering Research and Practice, Seite 183-189. CSREA Press, (2007)A Multi-State Bayesian Network for Shill Verification in Online Auctions., , und . SEKE, Seite 279-285. Knowledge Systems Institute Graduate School, (2010)Formal modeling of synchronization methods for concurrent objects in Ada 95., , und . SIGAda, Seite 211-220. ACM, (1999)A Security Based Model for Mobile Agent Software Systems., , und . Int. J. Softw. Eng. Knowl. Eng., 15 (4): 719-746 (2005)Derivation of Petri net models of Ada tasking constructs involving time., und . COMPSAC, Seite 24-31. IEEE, (1989)A Framework for Modeling Agent-Oriented Software., und . ICDCS, Seite 57-64. IEEE Computer Society, (2001)Optimizing Query Injection from Mobile Objects to Sensor Networks., und . ISADS, Seite 196-206. IEEE Computer Society, (2007)An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce., und . ISADS, Seite 11-18. IEEE Computer Society, (2001)