Author of the publication

Specifying the memorization process with STOPA.

, , and . IEEE ICCI, page 238-247. IEEE Computer Society, (2005)

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

NMSPA: A Non-Markovian Model for Stochastic Processes., and . ICDCS Workshop on Distributed System Validation and Verification, page E33-E40. (2000)Implementing private Vickrey auctions., and . SAC, page 796-800. ACM, (2005)Connecting CS1 with Student's Careers Through Multidisciplinary Projects. Case of Study: Material Selection Following the Ashby Methodology., , , , and . ICAI, volume 1051 of Communications in Computer and Information Science, page 313-326. Springer, (2019)Specifying the memorization process with STOPA., , and . IEEE ICCI, page 238-247. IEEE Computer Society, (2005)A Testing Theory for Generally Distributed Stochastic Processes., and . CONCUR, volume 2154 of Lecture Notes in Computer Science, page 321-335. Springer, (2001)The Problems of Selecting Problems., , , and . IWANN (2), volume 11507 of Lecture Notes in Computer Science, page 760-772. Springer, (2019)Encouraging knowledge exchange in discussion forums by market-oriented mechanisms., , , and . SAC, page 952-956. ACM, (2004)Stochastic Process Algebras Meet Eden., , and . IFM, volume 2335 of Lecture Notes in Computer Science, page 29-48. Springer, (2002)A Formal Method for Parallel Genetic Algorithms1., , , and . ICCS, volume 51 of Procedia Computer Science, page 2698-2702. Elsevier, (2015)A Formal Environment for Describing Negotiation Capabilities., , and . IEEE ICCI, page 222-231. IEEE Computer Society, (2007)