The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alberto Policriti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  60. TEA: a Transposable Elements Annotator. [Citation Graph (, )][DBLP]


  61. Stochastic Programs and Hybrid Automata for (Biological) Modeling. [Citation Graph (, )][DBLP]


  62. Systems Biology: Models and Logics. [Citation Graph (, )][DBLP]


  63. BuST-Bundled Suffix Trees. [Citation Graph (, )][DBLP]


  64. A Complete Axiomatic System for a Process-Based Spatial Logic. [Citation Graph (, )][DBLP]


  65. Hybrid Systems and Biology. [Citation Graph (, )][DBLP]


  66. Hybrid Semantics for Stochastic pi-Calculus. [Citation Graph (, )][DBLP]


  67. Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps. [Citation Graph (, )][DBLP]


  68. GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies. [Citation Graph (, )][DBLP]


  69. A Randomized Numerical Aligner (rNA). [Citation Graph (, )][DBLP]


  70. Symbolic Graphs: Linear Solutions to Connectivity Related Problems. [Citation Graph (, )][DBLP]


  71. Automated FingerPrint Background removal: FPB. [Citation Graph (, )][DBLP]


  72. Modeling Biological Systems in Stochastic Concurrent Constraint Programming. [Citation Graph (, )][DBLP]


  73. Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration [Citation Graph (, )][DBLP]


  74. The Importance of Being (A Little Bit) Discrete. [Citation Graph (, )][DBLP]


Search in 0.570secs, Finished in 0.574secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002