Author of the publication

Generalized Counters and Reversal Complexity.

. Int. J. Found. Comput. Sci., 19 (6): 1403-1412 (2008)

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

Generalized Counters and Reversal Complexity.. Int. J. Found. Comput. Sci., 19 (6): 1403-1412 (2008)Probabilistic Model Checking of Incomplete Models., and . CoRR, (2017)A polynomial time parallel algorithm for graph isomorphism using a quasipolynomial number of processors., , and . CoRR, (2020)Traveling Agents and Indirect Epidemic Transmission., and . KES-AMSTA, volume 241 of Smart Innovation, Systems and Technologies, page 371-383. Springer, (2021)Interference automata.. Theor. Comput. Sci., 403 (1): 89-103 (2008)Traffic Intersections as Agents: A model checking approach for analysing communicating agents., , , and . SAC, page 109-118. ACM, (2023)EpiStrat: A Tool for Comparing Strategies for Tackling Urban Epidemic Outbreaks., , and . ICSH, volume 10347 of Lecture Notes in Computer Science, page 256-267. Springer, (2017)Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems., and . PRIMA, volume 12568 of Lecture Notes in Computer Science, page 420-427. Springer, (2020)Development of Scheduler for Real Time and Embedded System Domain., , , and . AINA Workshops, page 1-6. IEEE Computer Society, (2008)Statistical Model Checking for Probabilistic Temporal Epistemic Logics., and . ICAART (1), page 53-63. SCITEPRESS, (2022)