Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Maurizio Proietti

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/AngelisFPP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/AngelisFPP23
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Multiple Query Satisfiability of Constrained Horn Clauses. PADL 2023: 125-143
2022
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AngelisFPP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AngelisFPP22
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach. J. Log. Comput. 32(2): 402-442 (2022)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/AngelisPFP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/AngelisPFP22
Emanuele De Angelis, Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi:
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. Theory Pract. Log. Program. 22(4): 555-572 (2022)
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/AngelisFGHPP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/AngelisFGHPP22
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti:
Analysis and Transformation of Constrained Horn Clauses for Program Verification. Theory Pract. Log. Program. 22(6): 974-1042 (2022)
[c86]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-12228
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-12228
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Contract Strengthening through Constrained Horn Clause Verification. HCVS/VPT@ETAPS 2022: 23-34
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/22/ProiettiTS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/22/ProiettiTS22
Maurizio Proietti, Francesco Taglino, Fabrizio Smith:
QuBPAL: Querying Business Process Knowledge. Process Querying Methods 2022: 255-284
[e4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-10675
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-10675
Geoffrey William Hamilton, Temesghen Kahsai, Maurizio Proietti:
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification and Program TransformationMunich, Germany, 3rd April 2022. EPTCS 373, 2022 [contents]
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-06236
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-06236
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. CoRR abs/2205.06236 (2022)
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-15207
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-15207
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Multiple Query Satisfiability of Constrained Horn Clauses. CoRR abs/2211.15207 (2022)
2021
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FelliMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FelliMP21
Paolo Felli, Marco Montali, Maurizio Proietti:
Preface. Fundam. Informaticae 178(4) (2021)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CasagrandeOP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CasagrandeOP21
Alberto Casagrande, Eugenio G. Omodeo, Maurizio Proietti:
Preface. Fundam. Informaticae 181(1) (2021)
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Angelis0P21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Angelis0P21
Emanuele De Angelis, Alessandro Pellegrini, Maurizio Proietti:
Automatic Extraction of Behavioral Features for Test Program Similarity Analysis. ISSRE Workshops 2021: 129-136
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/sose/AngelisAPP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sose/AngelisAPP21
Emanuele De Angelis, Guglielmo De Angelis, Alessandro Pellegrini, Maurizio Proietti:
Inferring Relations Among Test Programs in Microservices Applications. SOSE 2021: 114-123
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-00739
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-00739
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti:
Analysis and Transformation of Constrained Horn Clauses for Program Verification. CoRR abs/2108.00739 (2021)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-11819
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-11819
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach. CoRR abs/2111.11819 (2021)
2020
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FioravantiGP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FioravantiGP20
Fabio Fioravanti, John P. Gallagher, Maurizio Proietti:
Preface. Fundam. Informaticae 173(4) (2020)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/HermenegildoLPP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/HermenegildoLPP20
Manuel V. Hermenegildo, Pedro López-García, Alberto Pettorossi, Maurizio Proietti:
Preface. Fundam. Informaticae 177(3-4) (2020)
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/AngelisFPP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/AngelisFPP20
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates. IJCAR (1) 2020: 83-102
[c82]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-02934
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02934
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti:
Transformational Verification of Quicksort. VPT/HCVS@ETAPS 2020: 95-109
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-07749
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-07749
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates. CoRR abs/2004.07749 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AngelisFMPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AngelisFMPP19
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Semantics and Controllability of Time-Aware Business Processes. Fundam. Informaticae 165(3-4): 205-244 (2019)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/AngelisFPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/AngelisFPP19
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM. Theory Pract. Log. Program. 19(4): 629 (2019)
[c81]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/AngelisFPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/AngelisFPP19
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. CILC 2019
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/AngelisFPPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/AngelisFPPP19
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti:
Property-Based Test Case Generators for Free. TAP@FM 2019: 186-206
[c79]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-07188
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-07188
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study. VPT@Programming 2019: 4-18
[c78]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1907-03999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-03999
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. HCVS/PERR@ETAPS 2019: 48-75
2018
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/AngelisFPP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/AngelisFPP18
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Predicate Pairing for program verification. Theory Pract. Log. Program. 18(2): 126-166 (2018)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/AngelisFPP18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/AngelisFPP18a
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Solving Horn Clauses on Inductive Data Types Without Induction. Theory Pract. Log. Program. 18(3-4): 452-469 (2018)
[c77]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1809-04770
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-04770
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti:
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs. HCVS 2018: 19-26
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-09007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-09007
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Solving Horn Clauses on Inductive Data Types Without Induction. CoRR abs/1804.09007 (2018)
2017
[j34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ProiettiSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ProiettiSW17
Maurizio Proietti, Hirohisa Seki, Jim Woodcock:
Editorial. Formal Aspects Comput. 29(1): 1-2 (2017)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AngelisFPP17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AngelisFPP17a
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. Fundam. Informaticae 150(1): 73-117 (2017)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AngelisFPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AngelisFPP17
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Semantics-based generation of verification conditions via program specialization. Sci. Comput. Program. 147: 78-108 (2017)
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AngelisFPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AngelisFPP17
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Predicate Pairing with Abstraction for Relational Verification. LOPSTR 2017: 289-305
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/AngelisFMPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/AngelisFMPP17
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Verifying Controllability of Time-Aware Business Processes. RuleML+RR 2017: 103-118
[e3]
- view
- export record
  dblp key:
  - journals/corr/abs-1708-06887
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-06887
Alexei Lisitsa, Andrei P. Nemytykh, Maurizio Proietti:
Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 253, 2017 [contents]
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/PettorossiP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PettorossiP17
Alberto Pettorossi, Maurizio Proietti:
Regularity of non context-free languages over a singleton terminal alphabet. CoRR abs/1705.09695 (2017)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-01473
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-01473
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Predicate Pairing for Program Verification. CoRR abs/1708.01473 (2017)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-04809
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-04809
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Enhancing Predicate Pairing with Abstraction for Relational Verification. CoRR abs/1709.04809 (2017)
2016
[c74]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/AngelisFPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/AngelisFPP16
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verifying Relational Program Properties by Transforming Constrained Horn clauses. CILC 2016: 69-85
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AngelisFMPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AngelisFMPP16
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Verification of Time-Aware Business Processes Using Constrained Horn Clauses. LOPSTR 2016: 38-55
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/AngelisFPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/AngelisFPP16
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Relational Verification Through Horn Clause Transformation. SAS 2016: 147-169
[c71]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AngelisFPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AngelisFPP16
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Removing Unnecessary Variables from Horn Clause Verification Conditions. HCVS@ETAPS 2016: 49-55
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AngelisFMPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AngelisFMPP16
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti:
Verification of Time-Aware Business Processes using Constrained Horn Clauses. CoRR abs/1608.02807 (2016)
2015
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AngelisFPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AngelisFPP15
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
A Rule-based Verification Strategy for Array Manipulating Programs. Fundam. Informaticae 140(3-4): 329-355 (2015)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/FioravantiPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/FioravantiPS15
Fabio Fioravanti, Maurizio Proietti, Valerio Senni:
Efficient generation of test data structures using constraint logic programming and program transformation. J. Log. Comput. 25(6): 1263-1283 (2015)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/AngelisFPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/AngelisFPP15
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving correctness of imperative programs by linearizing constrained Horn clauses. Theory Pract. Log. Program. 15(4-5): 635-650 (2015)
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/AngelisFPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/AngelisFPP15
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Semantics-based generation of verification conditions by program specialization. PPDP 2015: 91-102
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2014
Maurizio Proietti, Hirohisa Seki:
Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8981, Springer 2015, ISBN 978-3-319-17821-9 [contents]
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AngelisFPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AngelisFPP15
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses. CoRR abs/1507.05877 (2015)
2014
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AngelisFPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AngelisFPP14
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Program verification via iterated specialization. Sci. Comput. Program. 95: 149-175 (2014)
[c69]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AngelisFPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AngelisFPP14
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. VPT@CAV 2014: 3-18
[c68]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/AngelisFPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/AngelisFPP14
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Program Verification using Constraint Handling Rules and Array Constraint Generalizations. CILC 2014: 114-131
[c67]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/simpda/SmithP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/simpda/SmithP14
Fabrizio Smith, Maurizio Proietti:
Reasoning on Data-Aware Business Processes with Constraint Logic. SIMPDA 2014: 60-75
[c66]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AngelisFPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AngelisFPP14
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
VeriMAP: A Tool for Verifying Programs through Transformations. TACAS 2014: 568-574
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AngelisFPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AngelisFPP14
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verifying Array Programs by Transforming Verification Conditions. VMCAI 2014: 182-202
[c64]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AngelisFNP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AngelisFNP14
Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti:
Verification of Programs by Combining Iterated Specialization with Interpolation. HCVS 2014: 3-18
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SmithP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SmithP14
Fabrizio Smith, Maurizio Proietti:
Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach. CoRR abs/1410.1776 (2014)
2013
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FioravantiPPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FioravantiPPS13
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Controlling Polyvariance for Specialization-based Verification. Fundam. Informaticae 124(4): 483-502 (2013)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FioravantiPPS13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FioravantiPPS13a
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Proving Theorems by Program Transformation. Fundam. Informaticae 127(1-4): 115-134 (2013)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/ijismd/DiamantiniPPSST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijismd/DiamantiniPPSST13
Claudia Diamantini, Domenico Potena, Maurizio Proietti, Fabrizio Smith, Emanuele Storti, Francesco Taglino:
A Semantic Framework for Knowledge Management in Virtual Innovation Factories. Int. J. Inf. Syst. Model. Des. 4(4): 70-92 (2013)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/FioravantiPPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/FioravantiPPS13
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Generalization strategies for the verification of infinite state systems. Theory Pract. Log. Program. 13(2): 175-199 (2013)
[c63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/PettorossiP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PettorossiP13
Alberto Pettorossi, Maurizio Proietti:
Program Transformation for Program Verification. VPT@CAV 2013: 13-14
[c62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AngelisFPP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AngelisFPP13
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Imperative Programs through Transformation of Constraint Logic Programs. VPT@CAV 2013: 30-41
[c61]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/AngelisFPP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/AngelisFPP13
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Imperative Programs by Transforming Constraint Logic Programs. CILC 2013: 83-98
[c60]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/SmithSP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/SmithSP13
Fabrizio Smith, Dario De Sanctis, Maurizio Proietti:
A Platform for Managing Business Process Knowledge Bases via Logic Programming. CILC 2013: 247-251
[c59]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icaart/SmithP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/SmithP13
Fabrizio Smith, Maurizio Proietti:
Rule-based Behavioral Reasoning on Semantic Business Processes. ICAART (2) 2013: 130-143
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/SmithP13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/SmithP13a
Fabrizio Smith, Maurizio Proietti:
Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework. ICAART (Revised Selected Papers) 2013: 293-313
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/AngelisFPP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/AngelisFPP13
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verifying programs via iterated specialization. PEPM 2013: 43-52
[c56]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AngelisFPP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AngelisFPP13
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Imperative Programs by Constraint Logic Program Transformation. Festschrift for Dave Schmidt 2013: 186-210
2012
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/PettorossiPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/PettorossiPS12
Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Constraint-based correctness proofs for logic program transformations. Formal Aspects Comput. 24(4-6): 569-594 (2012)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/FioravantiPPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FioravantiPPS12
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Improving Reachability Analysis of Infinite State Systems by Specialization. Fundam. Informaticae 119(3-4): 281-300 (2012)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AngelisPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AngelisPP12
Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti:
Synthesizing Concurrent Programs Using Answer Set Programming. Fundam. Informaticae 120(3-4): 205-229 (2012)
[c55]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/caise/TaglinoSP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/TaglinoSP12
Francesco Taglino, Fabrizio Smith, Maurizio Proietti:
Knowledge-Based Support to Business Innovation. NGEBIS 2012: 37-44
[c54]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/AngelisFPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/AngelisFPP12
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi:
Software Model Checking by Program Specialization. CILC 2012: 89-103
[c53]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/invit/TaglinoSP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/invit/TaglinoSP12
Francesco Taglino, Fabrizio Smith, Maurizio Proietti:
A Software Platform for Semantics-based Enterprise Knowledge Management. INVIT 2012: 43-50
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AngelisFPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AngelisFPP12
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Specialization with Constrained Generalization for Software Model Checking. LOPSTR 2012: 51-70
2011
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ia/FioravantiPPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ia/FioravantiPPS11
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Program transformation for development, verification, and synthesis of programs. Intelligenza Artificiale 5(1): 119-125 (2011)
[c51]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/FioravantiPPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/FioravantiPPS11
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Controlling Polyvariance for Specialization-based Verification. CILC 2011: 179-197
[c50]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/AngelisPP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/AngelisPP11
Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti:
Synthesizing Concurrent Programs using Answer Set Programming. CILC 2011: 245-259
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/dexa/MissikoffPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexa/MissikoffPS11
Michele Missikoff, Maurizio Proietti, Fabrizio Smith:
Querying Semantically Enriched Business Processes. DEXA (2) 2011: 294-302
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/FioravantiPPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/FioravantiPPS11
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Using Real Relaxations during Program Specialization. LOPSTR 2011: 106-122
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/FioravantiPPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/FioravantiPPS11
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Improving Reachability Analysis of Infinite State Systems by Specialization. RP 2011: 165-179
[c46]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sebd/MissikoffPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/MissikoffPS11
Michele Missikoff, Maurizio Proietti, Fabrizio Smith:
Querying Business Processes and Ontologies in a Logic Programming Environment (Extended Abstract). SEBD 2011: 303-
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1110-0999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-0999
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Generalization Strategies for the Verification of Infinite State Systems. CoRR abs/1110.0999 (2011)
2010
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/PettorossiSP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/PettorossiSP10
Alberto Pettorossi, Valerio Senni, Maurizio Proietti:
Transformations of logic programs on infinite lists. Theory Pract. Log. Program. 10(4-6): 383-399 (2010)
[c45]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/FioravantiPPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/FioravantiPPS10
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Generalization Strategies for the Verification of Infinite State Systems. CILC 2010
[c44]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/PettorossiPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/PettorossiPS10
Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
A Transformation Strategy for Verifying Logic Programs on Infinite Lists. CILC 2010
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/dexa/NicolaMPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexa/NicolaMPS10
Antonio De Nicola, Michele Missikoff, Maurizio Proietti, Fabrizio Smith:
An Open Platform for Business Process Modeling and Verification. DEXA (1) 2010: 76-90
[c42]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/invit/MissikoffPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/invit/MissikoffPS10
Michele Missikoff, Maurizio Proietti, Fabrizio Smith:
Reasoning on Business Processes and Ontologies in a Logic Programming Environment. INVIT 2010: 17-21
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/FioravantiPPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/FioravantiPPS10
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. LOPSTR 2010: 164-183
[c40]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sebd/NicolaMPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/NicolaMPS10
Antonio De Nicola, Michele Missikoff, Maurizio Proietti, Fabrizio Smith:
A Logic-Based Method for Business Process Knowledge Base Management. SEBD 2010: 170-181
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/SmithMP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/SmithMP10
Fabrizio Smith, Michele Missikoff, Maurizio Proietti:
Ontology-Based Querying of Composite Services. BSME 2010: 159-180
[p2]
- view
  authority control:
- export record
  dblp key:
  - conf/agp/PettorossiPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/PettorossiPS10
Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
The Transformational Approach to Program Development. 25 Years GULP 2010: 112-135
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1007-4157
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-4157
Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Transformations of Logic Programs on Infinite Lists. CoRR abs/1007.4157 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/SenniPP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/SenniPP09
Valerio Senni, Alberto Pettorossi, Maurizio Proietti:
A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs. Fundam. Informaticae 96(3): 373-393 (2009)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/PettorossiPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/PettorossiPS09
Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Deciding Full Branching Time Logic by Program Transformation. LOPSTR 2009: 5-21
2008
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/PettorossiP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/PettorossiP08
Alberto Pettorossi, Maurizio Proietti:
Totally correct logic program transformations via well-founded annotations. High. Order Symb. Comput. 21(1-2): 193-234 (2008)
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lisp/PettorossiP08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/PettorossiP08a
Alberto Pettorossi, Maurizio Proietti:
Totally correct logic program transformations via well-founded annotations. High. Order Symb. Comput. 21(1-2): 235 (2008)
[c37]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/PettorossiPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/PettorossiPS08
Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Program Transformation for Development, Verification, and Synthesis of Software. Il Milione 2008
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/SenniPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/SenniPP08
Valerio Senni, Alberto Pettorossi, Maurizio Proietti:
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. ICLP 2008: 284-300
2007
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/PettorossiPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PettorossiPS07
Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Automatic Correctness Proofs for Logic Program Transformations. ICLP 2007: 364-379
2006
[j15]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/PettorossiP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/PettorossiP06
Alberto Pettorossi, Maurizio Proietti:
Preface: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2. Fundam. Informaticae 69(1-2) (2006)
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/PettorossiPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/PettorossiPS06
Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. ICLP 2006: 179-195
2005
[j14]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/PettorossiP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/PettorossiP05
Alberto Pettorossi, Maurizio Proietti:
Program Transformation: Theoretical Foundations and Basic Techniques. Part 1. Fundam. Informaticae 66(4) (2005)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/PettorossiPR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/PettorossiPR05
Alberto Pettorossi, Maurizio Proietti, Sophie Renault:
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. High. Order Symb. Comput. 18(1-2): 121-210 (2005)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/PettorossiPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/PettorossiPS05
Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Transformational Verification of Parameterized Protocols Using Array Formulas. LOPSTR 2005: 23-43
[i5]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/PettorossiPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/PettorossiPS05
Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. Transformation Techniques in Software Engineering 2005
2004
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/PettorossiP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/PettorossiP04
Alberto Pettorossi, Maurizio Proietti:
Transformations of logic programs with goals as arguments. Theory Pract. Log. Program. 4(4): 495-537 (2004)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/msras/FioravantiPP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msras/FioravantiPP04
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Automatic Proofs of Protocols via Program Transformation. MSRAS 2004: 99-116
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/PettorossiP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/PettorossiP04
Alberto Pettorossi, Maurizio Proietti:
A theory of totally correct logic program transformations. PEPM 2004: 159-168
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/FioravantiPP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/FioravantiPP04
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Transformation Rules for Locally Stratified Constraint Logic Programs. Program Development in Computational Logic 2004: 291-339
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-PL-0402048
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0402048
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Transformation Rules for Locally Stratified Constraint Logic Programs. CoRR cs.PL/0402048 (2004)
2003
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-PL-0307022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0307022
Alberto Pettorossi, Maurizio Proietti:
Transformations of Logic Programs with Goals as Arguments. CoRR cs.PL/0307022 (2003)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-PL-0311043
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0311043
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Combining Logic Programs and Monadic Second Order Logics by Program Transformation. CoRR cs.PL/0311043 (2003)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-PL-0311044
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0311044
Alberto Pettorossi, Maurizio Proietti, Sophie Renault:
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. CoRR cs.PL/0311044 (2003)
2002
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/PettorossiP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/PettorossiP02
Alberto Pettorossi, Maurizio Proietti:
The List Introduction Strategy for the Derivation of Logic Programs. Formal Aspects Comput. 13(3-5): 233-251 (2002)
[c30]
- view
  - electronic edition @ programmazionelogica.it (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/agp/FioravantiPP02
- ask others
- <