dblp.uni-trier.dewww.uni-trier.de

Alberto Policriti Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
76 Cristian Del Fabbro, Michele Morgante, Alberto Policriti, Nicola Vitacolonna: TEA: a Transposable Elements Annotator. BIOCOMP 2009: 528-525
75EELuca Bortolussi, Alberto Policriti: Stochastic Programs and Hybrid Automata for (Biological) Modeling. CiE 2009: 37-48
74EESimone Scalabrin, Michele Morgante, Alberto Policriti: Automated FingerPrint Background removal: FPB. BMC Bioinformatics 10: (2009)
73EELuca Bortolussi, Alberto Policriti: Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration CoRR abs/0910.1406: (2009)
72EELuca Bortolussi, Alberto Policriti: The Importance of Being (A Little Bit) Discrete. Electr. Notes Theor. Comput. Sci. 229(1): 75-92 (2009)
71EELuca Bortolussi, Alberto Policriti: Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back. T. Comp. Sys. Biology 11: 216-267 (2009)
2008
70EELuca Bortolussi, Alberto Policriti: Hybrid Semantics for Stochastic pi-Calculus. AB 2008: 40-55
69EECarla Piazza, Alberto Policriti: Systems Biology: Models and Logics. ICLP 2008: 14
68EERadu Mardare, Alberto Policriti: A Complete Axiomatic System for a Process-Based Spatial Logic. MFCS 2008: 491-502
67EELuca Bortolussi, Alberto Policriti: Hybrid Systems and Biology. SFM 2008: 424-448
66EERaffaella Gentilini, Carla Piazza, Alberto Policriti: Symbolic Graphs: Linear Solutions to Connectivity Related Problems. Algorithmica 50(1): 120-158 (2008)
65EELuca Bortolussi, Alberto Policriti: Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Constraints 13(1-2): 66-90 (2008)
64EEAlberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra: Inclusion dynamics hybrid automata. Inf. Comput. 206(12): 1394-1424 (2008)
2007
63EELuca Bortolussi, Simone Fonda, Alberto Policriti: Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps. BIBM 2007: 288-293
62EELuca Bortolussi, Alberto Policriti: Stochastic Concurrent Constraint Programming and Differential Equations. Electr. Notes Theor. Comput. Sci. 190(3): 27-42 (2007)
2006
61EELuca Bortolussi, Francesco Fabris, Alberto Policriti: BuST-Bundled Suffix Trees. IFIP TCS 2006: 91-102
60EEEugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz: A Computerized Referee. Reasoning, Action and Interaction in AI Theories and Systems 2006: 117-139
2005
59EECarla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra: Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. CAV 2005: 5-19
58EEAngelo Montanari, Alberto Policriti, Nicola Vitacolonna: An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. LPAR 2005: 139-153
57EEMichele Morgante, Alberto Policriti, Nicola Vitacolonna, Andrea Zuccolo: Structured Motifs Search. Journal of Computational Biology 12(8): 1065-1082 (2005)
2004
56EEAlberto Policriti, Nicola Vitacolonna, Michele Morgante, Andrea Zuccolo: Structured motifs search. RECOMB 2004: 133-139
55 Carla Piazza, Alberto Policriti: Ackermann Encoding, Bisimulations, and OBDDs. TPLP 4(5-6): 695-718 (2004)
54EEAgostino Dovier, Carla Piazza, Alberto Policriti: An efficient algorithm for computing bisimulation equivalence. Theor. Comput. Sci. 311(1-3): 221-256 (2004)
53EEAndrea Formisano, Eugenio G. Omodeo, Alberto Policriti: Three-variable statements of set-pairing. Theor. Comput. Sci. 322(1): 147-173 (2004)
52EEMarco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra: Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theor. Comput. Sci. 325(1): 45-67 (2004)
2003
51EEMarco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni: Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. CMSB 2003: 57-74
50EERaffaella Gentilini, Alberto Policriti: Biconnectivity on Symbolically Represented Graphs: A Linear Solution. ISAAC 2003: 554-564
49EEMarco Antoniotti, F. Park, Alberto Policriti, Nadia Ugel, Bud Mishra: Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes. Pacific Symposium on Biocomputing 2003: 116-127
48EEEugenio G. Omodeo, Ewa Orlowska, Alberto Policriti: Rasiowa-Sikorski Style Relational Elementary Set Theory. RelMiCS 2003: 215-226
47EERaffaella Gentilini, Carla Piazza, Alberto Policriti: Computing strongly connected components in a linear number of symbolic steps. SODA 2003: 573-582
46EEEnrico Marzano, Angelo Montanari, Alberto Policriti: Binary Extensions of S1S and the Composition Method. Verification: Theory and Practice 2003: 626-644
45EECarla Piazza, Alberto Policriti: Ackermann Encoding, Bisimulations, and OBDDs CoRR cs.LO/0311018: (2003)
44EERaffaella Gentilini, Carla Piazza, Alberto Policriti: From Bisimulation to Simulation: Coarsest Partition Problems. J. Autom. Reasoning 31(1): 73-103 (2003)
2002
43EEMarco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra: XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. HiPC 2002: 431-442
42EERaffaella Gentilini, Carla Piazza, Alberto Policriti: Simulation as Coarsest Partition Problem. TACAS 2002: 415-430
41EEAgostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti: Rank-Based Symbolic Bisimulation (and Model Checking). Electr. Notes Theor. Comput. Sci. 67: (2002)
40EERaffaella Gentilini, Carla Piazza, Alberto Policriti: Simulation Reduction as Constraint. Electr. Notes Theor. Comput. Sci. 76: (2002)
39 Angelo Montanari, Alberto Policriti, Matteo Slanina: Alternative Translation Techniques for Propositional and First-Order Modal Logics. J. Autom. Reasoning 28(5): 397-415 (2002)
38EEAngelo Montanari, Adriano Peron, Alberto Policriti: Extending Kamp's Theorem to Model Time Granularity. J. Log. Comput. 12(4): 641-677 (2002)
2001
37EEAgostino Dovier, Carla Piazza, Alberto Policriti: A Fast Bisimulation Algorithm. CAV 2001: 79-90
36 Luis Marti, Alberto Policriti, Luciano Garcia: AppART: An ART Hybrid Stable Learning Neural Network for Universal Function Approximation. HIS 2001: 93-119
35EEMoreno Falaschi, Alberto Policriti, Alicia Villanueva: Modeling concurrent systems specified in a temporal concurrent constraint language-I. Electr. Notes Theor. Comput. Sci. 48: (2001)
2000
34 Agostino Dovier, Carla Piazza, Alberto Policriti: Comparing Expressiveness of Set Constructor Symbols. FroCos 2000: 275-289
33 Angelo Montanari, Alberto Policriti, Matteo Slanina: Supporting automated deduction in first-order modal logics. KR 2000: 547-556
32EEAngelo Montanari, Alberto Policriti, Matteo Slanina: Derivability in Locally Quantified Modal Logics via Translation in Set Theory. MFCS 2000: 559-568
31 Carla Piazza, Alberto Policriti: Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory. TABLEAUX 2000: 368-382
30EEAngelo Montanari, Adriano Peron, Alberto Policriti: The Taming (Timing) of the States. Logic Journal of the IGPL 8(5): (2000)
1999
29 Agostino Dovier, Carla Piazza, Alberto Policriti: Comparing expressiveness of set constructor symbols. APPIA-GULP-PRODE 1999: 151-166
28EEAgostino Dovier, Eugenio G. Omodeo, Alberto Policriti: Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case. Appl. Algebra Eng. Commun. Comput. 9(4): 293-332 (1999)
27 Andrea Formisano, Alberto Policriti: T-Resolution: Refinements and Model Elimination. J. Autom. Reasoning 22(4): 433-483 (1999)
26EEAngelo Montanari, Alberto Policriti, Yde Venema: Editorial. Logic Journal of the IGPL 7(1): 5-6 (1999)
25EEAngelo Montanari, Adriano Peron, Alberto Policriti: Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. Logic Journal of the IGPL 7(1): 79-102 (1999)
1998
24 Agostino Dovier, Alberto Policriti, Gianfranco Rossi: A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms. Fundam. Inform. 36(2-3): 201-234 (1998)
23 Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti: Modal Deduction in Second-Order Logic and Set Theory - II. Studia Logica 60(2): 387-420 (1998)
1997
22 Moreno Falaschi, Marisa Navarro, Alberto Policriti: 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997 APPIA-GULP-PRODE 1997
21 Agostino Dovier, Andrea Formisano, Alberto Policriti: On T Logic Programming. APPIA-GULP-PRODE 1997: 457-466
20 Agostino Dovier, Alberto Policriti: Set domains for structural properties of terms. APPIA-GULP-PRODE 1997: 93-104
19 Angelo Montanari, Alberto Policriti: A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. IJCAI (1) 1997: 196-201
18 Agostino Dovier, Andrea Formisano, Alberto Policriti: On T Logic Programming. ILPS 1997: 323-337
17 Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti: Modal Deduction in Second-Order Logic and Set Theory - I. J. Log. Comput. 7(2): 251-265 (1997)
1996
16 Agostino Dovier, Alberto Policriti, Gianfranco Rossi: Integrating Lists, Multisets, and Sets in a Logic Programming Framework. Frontiers of Combining Systems (FroCos) 1996: 303-319
15EEDikran Dikranjan, Alberto Policriti: Complementation in the lattice of equivalence relations. Discrete Mathematics 159(1-3): 83-94 (1996)
14 Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti: Decidability of exist*forall-Sentences in Membership Theories. Math. Log. Q. 42: 41-58 (1996)
13 Angelo Montanari, Alberto Policriti: Decidability Results for Metric and Layered Temporal Logics. Notre Dame Journal of Formal Logic 37(2): 260-282 (1996)
1995
12EEGiovanna D'Agostino, Angelo Montanari, Alberto Policriti: A Set-Theoretic Translation Method for (Poly)modal Logics. STACS 1995: 217-228
11 Giovanna D'Agostino, Angelo Montanari, Alberto Policriti: A Set-Theoretic Translation Method for Polymodal Logics. J. Autom. Reasoning 15(3): 317-337 (1995)
10 Alberto Policriti, Jacob T. Schwartz: T-Theorem Proving I. J. Symb. Comput. 20(3): 315-342 (1995)
1994
9 Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi: Solving Systems of Equations over Hypersets. GULP-PRODE (1) 1994: 403-417
1993
8EEEugenio G. Omodeo, Alberto Policriti: Decision Procedures for Set/Hyperset Contexts. DISCO 1993: 192-215
7 Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi: Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica? GULP 1993: 55-70
6 Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti: A Derived Algorithm for Evaluating \varepsilon-Expressions over Abstract Sets. J. Symb. Comput. 15(5/6): 673-704 (1993)
1991
5 Franco Parlamento, Alberto Policriti: Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability. J. Autom. Reasoning 7(2): 271-284 (1991)
4 Franco Parlamento, Alberto Policriti: Expressing Infinity Without Foundation. J. Symb. Log. 56(4): 1230-1235 (1991)
1990
3 Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti: Truth Tables for a Combinatorial Kernel of Set Theories. ECAI 1990: 485-490
2 Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti: The Automation of Syllogistic. J. Autom. Reasoning 6(2): 173-187 (1990)
1989
1EEDomenico Cantone, Vincenzo Cutello, Alberto Policriti: Set-Theoretic Reductions of Hilbert's Tenth Problem. CSL 1989: 65-75

