Dino Pedreschi Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Mirco Nanni, Dino Pedreschi, Chiara Renso, Roberto Trasarti: Mining Mobility Behavior from Trajectory Data. CSE (4) 2009: 948-951
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Dino Pedreschi, Yannis Theodoridis: Geographic privacy-aware knowledge discovery and delivery. EDBT 2009: 1157-1158
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Mirco Nanni, Dino Pedreschi, Fabio Pinelli: Trajectory pattern analysis for urban traffic. GIS-IWCTS 2009: 43-47
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri, Franco Turini: Integrating induction and deduction for finding evidence of discrimination. ICAIL 2009: 157-166
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Basta, Fabio Fassetti, Massimo Guarascio, Giuseppe Manco, Fosca Giannotti, Dino Pedreschi, Laura Spinsanti, Gianfilippo Papi, Stefano Pisani: High Quality True-Positive Prediction for Fiscal Fraud Detection. ICDM Workshops 2009: 7-12
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri, Franco Turini: Measuring Discrimination in Socially-Sensitive Decision Records. SDM 2009: 581-592
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero G. Pensa, Anna Monreale, Fabio Pinelli, Dino Pedreschi: Anonymous Sequences from Trajectory Data. SEBD 2009: 361-372
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGennady L. Andrienko, Natalia V. Andrienko, Salvatore Rinzivillo, Mirco Nanni, Dino Pedreschi: A Visual Analytics Toolkit for Cluster-Based Classification of Mobility Data. SSTD 2009: 432-435
2008
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Dino Pedreschi: Mobility, Data Mining and Privacy - Geographic Knowledge Discovery Springer 2008
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri, Franco Turini: Discrimination-aware data mining. KDD 2008: 560-568
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuggero G. Pensa, Anna Monreale, Fabio Pinelli, Dino Pedreschi: Pattern-Preserving k-Anonymization of Sequences and its Application to Mobil- ity Data Mining. PiLBA 2008
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Dino Pedreschi, Franco Turini: Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project. PinKDD 2008: 25-32
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Dino Pedreschi: Mobility, Data Mining and Privacy: A Vision of Convergence. Mobility, Data Mining and Privacy 2008: 1-11
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Francesco Bonchi, Franco Turini, Vassilios S. Verykios, Maurizio Atzori, Bradley Malin, Bart Moelans, Yücel Saygin: Privacy Protection: Regulations and Technologies, Opportunities and Threats. Mobility, Data Mining and Privacy 2008: 101-119
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMirco Nanni, Bart Kuijpers, Christine Körner, Michael May, Dino Pedreschi: Spatiotemporal Data Mining. Mobility, Data Mining and Privacy 2008: 267-296
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: Anonymity preserving pattern discovery. VLDB J. 17(4): 703-727 (2008)
2007
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Mirco Nanni, Fabio Pinelli, Dino Pedreschi: Trajectory pattern mining. KDD 2007: 330-339
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi, Osman Abul: Privacy-Aware Knowledge Discovery from Location Data. MDM 2007: 283-287
2006
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: Towards low-perturbation anonymity preserving pattern discovery. SAC 2006: 588-592
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Mirco Nanni, Dino Pedreschi, Fabio Pinelli: Mining sequences with temporal annotations. SAC 2006: 593-597
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Mirco Nanni, Dino Pedreschi: Efficient Mining of Temporally Annotated Sequences. SDM 2006
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMirco Nanni, Dino Pedreschi: Time-focused clustering of trajectories of moving objects. J. Intell. Inf. Syst. 27(3): 267-289 (2006)
2005
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: Blocking Anonymity Threats Raised by Frequent Itemset Mining. ICDM 2005: 561-564
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: k-Anonymous Patterns. PKDD 2005: 10-21
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: Anonymity and data mining. Comput. Syst. Sci. Eng. 20(5): (2005)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Alessio Mazzanti, Dino Pedreschi: Exante: A Preprocessing Method for Frequent-Pattern Mining. IEEE Intelligent Systems 20(3): 25-31 (2005)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Alessio Mazzanti, Dino Pedreschi: Efficient breadth-first mining of frequent pattern with monotone constraints. Knowl. Inf. Syst. 8(2): 131-153 (2005)
2004
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Boulicaut, Floriana Esposito, Fosca Giannotti, Dino Pedreschi: Machine Learning: ECML 2004, 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings Springer 2004
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Boulicaut, Floriana Esposito, Fosca Giannotti, Dino Pedreschi: Knowledge Discovery in Databases: PKDD 2004, 8th European Conference on Principles and Practice of Knowledge Discovery in Databases, Pisa, Italy, September 20-24, 2004, Proceedings Springer 2004
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Dino Pedreschi: A Relational Query Primitive for Constraint-Based Pattern Mining. Constraint-Based Mining and Inductive Databases 2004: 14-37
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. Bacarella, Fosca Giannotti, Mirco Nanni, Dino Pedreschi: Discovery of ads web hosts through traffic data analysis. DMKD 2004: 76-81
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristiana Rita Alfonsi, Nello Scarabottolo, Dino Pedreschi, Maria Simi: IT4PS: information technology for problem solving. ITiCSE 2004: 241
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Characterisations of Termination in Logic Programming. Program Development in Computational Logic 2004: 376-431
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Dino Pedreschi: Frequent Pattern Queries for Flexible Knowledge Discovery. SEBD 2004: 250-261
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri: Bounded Nondeterminism of Logic Programs. Ann. Math. Artif. Intell. 42(4): 313-343 (2004)
2003
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Alessio Mazzanti, Dino Pedreschi: ExAMiner: Optimized Level-wise Frequent Pattern Mining with Monotone Constraint. ICDM 2003: 11-18
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Alessio Mazzanti, Dino Pedreschi: Adaptive Constraint Pushing in Frequent Pattern Mining. PKDD 2003: 47-58
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Alessio Mazzanti, Dino Pedreschi: ExAnte: Anticipated Data Reduction in Constrained Pattern Mining. PKDD 2003: 59-70
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Mirco Nanni, Dino Pedreschi, F. Samaritani: WebCat: Automatic Categorization of Web Search Results. SEBD 2003: 507-518
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Alessio Mazzanti, Dino Pedreschi: Pre-processing for Constrained Pattern Mining. SEBD 2003: 519-530
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri: On logic programs that always succeed. Sci. Comput. Program. 48(2-3): 163-196 (2003)
2002
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Mancarella, Dino Pedreschi, Salvatore Ruggieri: Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond 2002: 240-272
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Mascellani, Dino Pedreschi: The Declarative Side of Magic. Computational Logic: Logic Programming and Beyond 2002: 83-108
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Classes of terminating logic programs. TPLP 2(3): 369-418 (2002)
2001
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Giuseppe Manco, Chiara Renso, Mirco Nanni, Dino Pedreschi, Salvatore Ruggieri: Data Mining for Intelligent Web Caching. ITCC 2001: 599-603
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Classes of Terminating Logic Programs CoRR cs.LO/0106050: (2001)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Cristian Gozzi, Giuseppe Manco, Mirco Nanni, Dino Pedreschi, Chiara Renso, Salvatore Ruggieri: Web log data warehousing and mining for intelligent web caching. Data Knowl. Eng. 39(2): 165-189 (2001)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi: Nondeterministic, Nonmonotonic Logic Databases. IEEE Trans. Knowl. Data Eng. 13(5): 813-823 (2001)
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Dino Pedreschi, Carlo Zaniolo: Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases. J. Comput. Syst. Sci. 62(1): 15-42 (2001)
2000
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Dino Pedreschi: On Verification in Logic Database Languages. Computational Logic 2000: 957-971
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Mirco Nanni, Dino Pedreschi: Logic-Based Knowledge Discovery in Databases. EJC 2000: 279-283
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarat Fayzullin, Mirco Nanni, Dino Pedreschi, V. S. Subrahmanian: Foundations of distributed interaction systems. Ann. Math. Artif. Intell. 28(1-4): 127-168 (2000)
1999
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini: Experiences with a Logic-based knowledge discovery Support Environment. 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery 1999
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini: Experiences with a Logic-Based Knowledge Discovery Support Environment. AI*IA 1999: 202-213
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Gianni Mainetto, Dino Pedreschi: Using Data Mining Techniques in Fiscal Fraud Detection. DaWaK 1999: 369-376
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri: Bounded Nondeterminism of Logic Programs. ICLP 1999: 350-364
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Gianni Mainetto, Dino Pedreschi: A Classification-Based Methodology for Planning Audit Strategies in Fraud Detection. KDD 1999: 175-184
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi, Franco Turini: Integration of Deduction and Induction for Mining Supermarket Sales Data. SEBD 1999: 117-131
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Bonchi, Fosca Giannotti, Gianni Mainetto, Dino Pedreschi: Una Metodologia Basata sulla Classificazione per la Pianificazione degli Accertamenti nel Rilevamento di Frodi. SEBD 1999: 69-84
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri: On Logic Programs That Do Not Fail. Electr. Notes Theor. Comput. Sci. 30(1): (1999)
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri: Verification of Logic Programs. J. Log. Program. 39(1-3): 125-176 (1999)
1998
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi: On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases. CSL 1998: 58-72
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi: Query Answering in Nondeterministic, Nonmonotonic Logic Databases. FQAS 1998: 175-187
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri: Weakest Preconditions for Pure Prolog Programs. Inf. Process. Lett. 67(3): 145-150 (1998)
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Dino Pedreschi: Datalog with Non-Deterministic Choice Computers NDB-PTIME. J. Log. Program. 35(1): 79-101 (1998)
1997
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Giuseppe Manco, Dino Pedreschi: A Deductive Data Model for Representing and Querying Semistructured Data. APPIA-GULP-PRODE 1997: 129-140
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi: Datalog++: A Basis for Active Object-Oriented Databases. DOOD 1997: 283-301
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi: Datalog++: a Basis for Active Object.Oriented Databases. SEBD 1997: 325-340
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, V. S. Subrahmanian: Non-determinism in Deductive Databases - Preface. Ann. Math. Artif. Intell. 19(1-2): 1-2 (1997)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri: Verification of Meta-Interpreters. J. Log. Comput. 7(2): 267-303 (1997)
1996
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Carlo Zaniolo: Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings Springer 1996
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi: A Closer Look at Declarative Interpretations. J. Log. Program. 28(2): 147-180 (1996)
1995
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarilisa E. Carboni, V. Foddai, Fosca Giannotti, Dino Pedreschi: Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach. GULP-PRODE 1995: 169-182
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri: A Case Study in Logic Program Verification: the Vanilla Metainterpreter. GULP-PRODE 1995: 643-654
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarilisa E. Carboni, Fosca Giannotti, V. Foddai, Dino Pedreschi: Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach. SEBD 1995: 3-13
1994
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi, Salvatore Ruggieri: Termination is Language-Independent. GULP-PRODE (1) 1994: 418-433
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Mascellani, Dino Pedreschi: Proving termination of Prolog programs. GULP-PRODE (1) 1994: 46-61
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDino Pedreschi: A Proof Method for Runtime Properties of Prolog Programs. ICLP 1994: 584-598
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini: Implementations of Program Composition Operations. PLILP 1994: 292-307
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Corciulo, Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo: Expressive Power of Non-Deterministic Operators for Logic-based Languages. Workshop on Deductive Databases and Logic Programming 1994: 27-40
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Modular Logic Programming. ACM Trans. Program. Lang. Syst. 16(4): 1361-1398 (1994)
1993
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Corciulo, Fosca Giannotti, Dino Pedreschi: Datalog with Non-Deterministic Choice Computes NDB-PTIME. DOOD 1993: 49-66
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof R. Apt, Dino Pedreschi: Reasoning about Termination of Pure Prolog Programs Inf. Comput. 106(1): 109-157 (1993)
1992
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Meta for Modularising Logic Programming. META 1992: 105-119
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Bertolino, Luigi Meo, Dino Pedreschi, Franco Turini: The Type System of LML. Types in Logic Programming 1992: 313-332
1991
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Dino Pedreschi, Domenico Saccà, Carlo Zaniolo: Non-Determinism in Deductive Databases. DOOD 1991: 129-146
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs 1991: 241-250
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof R. Apt, Dino Pedreschi: Proving Termination of General Prolog Programs. TACS 1991: 265-289
1990
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Universal Quantification by Case Analysis. ECAI 1990: 111-116
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Dino Pedreschi: Declarative Semantics for Pruning Operators in Logic Programming. LPNMR 1990: 27-37
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti: Algebraic Properties of a Class of Logic Programs. NACLP 1990: 23-39
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Logic Programming within a Functional Framework. PLILP 1990: 372-386
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: A Transformational Approach to Negation in Logic Programming. J. Log. Program. 8(3): 201-228 (1990)
1988
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini: A Progress Report on the LML Project. FGCS 1988: 675-684
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Mancarella, Dino Pedreschi: An Algebra of Logic Programs. ICLP/SLP 1988: 1006-1023
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Mancarella, Simone Martini, Dino Pedreschi: Complete Logic Programs with Domain-Closure Axiom. J. Log. Program. 5(3): 263-276 (1988)
1987
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 1987: 96-110
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFosca Giannotti, Attilio Matteucci, Dino Pedreschi, Franco Turini: Symbolic Evaluation with Structural Recursive Symbolic Constants. Sci. Comput. Program. 9(2): 161-177 (1987)
1985
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Albano, Fosca Giannotti, Renzo Orsini, Dino Pedreschi: The Type System of Galileo. Data Types and Persistence (Appin) 1985: 101-119
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Albano, Fosca Giannotti, Renzo Orsini, Dino Pedreschi: The Type System of Galileo. Data Types and Persistence (Appin), Informal Proceedings 1985: 175-195
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Ambriola, Fosca Giannotti, Dino Pedreschi, Franco Turini: Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng. 11(8): 784-794 (1985)

