( en | de | ru )

 

Disambiguation of "Policriti, Alberto"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a Logic Programming Tool for Cancer Analysis.

, , and . ICTCS/CILC, volume 1949 of CEUR Workshop Proceedings, page 361-375. CEUR-WS.org, (2017)

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 Rorai

Alberto Pardo

Alberto Fierro

Alberto Ricco

Alberto Moreira

 

Other publications of authors with the same name

Derivability in Locally Quantified Modal Logics via Translation in Set Theory., , and . MFCS, volume 1893 of Lecture Notes in Computer Science, page 559-568. Springer, (2000)A Complete Axiomatic System for a Process-Based Spatial Logic., and . MFCS, volume 5162 of Lecture Notes in Computer Science, page 491-502. Springer, (2008)Computing LZ77 in Run-Compressed Space., and . DCC, page 23-32. IEEE, (2016)Infinity, in short., , and . J. Log. Comput., 22 (6): 1391-1403 (2012)The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability., and . J. Symb. Log., 75 (2): 459-480 (2010)Computing strongly connected components in a linear number of symbolic steps., , and . SODA, page 573-582. ACM/SIAM, (2003)LZ77 Computation Based on the Run-Length Encoded BWT., and . Algorithmica, 80 (7): 1986-2011 (2018)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)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 Fast Bisimulation Algorithm., , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 79-90. Springer, (2001)