Coauthor Index

1Marco Antoniotti [43] [49] [51] [52] [59]
2Johan van Benthem [17] [23]
3Luca Bortolussi [61] [62] [63] [65] [67] [70] [71] [72] [73] [75]
4Domenico Cantone [1] [2] [60]
5Alberto Casagrande [64]
6Vincenzo Cutello [1]
7Giovanna D'Agostino [11] [12] [17] [23]
8Dikran Dikranjan [15]
9Agostino Dovier [9] [16] [18] [20] [21] [24] [28] [29] [34] [37] [41] [54]
10Cristian Del Fabbro [76]
11Francesco Fabris [61]
12Moreno Falaschi [22] [35]
13Simone Fonda [63]
14Andrea Formisano [18] [21] [27] [53]
15Luciano Garcia [36]
16Raffaella Gentilini [40] [41] [42] [44] [47] [50] [66]
17Radu Mardare [68]
18Luis Marti [36]
19Enrico Marzano [46]
20Bud Mishra (Bhubaneswar Mishra) [43] [49] [51] [52] [59] [64]
21Angelo Montanari [11] [12] [13] [17] [19] [23] [25] [26] [30] [32] [33] [38] [39] [46] [58]
22Michele Morgante [56] [57] [74] [76]
23Venkatesh Mysore [59]
24Marisa Navarro [22]
25Eugenio G. Omodeo [2] [3] [6] [7] [8] [9] [14] [28] [48] [53] [60]
26Ewa Orlowska [48]
27F. Park [49]
28Franco Parlamento [3] [4] [5] [6] [14]
29Adriano Peron [25] [30] [38]
30Carla Piazza [29] [31] [34] [37] [40] [41] [42] [44] [45] [47] [51] [52] [54] [55] [59] [64] [66] [69]
31Gianfranco Rossi [7] [9] [16] [24]
32Simone Scalabrin [74]
33Jacob T. Schwartz [10] [60]
34Marta Simeoni [51] [52]
35Matteo Slanina [32] [33] [39]
36Nadia Ugel [43] [49]
37Yde Venema [26]
38Alicia Villanueva [35]
39Nicola Vitacolonna [56] [57] [58] [76]
40Franz Winkler [59]
41Andrea Zuccolo [56] [57]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)