Coauthor Index

1Osman Abul [84]
2Antonio Albano [2] [3]
3Cristiana Rita Alfonsi [70]
4Vincenzo Ambriola [1]
5Gennady L. Andrienko [94]
6Natalia V. Andrienko [94]
7Krzysztof R. Apt [14] [19] [30]
8Maurizio Atzori [77] [78] [79] [83] [84] [86] [88]
9V. Bacarella [71]
10Roberto Barbuti [5] [9]
11Stefano Basta [97]
12Bruno Bertolino [8] [17]
13Francesco Bonchi [43] [45] [47] [52] [55] [57] [62] [64] [65] [66] [68] [72] [75] [76] [77] [78] [79] [83] [84] [86] [88]
14Jean-François Boulicaut [73] [74]
15Antonio Brogi [10] [13] [15] [18] [21] [23]
16Marilisa E. Carboni [27] [29]
17A. Chiarelli [23]
18Luca Corciulo [20] [22]
19Floriana Esposito [73] [74]
20Fabio Fassetti [97]
21Marat Fayzullin [50]
22V. Foddai [27] [29]
23Maurizio Gabbrielli [30]
24Fosca Giannotti [1] [2] [3] [4] [12] [16] [20] [22] [27] [29] [34] [35] [36] [37] [39] [40] [43] [44] [45] [47] [48] [49] [51] [52] [53] [54] [55] [57] [62] [63] [64] [65] [66] [68] [71] [72] [73] [74] [75] [76] [77] [78] [79] [81] [82] [83] [84] [85] [86] [89] [90] [93] [97] [99] [100] [101]
25Cristian Gozzi [55]
26Massimo Guarascio [97]
27Christine Körner [87]
28Bart Kuijpers [87]
29Gianni Mainetto [43] [45] [47]
30Bradley Malin [88]
31Paolo Mancarella [5] [6] [7] [8] [9] [10] [11] [13] [15] [18] [21] [23] [60]
32Giuseppe Manco [34] [35] [36] [39] [40] [44] [48] [49] [54] [55] [57] [97]
33Simone Martini [6]
34Paolo Mascellani [25] [59]
35Attilio Matteucci [4]
36Michael May [87]
37Alessio Mazzanti [62] [64] [65] [66] [75] [76]
38V. Mazzotta [23]
39Luigi Meo [8] [17]
40Bart Moelans [88]
41Anna Monreale [91] [95]
42Mirco Nanni [34] [35] [39] [40] [44] [50] [51] [54] [55] [57] [63] [71] [80] [81] [82] [85] [87] [94] [99] [101]
43Luca Nini [8]
44Renzo Orsini [2] [3]
45Gianfilippo Papi [97]
46Ruggero G. Pensa [91] [95]
47Fabio Pinelli [82] [85] [91] [95] [99]
48Stefano Pisani [97]
49Chiara Renso [23] [55] [57] [101]
50Salvatore Rinzivillo [94]
51Marina Rondinelli [11]
52Salvatore Ruggieri [26] [28] [32] [38] [41] [42] [46] [55] [56] [57] [58] [60] [61] [67] [69] [92] [96] [98]
53Domenico Saccà [16]
54F. Samaritani [63]
55Yücel Saygin [88]
56Nello Scarabottolo [70]
57Maria Simi [70]
58Jan-Georg Smaus [56] [58] [69]
59Laura Spinsanti [97]
60V. S. Subrahmanian [33] [50]
61Marco Tagliatti [11]
62Yannis Theodoridis [100]
63Roberto Trasarti [101]
64Franco Turini [1] [4] [5] [8] [9] [10] [13] [15] [17] [18] [21] [23] [44] [48] [49] [88] [90] [92] [96] [98]
65Vassilios S. Verykios [88]
66Carlo Zaniolo [16] [22] [31] [53]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)