Edit Profile (opens in new tab) Pettorossi, Alberto Co-Author Distance Author ID: pettorossi.alberto Published as: Pettorossi, Alberto; Pettorossi, A. Documents Indexed: 99 Publications since 1975, including 1 Book 10 Contributions as Editor Reviewing Activity: 74 Reviews Co-Authors: 31 Co-Authors with 88 Joint Publications 793 Co-Co-Authors all top 5 Co-Authors 21 single-authored 60 Proietti, Maurizio 34 Fioravanti, Fabio 22 De Angelis, Emanuele 16 Senni, Valerio 10 Skowron, Andrzej 8 Labella, Anna 2 Gavanelli, Marco 2 Hermenegildo, Manuel V. 2 Kasangian, Stefano 2 Meo, Maria Chiara 1 Ancona, Davide 1 Asmundo, Marianna Nicolosic 1 Batini, Carlo 1 Błażewicz, Jacek 1 Burstall, Rod M. 1 Cantone, Domenico 1 Fiorentini, Camillo 1 Formisano, Andrea 1 Gallagher, John P. 1 Giordano, Laura 1 Gliozzi, Valentina 1 Krempa, Jan 1 López-García, Pedro 1 Mancini, Toni 1 Maratea, Marco 1 Mascardi, Viviana 1 Momigliano, Alberto 1 Palacios, Adrian G. 1 Pozzato, Gian Luca 1 Renault, Sophie 1 Riguzzi, Fabrizio all top 5 Serials 16 Fundamenta Informaticae 9 Theory and Practice of Logic Programming 4 Annales Societatis Mathematicae Polonae. Series IV 3 The Journal of Logic Programming 2 BIT 2 Theoretical Computer Science 2 Formal Aspects of Computing 2 Higher-Order and Symbolic Computation 2 Lecture Notes in Computer Science 1 Acta Informatica 1 Information Processing Letters 1 Foundations of Control Engineering 1 Notre Dame Journal of Formal Logic 1 ACM Transactions on Programming Languages and Systems 1 Computers and Artificial Intelligence 1 Parallel Computing 1 Journal of Information Processing and Cybernetics 1 Journal of Logic and Computation 1 Seminarbericht, Humboldt-Universität zu Berlin, Sektion Mathematik 1 Undergraduate Topics in Computer Science all top 5 Fields 106 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 10 General and overarching topics; collections (00-XX) 6 Category theory; homological algebra (18-XX) 2 General algebraic systems (08-XX) 2 Number theory (11-XX) 2 Operations research, mathematical programming (90-XX) 1 History and biography (01-XX) 1 Associative rings and algebras (16-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 64 Publications have been cited 211 times in 120 Documents Cited by ▼ Year ▼ Transformation of logic programs: Foundations and techniques. Zbl 0942.68528 Pettorossi, Alberto; Proietti, Maurizio 26 1994 Solving Horn clauses on inductive data types without induction. Zbl 1451.68172 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 13 2018 Unfolding–definition–folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0873.68023 Proietti, Maurizio; Pettorossi, Alberto 10 1995 Transformation of logic programs. Zbl 0900.68141 Pettorossi, A.; Proietti, M. 9 1998 Synthesis and transformation of logic programs using unfold/fold proofs. Zbl 0944.68024 Pettorossi, Alberto; Proietti, Maurizio 8 1999 Proving correctness of imperative programs by linearizing constrained Horn clauses. Zbl 1379.68093 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 8 2015 Derivation of an \(O(k^ 2\log n)\) algorithm for computing order-k Fibonacci numbers from the \(O(k^ 3\log n)\) matrix multiplication method. Zbl 0509.68032 Pettorossi, Alberto 7 1980 Transformation rules for locally stratified constraint logic programs. Zbl 1080.68010 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 6 2004 The loop absorption and the generalization strategies for the development of logic programs and partial deduction. Zbl 0778.68025 Proietti, Maurizio; Pettorossi, Alberto 6 1993 Synthesis of eureka predicates for developing logic programs. Zbl 0765.68141 Proietti, Maurizio; Pettorossi, Alberto 5 1990 Generalization strategies for the verification of infinite state systems. Zbl 1267.68080 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 5 2013 Relational verification through Horn clause transformation. Zbl 1394.68227 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 5 2016 Enriched categories for local and interaction calculi. Zbl 0639.68023 Kasangian, Stefano; Labella, Anna; Pettorossi, Alberto 4 1987 On subrecursiveness in weak combinatory logic. Zbl 0332.02033 Batini, Carlo; Pettorossi, Alberto 4 1975 Unfolding definition folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0789.68019 Proietti, Maurizio; Pettorossi, Alberto 4 1991 Verifying array programs by transforming verification conditions. Zbl 1428.68182 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 4 2014 Program derivation \(=\) rules \(+\) strategies. Zbl 1012.68033 Pettorossi, Alberto; Proietti, Maurizio 4 2002 Satisfiability of constrained Horn clauses on algebraic data types: a transformation-based approach. Zbl 07486296 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 4 2022 Removing algebraic data types from constrained Horn clauses using difference predicates. Zbl 07614508 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 4 2020 The lambda abstraction strategy for program derivation. Zbl 0686.68014 Pettorossi, Alberto; Skowron, Andrzej 3 1989 Predicate pairing for program verification. Zbl 1478.68153 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 3 2018 Transformation rules for logic programs with goals as arguments. Zbl 0964.68015 Pettorossi, Alberto; Proietti, Maurizio 3 2000 Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique. Zbl 0474.68008 Pettorossi, A.; Burstall, R. M. 3 1982 Perfect model checking via unfold/fold transformations. Zbl 0983.68041 Pettorossi, Alberto; Proietti, Maurizio 3 2000 Towers of Hanoi problems: deriving iterative solutions by program transformations. Zbl 0581.68016 Pettorossi, Alberto 3 1985 Program verification using constraint handling rules and array constraint generalizations. Zbl 1374.68113 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 3 2017 Analysis and transformation of constrained Horn clauses for program verification. Zbl 07776353 De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio 3 2022 Controlling polyvariance for specialization-based verification. Zbl 1268.68110 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 3 2013 Some properties of binary sequences useful for proving Collatz’s conjecture. Zbl 0547.10006 Błażewicz, Jacek; Pettorossi, Alberto 2 1983 Deciding full branching time logic by program transformation. Zbl 1284.68413 Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 2 2010 Transformations of logic programs with goals as arguments. Zbl 1085.68022 Pettorossi, Alberto; Proietti, Maurizio 2 2004 Comparing and putting together recursive path ordering, simplification orderings and non-ascending property for termination proofs of term rewriting systems. Zbl 0475.68011 Pettorossi, Alberto 2 1981 Higher order generalization in program derivation. Zbl 0614.68009 Pettorossi, Alberto; Skowron, Andrzej 2 1987 Categorical models of process cooperation. Zbl 0618.68023 Labella, A.; Pettorossi, A. 2 1986 A rule-based verification strategy for array manipulating programs. Zbl 1348.68131 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 2 2015 Automated strategies for specializing constraint logic programs. Zbl 1018.68502 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 2 2001 The list introduction strategy for the derivation of logic programs. Zbl 1001.68020 Pettorossi, Alberto; Proietti, Maurizio 2 2002 The transformational approach to program development. Zbl 1285.68035 Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 2 2010 Improving reachability analysis of infinite state systems by specialization. Zbl 1279.68209 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 2 2012 Constraint-based correctness proofs for logic program transformations. Zbl 1259.68036 Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 2 2012 Derivation of efficient programs for computing sequences of actions. Zbl 0628.68016 Pettorossi, Alberto 1 1987 Program development using lambda abstraction. Zbl 0636.68014 Pettorossi, Alberto 1 1987 Proving properties of constraint logic programs by eliminating existential variables. Zbl 1131.68389 Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 1 2006 Totally correct logic program transformations via well-founded annotations. Zbl 1194.68095 Pettorossi, Alberto; Proietti, Maurizio 1 2008 Verification of sets of infinite state processes using program transformation. Zbl 1073.68693 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 1 2002 A folding algorithm for eliminating existential variables from constraint logic programs. Zbl 1185.68184 Senni, Valerio; Pettorossi, Alberto; Proietti, Maurizio 1 2008 Automatic correctness proofs for logic program transformations. Zbl 1213.68207 Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 1 2007 Categorical models for handshaking communications. Zbl 0584.68072 Labella, Anna; Pettorossi, Alberto 1 1985 Transformation strategies for deriving on line programs. Zbl 0589.68010 Pettorossi, Alberto 1 1986 Combinators as tree transducers. Zbl 0364.94033 Pettorossi, Alberto 1 1977 A property which guarantees termination in weak combinatory logic and subtree replacement systems. Zbl 0416.03015 Pettorossi, Alberto 1 1981 On the definition of hierarchies of infinite sequential computations. Zbl 0419.68077 Pettorossi, Alberto 1 1979 Synthesis of subtree rewriting systems behaviour by solving equations. Zbl 0452.68057 Pettorossi, Alberto 1 1980 An abstract strategy for transforming logic programs. Zbl 0788.68026 Proietti, Maurizio; Pettorossi, Alberto 1 1993 Program specialization for verifying infinite state systems: an experimental evaluation. Zbl 1326.68184 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 1 2011 Verification of time-aware business processes using constrained Horn clauses. Zbl 1485.68149 De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio 1 2017 Proving properties of sorting programs: a case study in Horn clause verification. Zbl 1483.68189 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 1 2019 Semantics and controllability of time-aware business processes. Zbl 1412.68148 De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio 1 2019 Specialization with constrained generalization for software model checking. Zbl 1394.68072 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 1 2013 Proving theorems by program transformation. Zbl 1315.03019 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 1 2013 Transformations of logic programs on infinite lists. Zbl 1209.68096 Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 1 2010 Verifying catamorphism-based contracts using constrained Horn clauses. Zbl 07595325 De Angelis, Emanuele; Proietti, Maurizio; Fioravanti, Fabio; Pettorossi, Alberto 1 2022 Predicate pairing with abstraction for relational verification. Zbl 1508.68058 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 1 2018 Synthesizing concurrent programs using answer set programming. Zbl 1256.68035 De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio 1 2012 Satisfiability of constrained Horn clauses on algebraic data types: a transformation-based approach. Zbl 07486296 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 4 2022 Analysis and transformation of constrained Horn clauses for program verification. Zbl 07776353 De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio 3 2022 Verifying catamorphism-based contracts using constrained Horn clauses. Zbl 07595325 De Angelis, Emanuele; Proietti, Maurizio; Fioravanti, Fabio; Pettorossi, Alberto 1 2022 Removing algebraic data types from constrained Horn clauses using difference predicates. Zbl 07614508 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 4 2020 Proving properties of sorting programs: a case study in Horn clause verification. Zbl 1483.68189 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 1 2019 Semantics and controllability of time-aware business processes. Zbl 1412.68148 De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio 1 2019 Solving Horn clauses on inductive data types without induction. Zbl 1451.68172 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 13 2018 Predicate pairing for program verification. Zbl 1478.68153 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 3 2018 Predicate pairing with abstraction for relational verification. Zbl 1508.68058 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 1 2018 Program verification using constraint handling rules and array constraint generalizations. Zbl 1374.68113 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 3 2017 Verification of time-aware business processes using constrained Horn clauses. Zbl 1485.68149 De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio 1 2017 Relational verification through Horn clause transformation. Zbl 1394.68227 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 5 2016 Proving correctness of imperative programs by linearizing constrained Horn clauses. Zbl 1379.68093 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 8 2015 A rule-based verification strategy for array manipulating programs. Zbl 1348.68131 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 2 2015 Verifying array programs by transforming verification conditions. Zbl 1428.68182 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 4 2014 Generalization strategies for the verification of infinite state systems. Zbl 1267.68080 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 5 2013 Controlling polyvariance for specialization-based verification. Zbl 1268.68110 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 3 2013 Specialization with constrained generalization for software model checking. Zbl 1394.68072 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 1 2013 Proving theorems by program transformation. Zbl 1315.03019 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 1 2013 Improving reachability analysis of infinite state systems by specialization. Zbl 1279.68209 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 2 2012 Constraint-based correctness proofs for logic program transformations. Zbl 1259.68036 Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 2 2012 Synthesizing concurrent programs using answer set programming. Zbl 1256.68035 De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio 1 2012 Program specialization for verifying infinite state systems: an experimental evaluation. Zbl 1326.68184 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 1 2011 Deciding full branching time logic by program transformation. Zbl 1284.68413 Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 2 2010 The transformational approach to program development. Zbl 1285.68035 Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 2 2010 Transformations of logic programs on infinite lists. Zbl 1209.68096 Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 1 2010 Totally correct logic program transformations via well-founded annotations. Zbl 1194.68095 Pettorossi, Alberto; Proietti, Maurizio 1 2008 A folding algorithm for eliminating existential variables from constraint logic programs. Zbl 1185.68184 Senni, Valerio; Pettorossi, Alberto; Proietti, Maurizio 1 2008 Automatic correctness proofs for logic program transformations. Zbl 1213.68207 Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 1 2007 Proving properties of constraint logic programs by eliminating existential variables. Zbl 1131.68389 Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio 1 2006 Transformation rules for locally stratified constraint logic programs. Zbl 1080.68010 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 6 2004 Transformations of logic programs with goals as arguments. Zbl 1085.68022 Pettorossi, Alberto; Proietti, Maurizio 2 2004 Program derivation \(=\) rules \(+\) strategies. Zbl 1012.68033 Pettorossi, Alberto; Proietti, Maurizio 4 2002 The list introduction strategy for the derivation of logic programs. Zbl 1001.68020 Pettorossi, Alberto; Proietti, Maurizio 2 2002 Verification of sets of infinite state processes using program transformation. Zbl 1073.68693 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 1 2002 Automated strategies for specializing constraint logic programs. Zbl 1018.68502 Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 2 2001 Transformation rules for logic programs with goals as arguments. Zbl 0964.68015 Pettorossi, Alberto; Proietti, Maurizio 3 2000 Perfect model checking via unfold/fold transformations. Zbl 0983.68041 Pettorossi, Alberto; Proietti, Maurizio 3 2000 Synthesis and transformation of logic programs using unfold/fold proofs. Zbl 0944.68024 Pettorossi, Alberto; Proietti, Maurizio 8 1999 Transformation of logic programs. Zbl 0900.68141 Pettorossi, A.; Proietti, M. 9 1998 Unfolding–definition–folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0873.68023 Proietti, Maurizio; Pettorossi, Alberto 10 1995 Transformation of logic programs: Foundations and techniques. Zbl 0942.68528 Pettorossi, Alberto; Proietti, Maurizio 26 1994 The loop absorption and the generalization strategies for the development of logic programs and partial deduction. Zbl 0778.68025 Proietti, Maurizio; Pettorossi, Alberto 6 1993 An abstract strategy for transforming logic programs. Zbl 0788.68026 Proietti, Maurizio; Pettorossi, Alberto 1 1993 Unfolding definition folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0789.68019 Proietti, Maurizio; Pettorossi, Alberto 4 1991 Synthesis of eureka predicates for developing logic programs. Zbl 0765.68141 Proietti, Maurizio; Pettorossi, Alberto 5 1990 The lambda abstraction strategy for program derivation. Zbl 0686.68014 Pettorossi, Alberto; Skowron, Andrzej 3 1989 Enriched categories for local and interaction calculi. Zbl 0639.68023 Kasangian, Stefano; Labella, Anna; Pettorossi, Alberto 4 1987 Higher order generalization in program derivation. Zbl 0614.68009 Pettorossi, Alberto; Skowron, Andrzej 2 1987 Derivation of efficient programs for computing sequences of actions. Zbl 0628.68016 Pettorossi, Alberto 1 1987 Program development using lambda abstraction. Zbl 0636.68014 Pettorossi, Alberto 1 1987 Categorical models of process cooperation. Zbl 0618.68023 Labella, A.; Pettorossi, A. 2 1986 Transformation strategies for deriving on line programs. Zbl 0589.68010 Pettorossi, Alberto 1 1986 Towers of Hanoi problems: deriving iterative solutions by program transformations. Zbl 0581.68016 Pettorossi, Alberto 3 1985 Categorical models for handshaking communications. Zbl 0584.68072 Labella, Anna; Pettorossi, Alberto 1 1985 Some properties of binary sequences useful for proving Collatz’s conjecture. Zbl 0547.10006 Błażewicz, Jacek; Pettorossi, Alberto 2 1983 Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique. Zbl 0474.68008 Pettorossi, A.; Burstall, R. M. 3 1982 Comparing and putting together recursive path ordering, simplification orderings and non-ascending property for termination proofs of term rewriting systems. Zbl 0475.68011 Pettorossi, Alberto 2 1981 A property which guarantees termination in weak combinatory logic and subtree replacement systems. Zbl 0416.03015 Pettorossi, Alberto 1 1981 Derivation of an \(O(k^ 2\log n)\) algorithm for computing order-k Fibonacci numbers from the \(O(k^ 3\log n)\) matrix multiplication method. Zbl 0509.68032 Pettorossi, Alberto 7 1980 Synthesis of subtree rewriting systems behaviour by solving equations. Zbl 0452.68057 Pettorossi, Alberto 1 1980 On the definition of hierarchies of infinite sequential computations. Zbl 0419.68077 Pettorossi, Alberto 1 1979 Combinators as tree transducers. Zbl 0364.94033 Pettorossi, Alberto 1 1977 On subrecursiveness in weak combinatory logic. Zbl 0332.02033 Batini, Carlo; Pettorossi, Alberto 4 1975 all cited Publications top 5 cited Publications all top 5 Cited by 180 Authors 22 Pettorossi, Alberto 20 Proietti, Maurizio 14 Fioravanti, Fabio 13 De Angelis, Emanuele 6 Gallagher, John P. 4 Er, Mingcheng 4 Kobayashi, Naoki 4 Labella, Anna 4 Senni, Valerio 4 Vidal, Germán 3 Fedyukovich, Grigory 3 Kafle, Bishoksan 3 Kasangian, Stefano 3 Moreno, Ginés 3 Sato, Ryosuke 3 Seki, Hirohisa 2 Alpuente, María 2 Comini, Marco 2 Drabent, Włodzimierz 2 Ernst, Gidon 2 Falaschi, Moreno 2 Ganty, Pierre 2 Gergatsoulis, Manolis 2 Glück, Robert 2 Gori, Roberta 2 Hermenegildo, Manuel V. 2 Levi, Giorgio 2 Limet, Sébastien 2 Martí-Oliet, Narciso 2 Nagashima, Masanori 2 Nishida, Naoki 2 Pontelli, Enrico 2 Rubio, Rubén 2 Rümmer, Philipp 2 Sakai, Masahiko 2 Salzer, Gernot 2 Toni, Francesca 2 Vanhoof, Wim 2 Verdejo, Alberto 2 Yernaux, Gonzague 1 Afrati, Foto N. 1 Akama, Kiyoshi 1 Al Ameen, Mahmudul Faisal 1 Alaya, Jilani 1 Anderson, Penny 1 Atia, Mohamed Jalel 1 Bain, Michael E. 1 Ballis, Demis 1 Basin, David A. 1 Bensaou, N. 1 Bhagyanath, Anoop 1 Bjørner, Nikolaj S. 1 Bodhuin, Thierry 1 Boulanger, Dmitri 1 Bouras, Belgacem 1 Bruynooghe, Maurice 1 Buruiană, Andrei Sebastian 1 Canal, Richard 1 Cañete-Valdeón, José M. 1 Champion, Adrien 1 Chernigovskaia, Lidiia 1 Chiba, Tomoya 1 Chin, Wei-Ngan 1 Ciobâcă, Ştefan 1 Cook, Byron 1 Cornish, J. Robert M. 1 Correa, Francisco José 1 Cropper, Andrew 1 Cuenca Grau, Bernardo 1 Dahlem, Marc 1 de Dios Castro, Javier 1 De Schreye, Danny 1 Dershowitz, Nachum 1 Dezani-Ciancaglini, Mariangiola 1 Doménech, Jesús J. 1 Dovier, Agostino 1 Ducassé, Mireille 1 Durieux, Jean-Louis 1 Eker, Steven 1 Esen, Zafer 1 Etalle, Sandro 1 Fernandes, João Paulo 1 Formisano, Andrea 1 Gabbrielli, Maurizio 1 Galán, Francisco J. 1 Gange, Graeme 1 Genaim, Samir 1 Gibbons, Jeremy 1 Gries, David 1 Guerrero, Juan Antonio 1 Guessarian, Irène 1 Gupta, Aarti 1 Gupta, Gopal 1 Gurfinkel, Arie 1 Gutiérrez, Raúl 1 Hagiya, Masami 1 Hinz, Andreas M. 1 Hojjat, Hossein 1 Inoue, Katsumi 1 Jahier, Erwan ...and 80 more Authors all top 5 Cited in 31 Serials 15 Theory and Practice of Logic Programming 11 Theoretical Computer Science 5 Information Processing Letters 5 Journal of Automated Reasoning 4 Journal of Logical and Algebraic Methods in Programming 3 Journal of Symbolic Computation 3 Higher-Order and Symbolic Computation 2 Artificial Intelligence 2 Information Sciences 2 Journal of Pure and Applied Algebra 2 RAIRO, Informatique Théorique 2 Journal of Information & Optimization Sciences 2 Information and Computation 2 Formal Aspects of Computing 2 Machine Learning 2 Formal Methods in System Design 1 Acta Informatica 1 Applied Mathematics and Computation 1 Fuzzy Sets and Systems 1 International Journal of Mathematics and Mathematical Sciences 1 Notre Dame Journal of Formal Logic 1 Software. Practice & Experience 1 RAIRO. Informatique Théorique et Applications 1 Applied Categorical Structures 1 Journal of Applied Non-Classical Logics 1 Journal of Functional Programming 1 Constraints 1 Journal of Machine Learning Research (JMLR) 1 JP Journal of Algebra, Number Theory and Applications 1 ACM Transactions on Computational Logic 1 Modelirovanie i Analiz Informatsionnykh Sistem all top 5 Cited in 11 Fields 113 Computer science (68-XX) 21 Mathematical logic and foundations (03-XX) 9 Number theory (11-XX) 5 Category theory; homological algebra (18-XX) 3 Numerical analysis (65-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Difference and functional equations (39-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) Citations by Year