( en | de | ru )

 

Disambiguation of "Policriti, Alberto"

Author of the publication

copydeleteadd this publication to your clipboard
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology.

, , , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 5-19. Springer, (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.

Alberto Moreira

Alberto Fierro

Alberto Botti

Alberto Moreira

Alberto Pompermaier

 

Other publications of authors with the same name

Ackermann Encoding, Bisimulations, and OBDDs., and . Theory Pract. Log. Program., 4 (5-6): 695-718 (2004)Adding the power-set to description logics., and . Theor. Comput. Sci., (2020)Fast randomized approximate string matching with succinct hash data structures., and . BMC Bioinform., 16 (S-9): S4 (2015)Deciding modal logics using tableaux and set theory., and . APPIA-GULP-PRODE, page 261-276. Departamento de Informática, Universidade de Évora, (2001)Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes., , , , and . Pacific Symposium on Biocomputing, page 116-127. (2003)Decidability Results for Metric and Layered Temporal Logics., and . Notre Dame J. Formal Log., 37 (2): 260-282 (1996)String Attractors: Verification and Optimization., , , and . ESA, volume 112 of LIPIcs, page 52:1-52:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)GAM-NGS: genomic assemblies merger for next generation sequencing., , , , and . BMC Bioinform., 14 (S-7): S6 (2013)The Decision Problem for Restricted Universal Quantification in Set Theory and the Axiom of Foundation., and . Math. Log. Q., 38 (1): 143-156 (1992)Three-variable statements of set-pairing., , and . Theor. Comput. Sci., 322 (1): 147-173 (2004)