- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j40 |      | Michele Berlingerio, Michele Coscia, Fosca Giannotti, Anna Monreale, Dino Pedreschi: Evolving networks: Eras and turning points. Intell. Data Anal. 17(1): 27-48 (2013) |
| p6 | | Dino Pedreschi, Salvatore Ruggieri, Franco Turini: The Discovery of Discrimination. Discrimination and Privacy in the Information Society 2013: 91-108 |
| i5 | | Fosca Giannotti, Dino Pedreschi, Alex Pentland, Paul Lukowicz, Donald Kossmann, James L. Crowley, Dirk Helbing: A planetary nervous system for social mining and collective awareness. CoRR abs/1304.3700 (2013) |
| 2012 | ||
| j39 | | Salvatore Rinzivillo, Simone Mainardi, Fabio Pezzoni, Michele Coscia, Dino Pedreschi, Fosca Giannotti: Discovering the Geographical Borders of Human Mobility. KI 26(3): 253-260 (2012) |
| j38 | | Davy Janssens, Fosca Giannotti, Mirco Nanni, Dino Pedreschi, Salvatore Rinzivillo: Data Science for Simulating the Era of Electric Vehicles. KI 26(3): 275-278 (2012) |
| c89 | | Michele Coscia, Salvatore Rinzivillo, Fosca Giannotti, Dino Pedreschi: Optimal Spatial Resolution for the Analysis of Human Mobility. ASONAM 2012: 248-252 |
| c88 | | Luca Pappalardo, Giulio Rossetti, Dino Pedreschi: "How Well Do We Know Each Other?" Detecting Tie Strength in Multidimensional Social Networks. ASONAM 2012: 1040-1045 |
| c87 | | Stefano Ceri, Emanuele Della Valle, Dino Pedreschi, Roberto Trasarti: Mega-modeling for Big Data Analytics. ER 2012: 1-15 |
| c86 | | Sara Hajian, Anna Monreale, Dino Pedreschi, Josep Domingo-Ferrer, Fosca Giannotti: Injecting Discrimination and Privacy Awareness Into Pattern Discovery. ICDM Workshops 2012: 360-369 |
| c85 | | Michele Coscia, Giulio Rossetti, Fosca Giannotti, Dino Pedreschi: DEMON: a local-first discovery method for overlapping communities. KDD 2012: 615-623 |
| c84 | | Ruilin Liu, Wendy Hui Wang, Anna Monreale, Dino Pedreschi, Fosca Giannotti, Wenge Guo: AUDIO: An Integrity Auditing Framework of Outlier-Mining-as-a-Service Systems. ECML/PKDD (2) 2012: 1-18 |
| c83 | | Dino Pedreschi, Salvatore Ruggieri, Franco Turini: A study of top-k measures for discrimination discovery. SAC 2012: 126-131 |
| c82 | | Michele Coscia, Fosca Giannotti, Dino Pedreschi: Towards Democratic Group Detection in Complex Networks. SBP 2012: 105-113 |
| c81 | | Fosca Giannotti, Laks V. S. Lakshmanan, Anna Monreale, Dino Pedreschi, Wendy Hui Wang: Privacy-preserving Mining of Association Rules from Outsourced Transaction Databases. SEBD 2012: 233-242 |
| i4 | | Michele Coscia, Giulio Rossetti, Fosca Giannotti, Dino Pedreschi: DEMON: a Local-First Discovery Method for Overlapping Communities. CoRR abs/1206.0629 (2012) |
| i3 | | Michele Coscia, Fosca Giannotti, Dino Pedreschi: A Classification for Community Discovery Methods in Complex Networks. CoRR abs/1206.3552 (2012) |
| i2 | | Jeroen van den Hoven, Dirk Helbing, Dino Pedreschi, Josep Domingo-Ferrer, Fosca Giannotti, Markus Christen: FuturICT - The Road towards Ethical ICT. CoRR abs/1210.8181 (2012) |
| 2011 | ||
| j37 | | Roberto Trasarti, Fosca Giannotti, Mirco Nanni, Dino Pedreschi, Chiara Renso: A Query Language for Mobility Data Mining. IJDWM 7(1): 24-45 (2011) |
| j36 | | Michele Berlingerio, Michele Coscia, Fosca Giannotti, Anna Monreale, Dino Pedreschi: The pursuit of hubbiness: Analysis of hubs in large multidimensional networks. J. Comput. Science 2(3): 223-237 (2011) |
| j35 | | Michele Coscia, Fosca Giannotti, Dino Pedreschi: A classification for community discovery methods in complex networks. Statistical Analysis and Data Mining 4(5): 512-546 (2011) |
| j34 | | Aris Gkoulalas-Divanis, Yücel Saygin, Dino Pedreschi: Privacy in mobility data mining. SIGKDD Explorations 13(1): 4-5 (2011) |
| j33 | | Anna Monreale, Roberto Trasarti, Dino Pedreschi, Chiara Renso, Vania Bogorny: C-safety: a framework for the anonymization of semantic trajectories. Transactions on Data Privacy 4(2): 73-101 (2011) |
| j32 | | Fosca Giannotti, Mirco Nanni, Dino Pedreschi, Fabio Pinelli, Chiara Renso, Salvatore Rinzivillo, Roberto Trasarti: Unveiling the complexity of human mobility by querying and mining massive trajectory data. VLDB J. 20(5): 695-719 (2011) |
| c80 | | Michele Berlingerio, Michele Coscia, Fosca Giannotti, Anna Monreale, Dino Pedreschi: Foundations of Multidimensional Network Analysis. ASONAM 2011: 485-489 |
| c79 | | Dashun Wang, Dino Pedreschi, Chaoming Song, Fosca Giannotti, Albert-László Barabási: Human mobility, social ties, and link prediction. KDD 2011: 1100-1108 |
| c78 | | Chatschik Bisdikian, Bernhard Mitschang, Dino Pedreschi, Vincent S. Tseng, Claudio Bettini: Challenges for Mobile Data Management in the Era of Cloud and Social Computing. Mobile Data Management (1) 2011: 6 |
| p5 | | Fosca Giannotti, Laks V. S. Lakshmanan, Anna Monreale, Dino Pedreschi, Wendy Hui Wang: Privacy-Preserving Data Mining from Outsourced Databases. Computers, Privacy and Data Protection 2011: 411-426 |
| 2010 | ||
| j31 | | Salvatore Ruggieri, Dino Pedreschi, Franco Turini: Integrating induction and deduction for finding evidence of discrimination. Artif. Intell. Law 18(1): 1-43 (2010) |
| j30 | | Anna Monreale, Gennady L. Andrienko, Natalia V. Andrienko, Fosca Giannotti, Dino Pedreschi, Salvatore Rinzivillo, Stefan Wrobel: Movement Data Anonymity through Generalization. Transactions on Data Privacy 3(2): 91-121 (2010) |
| j29 | | Salvatore Ruggieri, Dino Pedreschi, Franco Turini: Data mining for discrimination discovery. TKDD 4(2) (2010) |
| c77 | | Mirco Nanni, Roberto Trasarti, Chiara Renso, Fosca Giannotti, Dino Pedreschi: Advanced knowledge discovery on movement data with the GeoPKDD system. EDBT 2010: 693-696 |
| c76 | | Fosca Giannotti, Mirco Nanni, Dino Pedreschi, Fabio Pinelli, Chiara Renso, Salvatore Rinzivillo, Roberto Trasarti: Mobility data mining: discovering movement patterns from trajectory data. Computational Transportation Science 2010: 7-10 |
| c75 | | Anna Monreale, Roberto Trasarti, Chiara Renso, Dino Pedreschi, Vania Bogorny: Preserving privacy in semantic-rich trajectories of human mobility. SPRINGL 2010: 47-54 |
| c74 | | Michele Berlingerio, Michele Coscia, Fosca Giannotti, Anna Monreale, Dino Pedreschi: Towards discovery of eras in social networks. ICDE Workshops 2010: 278-281 |
| c73 | | Michele Berlingerio, Michele Coscia, Fosca Giannotti, Anna Monreale, Dino Pedreschi: As Time Goes by: Discovering Eras in Evolving Social Networks. PAKDD (1) 2010: 81-90 |
| c72 | | Roberto Trasarti, Salvatore Rinzivillo, Fabio Pinelli, Mirco Nanni, Anna Monreale, Chiara Renso, Dino Pedreschi, Fosca Giannotti: Exploring Real Mobility Data with M-Atlas. ECML/PKDD (3) 2010: 624-627 |
| c71 |  | Michele Berlingerio, Michele Coscia, Fosca Giannotti, Anna Monreale, Dino Pedreschi: Discovering Eras in Evolving Social Networks (Extended Abstract). SEBD 2010: 78-85 |
| c70 | | Salvatore Ruggieri, Dino Pedreschi, Franco Turini: DCUBE: discrimination discovery in databases. SIGMOD Conference 2010: 1127-1130 |
| 2009 | ||
| j28 | | Stefano Basta, Fosca Giannotti, Giuseppe Manco, Dino Pedreschi, Laura Spinsanti: SNIPER: A Data Mining Methodology for Fiscal Fraud Detection. ERCIM News 2009(78) (2009) |
| c69 | | Fosca Giannotti, Mirco Nanni, Dino Pedreschi, Chiara Renso, Roberto Trasarti: Mining Mobility Behavior from Trajectory Data. CSE (4) 2009: 948-951 |
| c68 | | Fosca Giannotti, Dino Pedreschi, Yannis Theodoridis: Geographic privacy-aware knowledge discovery and delivery. EDBT 2009: 1157-1158 |
| c67 | | Gennady L. Andrienko, Natalia V. Andrienko, Fosca Giannotti, Anna Monreale, Dino Pedreschi: Movement data anonymity through generalization. SPRINGL 2009: 27-31 |
| c66 | | Fosca Giannotti, Mirco Nanni, Dino Pedreschi, Fabio Pinelli: Trajectory pattern analysis for urban traffic. GIS-IWCTS 2009: 43-47 |
| c65 | | Dino Pedreschi, Salvatore Ruggieri, Franco Turini: Integrating induction and deduction for finding evidence of discrimination. ICAIL 2009: 157-166 |
| c64 | | Stefano 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 |
| c63 | | Gennady L. Andrienko, Natalia V. Andrienko, Salvatore Rinzivillo, Mirco Nanni, Dino Pedreschi, Fosca Giannotti: Interactive visual clustering of large collections of trajectories. IEEE VAST 2009: 3-10 |
| c62 | | Dino Pedreschi, Salvatore Ruggieri, Franco Turini: Measuring Discrimination in Socially-Sensitive Decision Records. SDM 2009: 581-592 |
| c61 | | Ruggero G. Pensa, Anna Monreale, Fabio Pinelli, Dino Pedreschi: Anonymous Sequences from Trajectory Data. SEBD 2009: 361-372 |
| c60 | | Gennady 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 | ||
| e4 | | Fosca Giannotti, Dino Pedreschi (Eds.): Mobility, Data Mining and Privacy - Geographic Knowledge Discovery. Springer 2008, isbn 978-3-540-75176-2 |
| j27 | | Salvatore Rinzivillo, Dino Pedreschi, Mirco Nanni, Fosca Giannotti, Natalia V. Andrienko, Gennady L. Andrienko: Visually driven analysis of movement data by progressive clustering. Information Visualization 7(3-4): 225-239 (2008) |
| j26 | | Maurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: Anonymity preserving pattern discovery. VLDB J. 17(4): 703-727 (2008) |
| c59 | | Ruggero G. Pensa, Anna Monreale, Fabio Pinelli, Dino Pedreschi: Pattern-Preserving k-Anonymization of Sequences and its Application to Mobil- ity Data Mining. PiLBA 2008 |
| c58 | | Fosca Giannotti, Dino Pedreschi, Franco Turini: Mobility, Data Mining and Privacy the Experience of the GeoPKDD Project. PinKDD 2008: 25-32 |
| c57 | | Dino Pedreschi, Salvatore Ruggieri, Franco Turini: Discrimination-aware data mining. KDD 2008: 560-568 |
| p4 | | Fosca Giannotti, Dino Pedreschi: Mobility, Data Mining and Privacy: A Vision of Convergence. Mobility, Data Mining and Privacy 2008: 1-11 |
| p3 | | Dino 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 |
| p2 | | Mirco Nanni, Bart Kuijpers, Christine Körner, Michael May, Dino Pedreschi: Spatiotemporal Data Mining. Mobility, Data Mining and Privacy 2008: 267-296 |
| 2007 | ||
| c56 | | Fosca Giannotti, Mirco Nanni, Fabio Pinelli, Dino Pedreschi: Trajectory pattern mining. KDD 2007: 330-339 |
| c55 | | Maurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi, Osman Abul: Privacy-Aware Knowledge Discovery from Location Data. MDM 2007: 283-287 |
| 2006 | ||
| j25 | | Mirco Nanni, Dino Pedreschi: Time-focused clustering of trajectories of moving objects. J. Intell. Inf. Syst. 27(3): 267-289 (2006) |
| c54 | | Maurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: Towards low-perturbation anonymity preserving pattern discovery. SAC 2006: 588-592 |
| c53 | | Fosca Giannotti, Mirco Nanni, Dino Pedreschi, Fabio Pinelli: Mining sequences with temporal annotations. SAC 2006: 593-597 |
| c52 | | Fosca Giannotti, Mirco Nanni, Dino Pedreschi: Efficient Mining of Temporally Annotated Sequences. SDM 2006 |
| 2005 | ||
| j24 | | Maurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: Anonymity and data mining. Comput. Syst. Sci. Eng. 20(5) (2005) |
| j23 | | Francesco Bonchi, Fosca Giannotti, Alessio Mazzanti, Dino Pedreschi: Exante: A Preprocessing Method for Frequent-Pattern Mining. IEEE Intelligent Systems 20(3): 25-31 (2005) |
| j22 | | Francesco 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) |
| c51 | | Maurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: Blocking Anonymity Threats Raised by Frequent Itemset Mining. ICDM 2005: 561-564 |
| c50 | | Maurizio Atzori, Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: k-Anonymous Patterns. PKDD 2005: 10-21 |
| 2004 | ||
| j21 | | Dino Pedreschi, Salvatore Ruggieri: Bounded Nondeterminism of Logic Programs. Ann. Math. Artif. Intell. 42(4): 313-343 (2004) |
| c49 | | Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: A Relational Query Primitive for Constraint-Based Pattern Mining. Constraint-Based Mining and Inductive Databases 2004: 14-37 |
| c48 | | V. Bacarella, Fosca Giannotti, Mirco Nanni, Dino Pedreschi: Discovery of ads web hosts through traffic data analysis. DMKD 2004: 76-81 |
| c47 | | Cristiana Rita Alfonsi, Nello Scarabottolo, Dino Pedreschi, Maria Simi: IT4PS: information technology for problem solving. ITiCSE 2004: 241 |
| c46 | | Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Characterisations of Termination in Logic Programming. Program Development in Computational Logic 2004: 376-431 |
| c45 | | Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: Frequent Pattern Queries for Flexible Knowledge Discovery. SEBD 2004: 250-261 |
| e3 | | Jean-François Boulicaut, Floriana Esposito, Fosca Giannotti, Dino Pedreschi (Eds.): Machine Learning: ECML 2004, 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings. Lecture Notes in Computer Science 3201, Springer 2004, isbn 3-540-23105-6 |
| e2 | | Jean-François Boulicaut, Floriana Esposito, Fosca Giannotti, Dino Pedreschi (Eds.): 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. Lecture Notes in Computer Science 3202, Springer 2004, isbn 3-540-23108-0 |
| 2003 | ||
| j20 | | Dino Pedreschi, Salvatore Ruggieri: On logic programs that always succeed. Sci. Comput. Program. 48(2-3): 163-196 (2003) |
| c44 | | Francesco Bonchi, Fosca Giannotti, Alessio Mazzanti, Dino Pedreschi: ExAMiner: Optimized Level-wise Frequent Pattern Mining with Monotone Constraint. ICDM 2003: 11-18 |
| c43 | | Francesco Bonchi, Fosca Giannotti, Alessio Mazzanti, Dino Pedreschi: Adaptive Constraint Pushing in Frequent Pattern Mining. PKDD 2003: 47-58 |
| c42 | | Francesco Bonchi, Fosca Giannotti, Alessio Mazzanti, Dino Pedreschi: ExAnte: Anticipated Data Reduction in Constrained Pattern Mining. PKDD 2003: 59-70 |
| c41 | | Fosca Giannotti, Mirco Nanni, Dino Pedreschi, F. Samaritani: WebCat: Automatic Categorization of Web Search Results. SEBD 2003: 507-518 |
| c40 | | Francesco Bonchi, Fosca Giannotti, Alessio Mazzanti, Dino Pedreschi: Pre-processing for Constrained Pattern Mining. SEBD 2003: 519-530 |
| 2002 | ||
| j19 | | Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Classes of terminating logic programs. TPLP 2(3): 369-418 (2002) |
| c39 | | Paolo Mascellani, Dino Pedreschi: The Declarative Side of Magic. Computational Logic: Logic Programming and Beyond 2002: 83-108 |
| c38 | | Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri: Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond 2002: 240-272 |
| 2001 | ||
| j18 | | Francesco 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) |
| j17 | | Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo: Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases. J. Comput. Syst. Sci. 62(1): 15-42 (2001) |
| j16 | | Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi: Nondeterministic, Nonmonotonic Logic Databases. IEEE Trans. Knowl. Data Eng. 13(5): 813-823 (2001) |
| c37 | | Francesco Bonchi, Fosca Giannotti, Giuseppe Manco, Chiara Renso, Mirco Nanni, Dino Pedreschi, Salvatore Ruggieri: Data Mining for Intelligent Web Caching. ITCC 2001: 599-603 |
| i1 | | Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus: Classes of Terminating Logic Programs. CoRR cs.LO/0106050 (2001) |
| 2000 | ||
| j15 | | Marat Fayzullin, Mirco Nanni, Dino Pedreschi, V. S. Subrahmanian: Foundations of distributed interaction systems. Ann. Math. Artif. Intell. 28(1-4): 127-168 (2000) |
| c36 | | Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: On Verification in Logic Database Languages. Computational Logic 2000: 957-971 |
| c35 | | Fosca Giannotti, Mirco Nanni, Dino Pedreschi: Logic-Based Knowledge Discovery in Databases. EJC 2000: 279-283 |
| 1999 | ||
| j14 | | Dino Pedreschi, Salvatore Ruggieri: Verification of Logic Programs. J. Log. Program. 39(1-3): 125-176 (1999) |
| j13 | | Dino Pedreschi, Salvatore Ruggieri: On Logic Programs That Do Not Fail. Electr. Notes Theor. Comput. Sci. 30(1): 77-101 (1999) |
| c34 | | Fosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini: Experiences with a Logic-Based Knowledge Discovery Support Environment. AI*IA 1999: 202-213 |
| c33 | | Francesco Bonchi, Fosca Giannotti, Gianni Mainetto, Dino Pedreschi: Using Data Mining Techniques in Fiscal Fraud Detection. DaWaK 1999: 369-376 |
| c32 | | Fosca 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 |
| c31 | | |
| c30 | | Francesco Bonchi, Fosca Giannotti, Gianni Mainetto, Dino Pedreschi: A Classification-Based Methodology for Planning Audit Strategies in Fraud Detection. KDD 1999: 175-184 |
| c29 | | Francesco 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 |
| c28 | | Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi, Franco Turini: Integration of Deduction and Induction for Mining Supermarket Sales Data. SEBD 1999: 117-131 |
| 1998 | ||
| j12 | | Dino Pedreschi, Salvatore Ruggieri: Weakest Preconditions for Pure Prolog Programs. Inf. Process. Lett. 67(3): 145-150 (1998) |
| j11 | | Fosca Giannotti, Dino Pedreschi: Datalog with Non-Deterministic Choice Computers NDB-PTIME. J. Log. Program. 35(1): 79-101 (1998) |
| c27 | | Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi: On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases. CSL 1998: 58-72 |
| c26 | | Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi: Query Answering in Nondeterministic, Nonmonotonic Logic Databases. FQAS 1998: 175-187 |
| 1997 | ||
| j10 | | Dino Pedreschi, V. S. Subrahmanian: Non-determinism in Deductive Databases - Preface. Ann. Math. Artif. Intell. 19(1-2): 1-2 (1997) |
| j9 | | Dino Pedreschi, Salvatore Ruggieri: Verification of Meta-Interpreters. J. Log. Comput. 7(2): 267-303 (1997) |
| c25 | | Fosca Giannotti, Giuseppe Manco, Dino Pedreschi: A Deductive Data Model for Representing and Querying Semistructured Data. APPIA-GULP-PRODE 1997: 129-140 |
| c24 | | Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi: Datalog++: A Basis for Active Object-Oriented Databases. DOOD 1997: 283-301 |
| c23 | | Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi: Datalog++: a Basis for Active Object.Oriented Databases. SEBD 1997: 325-340 |
| 1996 | ||
| j8 | | Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi: A Closer Look at Declarative Interpretations. J. Log. Program. 28(2): 147-180 (1996) |
| e1 | | Dino Pedreschi, Carlo Zaniolo (Eds.): Logic in Databases, International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings. Lecture Notes in Computer Science 1154, Springer 1996, isbn 3-540-61814-7 |
| 1995 | ||
| c22 | | Marilisa E. Carboni, V. Foddai, Fosca Giannotti, Dino Pedreschi: Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach. GULP-PRODE 1995: 169-182 |
| c21 | | Dino Pedreschi, Salvatore Ruggieri: A Case Study in Logic Program Verification: the Vanilla Metainterpreter. GULP-PRODE 1995: 643-654 |
| c20 | | Marilisa E. Carboni, Fosca Giannotti, V. Foddai, Dino Pedreschi: Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach. SEBD 1995: 3-13 |
| 1994 | ||
| j7 | | Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo: Declarative Semantics for Pruning Operators in Logic Programming. Meth. of Logic in CS 1(1): 61-76 (1994) |
| j6 | | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Modular Logic Programming. ACM Trans. Program. Lang. Syst. 16(4): 1361-1398 (1994) |
| c19 | | Paolo Mascellani, Dino Pedreschi: Proving termination of Prolog programs. GULP-PRODE (1) 1994: 46-61 |
| c18 | | Dino Pedreschi, Salvatore Ruggieri: Termination is Language-Independent. GULP-PRODE (1) 1994: 418-433 |
| c17 | | Luca 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 |
| c16 | | |
| c15 | | Antonio Brogi, A. Chiarelli, Paolo Mancarella, V. Mazzotta, Dino Pedreschi, Chiara Renso, Franco Turini: Implementations of Program Composition Operations. PLILP 1994: 292-307 |
| 1993 | ||
| j5 | | Krzysztof R. Apt, Dino Pedreschi: Reasoning about Termination of Pure Prolog Programs. Inf. Comput. 106(1): 109-157 (1993) |
| c14 | | Luca Corciulo, Fosca Giannotti, Dino Pedreschi: Datalog with Non-Deterministic Choice Computes NDB-PTIME. DOOD 1993: 49-66 |
| 1992 | ||
| c13 | | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Meta for Modularising Logic Programming. META 1992: 105-119 |
| p1 | | Bruno Bertolino, Luigi Meo, Dino Pedreschi, Franco Turini: The Type System of LML. Types in Logic Programming 1992: 313-332 |
| 1991 | ||
| c12 | | Fosca Giannotti, Dino Pedreschi, Domenico Saccà, Carlo Zaniolo: Non-Determinism in Deductive Databases. DOOD 1991: 129-146 |
| c11 | | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs 1991: 241-250 |
| c10 | | Krzysztof R. Apt, Dino Pedreschi: Proving Termination of General Prolog Programs. TACS 1991: 265-289 |
| 1990 | ||
| j4 | | Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: A Transformational Approach to Negation in Logic Programming. J. Log. Program. 8(3): 201-228 (1990) |
| c9 | | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Universal Quantification by Case Analysis. ECAI 1990: 111-116 |
| c8 | | Fosca Giannotti, Dino Pedreschi: Declarative Semantics for Pruning Operators in Logic Programming. LPNMR 1990: 27-37 |
| c7 | | Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Logic Programming within a Functional Framework. PLILP 1990: 372-386 |
| c6 | | Paolo Mancarella, Dino Pedreschi, Marina Rondinelli, Marco Tagliatti: Algebraic Properties of a Class of Logic Programs. NACLP 1990: 23-39 |
| 1988 | ||
| j3 | | Paolo Mancarella, Simone Martini, Dino Pedreschi: Complete Logic Programs with Domain-Closure Axiom. J. Log. Program. 5(3): 263-276 (1988) |
| c5 | | Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini: A Progress Report on the LML Project. FGCS 1988: 675-684 |
| c4 | | |
| 1987 | ||
| j2 | | Fosca Giannotti, Attilio Matteucci, Dino Pedreschi, Franco Turini: Symbolic Evaluation with Structural Recursive Symbolic Constants. Sci. Comput. Program. 9(2): 161-177 (1987) |
| c3 | | Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, Franco Turini: Intensional Negation of Logic Programs: Examples and Implementation Techniques. TAPSOFT, Vol.2 1987: 96-110 |
| 1985 | ||
| j1 | | Vincenzo Ambriola, Fosca Giannotti, Dino Pedreschi, Franco Turini: Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng. 11(8): 784-794 (1985) |
| c2 | | Antonio Albano, Fosca Giannotti, Renzo Orsini, Dino Pedreschi: The Type System of Galileo. Data Types and Persistence (Appin) 1985: 101-119 |
| c1 | | Antonio Albano, Fosca Giannotti, Renzo Orsini, Dino Pedreschi: The Type System of Galileo. Data Types and Persistence (Appin), Informal Proceedings 1985: 175-195 |
Colors in the list of coauthors
Last update Tue May 21 05:19:50 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page