( en | de | ru )

 

Disambiguation of "Policriti, Alberto"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling concurrent systems specified in a temporal concurrent constraint language-I.

, , and . APPIA-GULP-PRODE, volume 48 of Electronic Notes in Theoretical Computer Science, page 197-210. Elsevier, (2001)

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.

Alberto Fierro

Alberto Moreira

Alberto Coda

Alberto Ricco

Alberto Moreira

 

Other publications of authors with the same name

Infinity, in short., , and . J. Log. Comput., 22 (6): 1391-1403 (2012)Computing strongly connected components in a linear number of symbolic steps., , and . SODA, page 573-582. ACM/SIAM, (2003)The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability., and . J. Symb. Log., 75 (2): 459-480 (2010)LZ77 Computation Based on the Run-Length Encoded BWT., and . Algorithmica, 80 (7): 1986-2011 (2018)Obituary of Martin Davis (1928-2023)., , and . IEEE Ann. Hist. Comput., 45 (1): 93-94 (January 2023)Modal Deduction in Second-Order Logic and Set Theory - II., , , and . Stud Logica, 60 (2): 387-420 (1998)From Bisimulation to Simulation: Coarsest Partition Problems., , and . J. Autom. Reason., 31 (1): 73-103 (2003)Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing., , , , and . CMSB, volume 2602 of Lecture Notes in Computer Science, page 57-74. Springer, (2003)A Computerized Referee., , , and . Reasoning, Action and Interaction in AI Theories and Systems, volume 4155 of Lecture Notes in Computer Science, page 117-139. Springer, (2006)Simulation as Coarsest Partition Problem., , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 415-430. Springer, (2002)