Edit Profile (opens in new tab) Policriti, Alberto Co-Author Distance Author ID: policriti.alberto Published as: Policriti, Alberto; Policriti, A. External Links: MGP Documents Indexed: 102 Publications since 1987, including 2 Books and 1 Additional arXiv Preprint 3 Contributions as Editor Co-Authors: 50 Co-Authors with 104 Joint Publications 1,033 Co-Co-Authors all top 5 Co-Authors 1 single-authored 22 Omodeo, Eugenio Giovanni 17 Piazza, Carla 13 Montanari, Angelo 13 Tomescu, Alexandru Ioan 11 Parlamento, Franco 10 Bortolussi, Luca 8 D’Agostino, Giovanna 8 Dovier, Agostino 7 Gentilini, Raffaella 7 Prezza, Nicola 6 Cantone, Domenico 5 Antoniotti, Marco 4 Formisano, Andrea 4 Peron, Adriano 3 Casagrande, Alberto 2 Alanko, Jarno 2 Cutello, Vincenzo 2 Davis, Martin David 2 García, Luciano 2 Martí, Luis 2 Mishra, Bud 2 Putnam, Hilary Whitehall 2 Rossi, Gianfranco 2 Schwartz, Jacob Theodore 2 Simeoni, Marta 2 Slanina, Matteo 2 Ugel, Nadia 2 van Benthem, Johan F. A. K. 2 Vezzi, Francesco 1 Bhaskara Rao, K. P. S. 1 Calvert, Wesley 1 Dikranjan, Dikran N. 1 Falaschi, Moreno 1 Gigante, Nicola 1 Giordano, Laura 1 Giordano, Laura 1 Harizanov, Valentina S. 1 Kempa, Dominik 1 Marcone, Alberto 1 Mardare, Radu 1 Martincigh, Davide 1 Marzano, Enrico 1 Mishra, Bhubaneswar 1 Mysore, Venkatesh P. 1 Orłowska, Ewa S. 1 Rizzo, Nicola 1 Rotenberg, Eva 1 Shlapentokh, Alexandra 1 Silvetti, Simone 1 Villanueva, Alicia 1 Vitacolonna, Nicola 1 Winkler, Franz all top 5 Serials 6 Theoretical Computer Science 6 Journal of Automated Reasoning 5 Journal of Logic and Computation 4 The Journal of Symbolic Logic 4 Proceedings of the American Mathematical Society 3 Communications on Pure and Applied Mathematics 3 Algorithmica 2 Le Matematiche 2 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 2 Journal of Symbolic Computation 2 Information and Computation 2 Logic Journal of the IGPL 1 Discrete Mathematics 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Notre Dame Journal of Formal Logic 1 Studia Logica 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Annales Societatis Mathematicae Polonae. Series IV 1 MSCS. Mathematical Structures in Computer Science 1 Discrete Event Dynamic Systems 1 International Journal of Computer Mathematics 1 Applicable Algebra in Engineering, Communication and Computing 1 Mathematical Logic Quarterly (MLQ) 1 Constraints 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 Mathematics in Computer Science 1 Ars Mathematica Contemporanea 1 Outstanding Contributions to Logic all top 5 Fields 58 Computer science (68-XX) 55 Mathematical logic and foundations (03-XX) 16 Biology and other natural sciences (92-XX) 8 Combinatorics (05-XX) 4 Systems theory; control (93-XX) 3 History and biography (01-XX) 3 Number theory (11-XX) 3 Operations research, mathematical programming (90-XX) 2 Ordinary differential equations (34-XX) 2 Probability theory and stochastic processes (60-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 79 Publications have been cited 466 times in 288 Documents Cited by ▼ Year ▼ Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001 Bortolussi, Luca; Policriti, Alberto 36 2008 An efficient algorithm for computing bisimulation equivalence. Zbl 1070.68101 Dovier, Agostino; Piazza, Carla; Policriti, Alberto 34 2004 Set theory for computing. From decision procedures to declarative programming with sets. Foreword by Jacob T. Schwartz. Zbl 0981.03056 Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto 30 2001 Computing strongly connected components in a linear number of symbolic steps. Zbl 1092.68716 Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto 28 2003 From bisimulation to simulation: Coarsest partition problems. Zbl 1081.68052 Gentilini, R.; Piazza, C.; Policriti, A. 23 2003 Algorithmic algebraic model checking. I: Challenges from systems biology. Zbl 1081.68056 Piazza, C.; Antoniotti, M.; Mysore, V.; Policriti, A.; Winkler, F.; Mishra, B. 18 2005 Stochastic concurrent constraint programming and differential equations. Zbl 1279.92031 Bortolussi, Luca; Policriti, Alberto 18 2007 Symbolic graphs: Linear solutions to connectivity related problems. Zbl 1203.68039 Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto 16 2008 Regular languages meet prefix sorting. Zbl 07304078 Alanko, Jarno; D’agostino, Giovanna; Policriti, Alberto; Prezza, Nicola 13 2020 LZ77 computation based on the run-length encoded BWT. Zbl 1392.68186 Policriti, Alberto; Prezza, Nicola 10 2018 Hybrid dynamics of stochastic programs. Zbl 1198.68175 Bortolussi, Luca; Policriti, Alberto 8 2010 A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms. Zbl 0930.68042 Dovier, Agostino; Policriti, Alberto; Rossi, Gianfranco 8 1998 A fast bisimulation algorithm. Zbl 0991.68553 Dovier, Agostino; Piazza, Carla; Policriti, Alberto 8 2001 A set-theoretic translation method for polymodal logics. Zbl 0840.03015 D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto 7 1995 Decidability of \(\exists^* \forall\)-sentences in membership theories. Zbl 0836.03011 Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto 7 1996 Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Zbl 1070.68059 Antoniotti, M.; Piazza, C.; Policriti, A.; Simeoni, M.; Mishra, B. 7 2004 The automation of syllogistic. II: Optimization and complexity issues. Zbl 0744.03015 Cantone, D.; Omodeo, E. G.; Policriti, A. 7 1990 Expressing infinity without foundation. Zbl 0744.03051 Parlamento, Franco; Policriti, Alberto 7 1991 The logically simplest form of the infinity axiom. Zbl 0681.03032 Parlamento, Franco; Policriti, Alberto 6 1988 Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability. Zbl 0734.03006 Parlamento, Franco; Policriti, Alberto 6 1991 Modeling cellular behavior with hybrid automata: bisimulation and collapsing. Zbl 1112.92300 Antoniotti, Marco; Mishra, Bhubaneswar; Piazza, Carla; Policriti, Alberto; Simeoni, Marta 6 2003 Modeling concurrent systems specified in a temporal concurrent constraint language. I. Zbl 1263.68118 Falaschi, Moreno; Policriti, Alberto; Villanueva, Alicia 6 2001 An algorithmic account of Ehrenfeucht games on labeled successor structures. Zbl 1143.03353 Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola 5 2005 \(T\)-theorem proving. I. Zbl 0851.68101 Policriti, Alberto; Schwartz, Jacob T. 5 1995 Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case. Zbl 0849.03009 Omodeo, Eugenio G.; Policriti, Alberto 5 1995 Dynamical systems and stochastic programming: to ordinary differential equations and back. Zbl 1260.92020 Bortolussi, Luca; Policriti, Alberto 5 2009 Witnessing differences without redundancies. Zbl 0857.03027 Parlamento, Franco; Policriti, Alberto; Rao, K. P. S. B. 5 1997 On sets and graphs. Perspectives on logic and combinatorics. Zbl 1382.05002 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 5 2017 (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program. Zbl 1272.68289 Bortolussi, Luca; Policriti, Alberto 5 2013 Counting extensional acyclic digraphs. Zbl 1260.05077 Policriti, Alberto; Tomescu, Alexandru I. 5 2011 The importance of being (a little bit) discrete. Zbl 1283.92009 Bortolussi, Luca; Policriti, Alberto 5 2009 The Bernays-Schönfinkel-Ramsey class for set theory: decidability. Zbl 1251.03025 Omodeo, Eugenio; Policriti, Alberto 4 2012 Hybrid dynamics of stochastic \(\pi \)-calculus. Zbl 1205.68238 Bortolussi, Luca; Policriti, Alberto 4 2009 The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. Zbl 1201.03007 Omodeo, Eugenio; Policriti, Alberto 4 2010 Set-theoretic reductions of Hilbert’s tenth problem. Zbl 0925.03045 Cantone, D.; Cutello, V.; Policriti, A. 4 1990 Biconnectivity on symbolically represented graphs: A linear solution. Zbl 1205.05220 Gentilini, Raffaella; Policriti, Alberto 4 2003 Three-variable statements of set-pairing. Zbl 1058.03028 Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto 4 2004 Undecidability results for restricted universally quantified formulae of set theory. Zbl 0797.03005 Parlamento, F.; Policriti, A. 4 1993 Extending Kamp’s theorem to model time granularity. Zbl 1006.03015 Montanari, Angelo; Peron, Adriano; Policriti, Alberto 4 2002 Stochastic programs and hybrid automata for (biological) modeling. Zbl 1268.68059 Bortolussi, Luca; Policriti, Alberto 4 2009 Wheeler languages. Zbl 1518.68162 Alanko, Jarno; D’Agostino, Giovanna; Policriti, Alberto; Prezza, Nicola 4 2021 From LZ77 to the run-length encoded Burrows-Wheeler transform, and back. Zbl 1434.68155 Policriti, Alberto; Prezza, Nicola 4 2017 Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology. Zbl 1180.93071 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto 3 2009 Theories of \(\omega\)-layered metric temporal structures: Expressiveness and decidability. Zbl 0920.03033 Montanari, Angelo; Peron, Adriano; Policriti, Alberto 3 1999 \(T\)-resolution: Refinements and model elimination. Zbl 0929.68112 Formisano, Andrea; Policriti, Alberto 3 1999 Simulation as coarsest partition problem. Zbl 1043.68590 Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto 3 2002 Inclusion dynamics hybrid automata. Zbl 1153.68400 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto; Mishra, Bud 3 2008 Decidability results for metric and layered temporal logics. Zbl 0858.03018 Montanari, Angelo; Policriti, Alberto 3 1996 Modal deduction in second-order logic and set theory. I. Zbl 0873.03021 van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto 3 1997 Martin Davis on computability, computational logic, and mathematical foundations. Zbl 1365.03013 3 2016 Average linear time and compressed space construction of the Burrows-Wheeler transform. Zbl 1451.68102 Policriti, Alberto; Gigante, Nicola; Prezza, Nicola 3 2015 XS-systems: eXtended S-systems and algebraic differential automata for modeling cellular behavior. Zbl 1032.68659 Antoniotti, Marco; Policriti, Alberto; Ugel, Nadia; Mishra, Bud 3 2002 Decision procedures for elementary sublanguages of set theory. IX: Unsolvability of the decision problem for a restricted subclass of the \(\Delta _ 0\) formulas in set theory. Zbl 0632.03009 Parlamento, Franco; Policriti, Alberto 2 1988 Foundations of a query and simulation system for the modeling of biochemical and biological processes. Zbl 1219.92018 Antoniotti, M.; Park, F.; Policriti, A.; Ugel, N.; Mishra, B. 2 2002 Modal deduction in second-order logic and set theory. II. Zbl 0953.03022 van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto 2 1998 The taming (timing) of the states. Zbl 0964.03017 Montanari, Angelo; Peron, Adriano; Policriti, Alberto 2 2000 Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case. Zbl 0936.68025 Dovier, Agostino; Omodeo, Eugenio G.; Policriti, Alberto 2 1999 The axiom of elementary sets on the edge of Peircean expressibility. Zbl 1100.03042 Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto 2 2005 A complete axiomatic system for a process-based spatial logic. Zbl 1173.03307 Mardare, Radu; Policriti, Alberto 2 2008 A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets. Zbl 0796.03009 Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto 2 1993 The decision problem for restricted universal quantification in set theory and the axiom of foundation. Zbl 0794.03016 Parlamento, Franco; Policriti, Alberto 2 1992 Well-quasi-ordering hereditarily finite sets. Zbl 1333.03111 Policriti, Alberto; Tomescu, Alexandru I. 2 2011 Rank-based symbolic bisimulation: (and model checking). Zbl 1261.68084 Dovier, A.; Gentilini, R.; Piazza, C.; Policriti, A. 2 2002 On \(T\) logic programming. Zbl 0944.68022 Dovier, Agostino; Formisano, Andrea; Policriti, Alberto 1 1997 Decidable theories of \(\omega\)-layered metric temporal structures. Zbl 0945.03022 Montanari, Angelo; Peron, Adriano; Policriti, Alberto 1 2000 Statements of ill-founded infinity in set theory. Zbl 1244.03136 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 1 2010 Towards tableau-based decision procedures for non-well-founded fragments of set theory. Zbl 0963.03019 Piazza, Carla; Policriti, Alberto 1 2000 Ackermann encoding, bisimulations and OBDDs. Zbl 1088.68130 Piazza, Carla; Policriti, Alberto 1 2004 Note on “The logically simplest form of the infinity axiom”. Zbl 0694.03031 Parlamento, Franco; Policriti, Alberto 1 1990 Markov chain algorithms for generating sets uniformly at random. Zbl 1341.68138 Policriti, Alberto; Tomescu, Alexandru I. 1 2013 Mapping sets and hypersets into numbers. Zbl 1371.03060 D’Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 1 2015 A set-theoretic translation method for (poly)modal logics. Zbl 1379.03004 D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto 1 1995 Hashing and indexing: succinct data structures and smoothed analysis. Zbl 1432.68101 Policriti, Alberto; Prezza, Nicola 1 2014 Alternative translation techniques for propositional and first-order modal logics. Zbl 1003.03018 Montanari, Angelo; Policriti, Alberto; Slanina, Matteo 1 2002 AppART: An ART hybrid stable learning neural network for universal function approximation. Zbl 1029.68596 Martí, Luis; Policriti, Alberto; García, Luciano 1 2002 Rank and simulation: the well-founded case. Zbl 1328.68147 Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto 1 2015 Well-quasi-ordering hereditarily finite sets. Zbl 1273.05091 Policriti, Alberto; Tomescu, Alexandru I. 1 2013 String attractors: verification and optimization. Zbl 1524.68126 Kempa, Dominik; Policriti, Alberto; Prezza, Nicola; Rotenberg, Eva 1 2018 Infinity, in short. Zbl 1284.03231 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 1 2012 Wheeler languages. Zbl 1518.68162 Alanko, Jarno; D’Agostino, Giovanna; Policriti, Alberto; Prezza, Nicola 4 2021 Regular languages meet prefix sorting. Zbl 07304078 Alanko, Jarno; D’agostino, Giovanna; Policriti, Alberto; Prezza, Nicola 13 2020 LZ77 computation based on the run-length encoded BWT. Zbl 1392.68186 Policriti, Alberto; Prezza, Nicola 10 2018 String attractors: verification and optimization. Zbl 1524.68126 Kempa, Dominik; Policriti, Alberto; Prezza, Nicola; Rotenberg, Eva 1 2018 On sets and graphs. Perspectives on logic and combinatorics. Zbl 1382.05002 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 5 2017 From LZ77 to the run-length encoded Burrows-Wheeler transform, and back. Zbl 1434.68155 Policriti, Alberto; Prezza, Nicola 4 2017 Martin Davis on computability, computational logic, and mathematical foundations. Zbl 1365.03013 3 2016 Average linear time and compressed space construction of the Burrows-Wheeler transform. Zbl 1451.68102 Policriti, Alberto; Gigante, Nicola; Prezza, Nicola 3 2015 Mapping sets and hypersets into numbers. Zbl 1371.03060 D’Agostino, Giovanna; Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 1 2015 Rank and simulation: the well-founded case. Zbl 1328.68147 Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto 1 2015 Hashing and indexing: succinct data structures and smoothed analysis. Zbl 1432.68101 Policriti, Alberto; Prezza, Nicola 1 2014 (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program. Zbl 1272.68289 Bortolussi, Luca; Policriti, Alberto 5 2013 Markov chain algorithms for generating sets uniformly at random. Zbl 1341.68138 Policriti, Alberto; Tomescu, Alexandru I. 1 2013 Well-quasi-ordering hereditarily finite sets. Zbl 1273.05091 Policriti, Alberto; Tomescu, Alexandru I. 1 2013 The Bernays-Schönfinkel-Ramsey class for set theory: decidability. Zbl 1251.03025 Omodeo, Eugenio; Policriti, Alberto 4 2012 Infinity, in short. Zbl 1284.03231 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 1 2012 Counting extensional acyclic digraphs. Zbl 1260.05077 Policriti, Alberto; Tomescu, Alexandru I. 5 2011 Well-quasi-ordering hereditarily finite sets. Zbl 1333.03111 Policriti, Alberto; Tomescu, Alexandru I. 2 2011 Hybrid dynamics of stochastic programs. Zbl 1198.68175 Bortolussi, Luca; Policriti, Alberto 8 2010 The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. Zbl 1201.03007 Omodeo, Eugenio; Policriti, Alberto 4 2010 Statements of ill-founded infinity in set theory. Zbl 1244.03136 Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I. 1 2010 Dynamical systems and stochastic programming: to ordinary differential equations and back. Zbl 1260.92020 Bortolussi, Luca; Policriti, Alberto 5 2009 The importance of being (a little bit) discrete. Zbl 1283.92009 Bortolussi, Luca; Policriti, Alberto 5 2009 Hybrid dynamics of stochastic \(\pi \)-calculus. Zbl 1205.68238 Bortolussi, Luca; Policriti, Alberto 4 2009 Stochastic programs and hybrid automata for (biological) modeling. Zbl 1268.68059 Bortolussi, Luca; Policriti, Alberto 4 2009 Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology. Zbl 1180.93071 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto 3 2009 Modeling biological systems in stochastic concurrent constraint programming. Zbl 1144.92001 Bortolussi, Luca; Policriti, Alberto 36 2008 Symbolic graphs: Linear solutions to connectivity related problems. Zbl 1203.68039 Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto 16 2008 Inclusion dynamics hybrid automata. Zbl 1153.68400 Casagrande, Alberto; Piazza, Carla; Policriti, Alberto; Mishra, Bud 3 2008 A complete axiomatic system for a process-based spatial logic. Zbl 1173.03307 Mardare, Radu; Policriti, Alberto 2 2008 Stochastic concurrent constraint programming and differential equations. Zbl 1279.92031 Bortolussi, Luca; Policriti, Alberto 18 2007 Algorithmic algebraic model checking. I: Challenges from systems biology. Zbl 1081.68056 Piazza, C.; Antoniotti, M.; Mysore, V.; Policriti, A.; Winkler, F.; Mishra, B. 18 2005 An algorithmic account of Ehrenfeucht games on labeled successor structures. Zbl 1143.03353 Montanari, Angelo; Policriti, Alberto; Vitacolonna, Nicola 5 2005 The axiom of elementary sets on the edge of Peircean expressibility. Zbl 1100.03042 Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto 2 2005 An efficient algorithm for computing bisimulation equivalence. Zbl 1070.68101 Dovier, Agostino; Piazza, Carla; Policriti, Alberto 34 2004 Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Zbl 1070.68059 Antoniotti, M.; Piazza, C.; Policriti, A.; Simeoni, M.; Mishra, B. 7 2004 Three-variable statements of set-pairing. Zbl 1058.03028 Formisano, Andrea; Omodeo, Eugenio G.; Policriti, Alberto 4 2004 Ackermann encoding, bisimulations and OBDDs. Zbl 1088.68130 Piazza, Carla; Policriti, Alberto 1 2004 Computing strongly connected components in a linear number of symbolic steps. Zbl 1092.68716 Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto 28 2003 From bisimulation to simulation: Coarsest partition problems. Zbl 1081.68052 Gentilini, R.; Piazza, C.; Policriti, A. 23 2003 Modeling cellular behavior with hybrid automata: bisimulation and collapsing. Zbl 1112.92300 Antoniotti, Marco; Mishra, Bhubaneswar; Piazza, Carla; Policriti, Alberto; Simeoni, Marta 6 2003 Biconnectivity on symbolically represented graphs: A linear solution. Zbl 1205.05220 Gentilini, Raffaella; Policriti, Alberto 4 2003 Extending Kamp’s theorem to model time granularity. Zbl 1006.03015 Montanari, Angelo; Peron, Adriano; Policriti, Alberto 4 2002 Simulation as coarsest partition problem. Zbl 1043.68590 Gentilini, Raffaella; Piazza, Carla; Policriti, Alberto 3 2002 XS-systems: eXtended S-systems and algebraic differential automata for modeling cellular behavior. Zbl 1032.68659 Antoniotti, Marco; Policriti, Alberto; Ugel, Nadia; Mishra, Bud 3 2002 Foundations of a query and simulation system for the modeling of biochemical and biological processes. Zbl 1219.92018 Antoniotti, M.; Park, F.; Policriti, A.; Ugel, N.; Mishra, B. 2 2002 Rank-based symbolic bisimulation: (and model checking). Zbl 1261.68084 Dovier, A.; Gentilini, R.; Piazza, C.; Policriti, A. 2 2002 Alternative translation techniques for propositional and first-order modal logics. Zbl 1003.03018 Montanari, Angelo; Policriti, Alberto; Slanina, Matteo 1 2002 AppART: An ART hybrid stable learning neural network for universal function approximation. Zbl 1029.68596 Martí, Luis; Policriti, Alberto; García, Luciano 1 2002 Set theory for computing. From decision procedures to declarative programming with sets. Foreword by Jacob T. Schwartz. Zbl 0981.03056 Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto 30 2001 A fast bisimulation algorithm. Zbl 0991.68553 Dovier, Agostino; Piazza, Carla; Policriti, Alberto 8 2001 Modeling concurrent systems specified in a temporal concurrent constraint language. I. Zbl 1263.68118 Falaschi, Moreno; Policriti, Alberto; Villanueva, Alicia 6 2001 The taming (timing) of the states. Zbl 0964.03017 Montanari, Angelo; Peron, Adriano; Policriti, Alberto 2 2000 Decidable theories of \(\omega\)-layered metric temporal structures. Zbl 0945.03022 Montanari, Angelo; Peron, Adriano; Policriti, Alberto 1 2000 Towards tableau-based decision procedures for non-well-founded fragments of set theory. Zbl 0963.03019 Piazza, Carla; Policriti, Alberto 1 2000 Theories of \(\omega\)-layered metric temporal structures: Expressiveness and decidability. Zbl 0920.03033 Montanari, Angelo; Peron, Adriano; Policriti, Alberto 3 1999 \(T\)-resolution: Refinements and model elimination. Zbl 0929.68112 Formisano, Andrea; Policriti, Alberto 3 1999 Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case. Zbl 0936.68025 Dovier, Agostino; Omodeo, Eugenio G.; Policriti, Alberto 2 1999 A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms. Zbl 0930.68042 Dovier, Agostino; Policriti, Alberto; Rossi, Gianfranco 8 1998 Modal deduction in second-order logic and set theory. II. Zbl 0953.03022 van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto 2 1998 Witnessing differences without redundancies. Zbl 0857.03027 Parlamento, Franco; Policriti, Alberto; Rao, K. P. S. B. 5 1997 Modal deduction in second-order logic and set theory. I. Zbl 0873.03021 van Benthem, Johan; D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto 3 1997 On \(T\) logic programming. Zbl 0944.68022 Dovier, Agostino; Formisano, Andrea; Policriti, Alberto 1 1997 Decidability of \(\exists^* \forall\)-sentences in membership theories. Zbl 0836.03011 Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto 7 1996 Decidability results for metric and layered temporal logics. Zbl 0858.03018 Montanari, Angelo; Policriti, Alberto 3 1996 A set-theoretic translation method for polymodal logics. Zbl 0840.03015 D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto 7 1995 \(T\)-theorem proving. I. Zbl 0851.68101 Policriti, Alberto; Schwartz, Jacob T. 5 1995 Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case. Zbl 0849.03009 Omodeo, Eugenio G.; Policriti, Alberto 5 1995 A set-theoretic translation method for (poly)modal logics. Zbl 1379.03004 D’Agostino, Giovanna; Montanari, Angelo; Policriti, Alberto 1 1995 Undecidability results for restricted universally quantified formulae of set theory. Zbl 0797.03005 Parlamento, F.; Policriti, A. 4 1993 A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets. Zbl 0796.03009 Omodeo, Eugenio G.; Parlamento, Franco; Policriti, Alberto 2 1993 The decision problem for restricted universal quantification in set theory and the axiom of foundation. Zbl 0794.03016 Parlamento, Franco; Policriti, Alberto 2 1992 Expressing infinity without foundation. Zbl 0744.03051 Parlamento, Franco; Policriti, Alberto 7 1991 Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability. Zbl 0734.03006 Parlamento, Franco; Policriti, Alberto 6 1991 The automation of syllogistic. II: Optimization and complexity issues. Zbl 0744.03015 Cantone, D.; Omodeo, E. G.; Policriti, A. 7 1990 Set-theoretic reductions of Hilbert’s tenth problem. Zbl 0925.03045 Cantone, D.; Cutello, V.; Policriti, A. 4 1990 Note on “The logically simplest form of the infinity axiom”. Zbl 0694.03031 Parlamento, Franco; Policriti, Alberto 1 1990 The logically simplest form of the infinity axiom. Zbl 0681.03032 Parlamento, Franco; Policriti, Alberto 6 1988 Decision procedures for elementary sublanguages of set theory. IX: Unsolvability of the decision problem for a restricted subclass of the \(\Delta _ 0\) formulas in set theory. Zbl 0632.03009 Parlamento, Franco; Policriti, Alberto 2 1988 all cited Publications top 5 cited Publications all top 5 Cited by 396 Authors 36 Policriti, Alberto 18 Cantone, Domenico 18 Omodeo, Eugenio Giovanni 17 Bortolussi, Luca 14 Piazza, Carla 13 Bollig, Beate 13 Hillston, Jane 13 Tomescu, Alexandru Ioan 8 Montanari, Angelo 7 Ćirić, Miroslav D. 7 Dovier, Agostino 7 Parlamento, Franco 6 Galpin, Vashti 6 Ignjatović, Jelena 5 Avron, Arnon 5 Casagrande, Alberto 5 Equi, Massimo 5 Formisano, Andrea 5 Mäkinen, Veli 5 Prezza, Nicola 5 Zarba, Calogero G. 4 Alves Rocha, Thiago 4 Ciocchetta, Federica 4 Falaschi, Moreno 4 Gentilini, Raffaella 4 Gibney, Daniel 4 Martins, Ana Teresa 4 Nicolosi Asmundo, Marianna 4 Olarte, Carlos 4 Pontelli, Enrico 4 Rosone, Giovanna 4 Sciortino, Marinella 4 Thankachan, Sharma V. 4 Wißmann, Thorsten 3 Bartocci, Ezio 3 Bellè, Dorella 3 Beneš, Nikola 3 Boucher, Christina 3 Brim, Luboš 3 Bury, Marc 3 Calder, Muffy 3 D’Agostino, Giovanna 3 Gagie, Travis 3 I, Tomohiro 3 Inenaga, Shunsuke 3 Katoen, Joost-Pieter 3 Larsen, Kim Guldstrand 3 Lipták, Zsuzsanna 3 Manzini, Giovanni 3 Martins Ferreira, Francicleber 3 Maugeri, Pietro 3 Milius, Stefan 3 Pastva, Samuel 3 Pérez, Jorge A. 3 Platzer, André 3 Pröger, Tobias 3 Ranzato, Francesco 3 Rizzi, Romeo 3 Rossi, Gianfranco 3 Rueda, Camilo 3 Šafránek, David 3 Santamaria, Daniele Francesco 3 Schröder, Lutz 3 Stamenković, Aleksandar 3 Stanimirović, Stefan 3 Tinelli, Cesare 3 Valencia, Frank D. 3 Vardi, Moshe Ya’akov 3 Zhang, Lijun 2 Alanko, Jarno 2 Antoniotti, Marco 2 Bannai, Hideo 2 Bansal, Kshitij 2 Barrett, Clark W. 2 Bašić, Milan 2 Bauer, Kerstin 2 Bérard, Béatrice 2 Bloem, Roderick 2 Bradley, Jeremy T. 2 Campagna, Dario 2 Cardelli, Luca 2 Cazaux, Bastien 2 Chiarugi, Davide 2 Clarke, Edmund Melson jun. 2 Corradini, Flavio 2 Cristiá, Maximiliano 2 Damljanović, Nada 2 De Maria, Elisabetta 2 de Rijke, Maarten 2 Degasperi, Andrea 2 Di Berardini, Maria Rita 2 Dorsch, Ulrich 2 Entcheva, Emilia 2 Gille, Marc 2 Giuliani, Sara 2 Gregorio-Rodríguez, Carlos 2 Grosu, Radu 2 Hartmann, Sven 2 Hayden, Richard A. 2 Hermanns, Holger ...and 296 more Authors all top 5 Cited in 53 Serials 47 Theoretical Computer Science 19 Information and Computation 10 Information Processing Letters 10 Journal of Automated Reasoning 8 Algorithmica 6 Fuzzy Sets and Systems 6 The Journal of Symbolic Logic 6 Formal Methods in System Design 6 Logical Methods in Computer Science 5 Formal Aspects of Computing 4 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 4 Fundamenta Informaticae 3 Acta Informatica 3 Communications on Pure and Applied Mathematics 3 Discrete Applied Mathematics 3 Information Sciences 3 Notre Dame Journal of Formal Logic 3 Mathematical Logic Quarterly (MLQ) 2 Journal of Symbolic Computation 2 MSCS. Mathematical Structures in Computer Science 2 International Journal of Foundations of Computer Science 2 Discrete Event Dynamic Systems 2 Constraints 2 Natural Computing 2 Computer Languages, Systems & Structures 2 Journal of Discrete Algorithms 2 Journal of Logical and Algebraic Methods in Programming 1 Discrete Mathematics 1 Chaos, Solitons and Fractals 1 Journal of Computer and System Sciences 1 Proceedings of the American Mathematical Society 1 Studia Logica 1 Synthese 1 New Generation Computing 1 International Journal of Approximate Reasoning 1 Neural Networks 1 International Journal of Computer Mathematics 1 RAIRO. Informatique Théorique et Applications 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Filomat 1 Annals of Mathematics and Artificial Intelligence 1 ACM Transactions on Modeling and Computer Simulation 1 Theory of Computing Systems 1 Soft Computing 1 Theory and Practice of Logic Programming 1 Journal of Applied Logic 1 Nonlinear Analysis. Hybrid Systems 1 The Review of Symbolic Logic 1 ACM Transactions on Algorithms 1 Computer Science Review 1 ISRN Biomathematics 1 Journal of Membrane Computing all top 5 Cited in 22 Fields 223 Computer science (68-XX) 92 Mathematical logic and foundations (03-XX) 53 Biology and other natural sciences (92-XX) 24 Combinatorics (05-XX) 12 Probability theory and stochastic processes (60-XX) 11 Systems theory; control (93-XX) 6 Operations research, mathematical programming (90-XX) 5 Ordinary differential equations (34-XX) 4 Category theory; homological algebra (18-XX) 3 Statistics (62-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 General algebraic systems (08-XX) 2 Number theory (11-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Numerical analysis (65-XX) 1 History and biography (01-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year