Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSalvatore Ruggieri
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[i16]José M. Álvarez, Salvatore Ruggieri:
Counterfactual Situation Testing: Uncovering Discrimination under Fairness given the Difference. CoRR abs/2302.11944 (2023)- [i15]José M. Álvarez, Kristen M. Scott, Salvatore Ruggieri, Bettina Berendt:
Domain Adaptive Decision Trees: Implications for Accuracy and Fairness. CoRR abs/2302.13846 (2023) - [i14]Carlos Mougan, Laura State, Antonio Ferrara, Salvatore Ruggieri, Steffen Staab:
Demographic Parity Inspector: Fairness Audits via the Explanation Space. CoRR abs/2303.08040 (2023) - 2022
- [j41]Matilde Lazzari, José M. Álvarez
, Salvatore Ruggieri:
Predicting and explaining employee turnover intention. Int. J. Data Sci. Anal. 14(3): 279-292 (2022) - [j40]Fabrizio Lillo, Salvatore Ruggieri:
Estimating the Total Volume of Queries to a Search Engine. IEEE Trans. Knowl. Data Eng. 34(11): 5351-5363 (2022) - [j39]Ana Rita Nogueira, Andrea Pugnana, Salvatore Ruggieri, Dino Pedreschi, João Gama:
Methods and tools for causal discovery and causal inference. WIREs Data Mining Knowl. Discov. 12(2) (2022) - [c50]Marta Marchiori Manerba, Riccardo Guidotti, Lucia C. Passaro, Salvatore Ruggieri:
Bias Discovery within Human Raters: A Case Study of the Jigsaw Dataset. NLPerspectives@LREC 2022: 26-31 - [i13]Carlos Mougan, José M. Álvarez, Gourab K. Patro, Salvatore Ruggieri, Steffen Staab:
Fairness implications of encoding protected categorical attributes. CoRR abs/2201.11358 (2022) - [i12]Andrea Pugnana, Salvatore Ruggieri:
AUC-based Selective Classification. CoRR abs/2210.10703 (2022) - 2021
- [j38]Mirco Nanni, Gennady L. Andrienko, Albert-László Barabási, Chiara Boldrini, Francesco Bonchi, Ciro Cattuto, Francesca Chiaromonte, Giovanni Comandé, Marco Conti, Mark Coté, Frank Dignum, Virginia Dignum, Josep Domingo-Ferrer, Paolo Ferragina, Fosca Giannotti, Riccardo Guidotti, Dirk Helbing, Kimmo Kaski, János Kertész, Sune Lehmann, Bruno Lepri, Paul Lukowicz, Stan Matwin, David Megías Jiménez, Anna Monreale, Katharina Morik, Nuria Oliver, Andrea Passarella, Andrea Passerini, Dino Pedreschi, Alex Pentland, Fabio Pianesi, Francesca Pratesi, Salvatore Rinzivillo, Salvatore Ruggieri, Arno Siebes, Vicenç Torra, Roberto Trasarti, Jeroen van den Hoven, Alessandro Vespignani:
Give more data, awareness and control to individual citizens, and they will help COVID-19 containment. Ethics Inf. Technol. 23(S1): 1-6 (2021) - [j37]Toon Calders, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Salvatore Ruggieri:
Introduction to The Special Section on Bias and Fairness in AI. SIGKDD Explor. 23(1): 1-3 (2021) - [c49]Riccardo Guidotti, Salvatore Ruggieri:
Ensemble of Counterfactual Explainers. DS 2021: 358-368 - [i11]Fabrizio Lillo, Salvatore Ruggieri:
Estimating the Total Volume of Queries to a Search Engine. CoRR abs/2101.09807 (2021) - 2020
- [j36]Vittore Casarosa, Salvatore Ruggieri, Enrica Salvatori, Maria Simi, Simona Turbanti:
Educational ecosystems for Information Science: The case of the University of Pisa. Educ. Inf. 36(2): 119-138 (2020) - [j35]Bilal Qureshi, Faisal Kamiran, Asim Karim, Salvatore Ruggieri, Dino Pedreschi:
Causal inference for social discrimination reasoning. J. Intell. Inf. Syst. 54(2): 425-437 (2020) - [j34]Mirco Nanni, Gennady L. Andrienko, Albert-László Barabási, Chiara Boldrini, Francesco Bonchi, Ciro Cattuto, Francesca Chiaromonte, Giovanni Comandé, Marco Conti, Mark Coté, Frank Dignum, Virginia Dignum, Josep Domingo-Ferrer, Paolo Ferragina, Fosca Giannotti, Riccardo Guidotti, Dirk Helbing, Kimmo Kaski, János Kertész, Sune Lehmann, Bruno Lepri, Paul Lukowicz, Stan Matwin, David Megías, Anna Monreale, Katharina Morik, Nuria Oliver, Andrea Passarella, Andrea Passerini, Dino Pedreschi, Alex Pentland, Fabio Pianesi, Francesca Pratesi, Salvatore Rinzivillo, Salvatore Ruggieri, Arno Siebes, Vicenç Torra, Roberto Trasarti, Jeroen van den Hoven, Alessandro Vespignani:
Give more data, awareness and control to individual citizens, and they will help COVID-19 containment. Trans. Data Priv. 13(1): 61-66 (2020) - [j33]Eirini Ntoutsi, Pavlos Fafalios, Ujwal Gadiraju, Vasileios Iosifidis, Wolfgang Nejdl, Maria-Esther Vidal, Salvatore Ruggieri, Franco Turini, Symeon Papadopoulos, Emmanouil Krasanakis, Ioannis Kompatsiaris, Katharina Kinder-Kurlanda, Claudia Wagner, Fariba Karimi, Miriam Fernández, Harith Alani, Bettina Berendt, Tina Kruegel, Christian Heinze, Klaus Broelemann, Gjergji Kasneci, Thanassis Tiropanis, Steffen Staab:
Bias in data-driven artificial intelligence systems - An introductory survey. WIREs Data Mining Knowl. Discov. 10(3) (2020) - [c48]Orestis Lampridis, Riccardo Guidotti, Salvatore Ruggieri:
Explaining Sentiment Classification with Synthetic Exemplars and Counter-Exemplars. DS 2020: 357-373 - [e2]Cataldo Musto, Daniele Magazzeni, Salvatore Ruggieri, Giovanni Semeraro:
Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, XAI.it@AIxIA 2020, Online Event, November 25-26, 2020. CEUR Workshop Proceedings 2742, CEUR-WS.org 2020 [contents] - [e1]Mireille Hildebrandt, Carlos Castillo, L. Elisa Celis, Salvatore Ruggieri, Linnet Taylor, Gabriela Zanfir-Fortuna:
FAT* '20: Conference on Fairness, Accountability, and Transparency, Barcelona, Spain, January 27-30, 2020. ACM 2020, ISBN 978-1-4503-6936-7 [contents] - [i10]Eirini Ntoutsi, Pavlos Fafalios, Ujwal Gadiraju, Vasileios Iosifidis, Wolfgang Nejdl, Maria-Esther Vidal, Salvatore Ruggieri, Franco Turini, Symeon Papadopoulos, Emmanouil Krasanakis, Ioannis Kompatsiaris, Katharina Kinder-Kurlanda, Claudia Wagner, Fariba Karimi, Miriam Fernández, Harith Alani, Bettina Berendt, Tina Kruegel, Christian Heinze, Klaus Broelemann, Gjergji Kasneci, Thanassis Tiropanis, Steffen Staab:
Bias in Data-driven AI Systems - An Introductory Survey. CoRR abs/2001.09762 (2020) - [i9]Mirco Nanni, Gennady L. Andrienko, Albert-László Barabási, Chiara Boldrini, Francesco Bonchi, Ciro Cattuto, Francesca Chiaromonte, Giovanni Comandé, Marco Conti, Mark Coté, Frank Dignum, Virginia Dignum, Josep Domingo-Ferrer, Fosca Giannotti, Riccardo Guidotti, Dirk Helbing, János Kertész, Sune Lehmann, Bruno Lepri, Paul Lukowicz, Anna Monreale, Katharina Morik, Nuria Oliver, Andrea Passarella, Andrea Passerini, Dino Pedreschi, Alex Pentland, Francesca Pratesi, Salvatore Rinzivillo, Salvatore Ruggieri, Arno Siebes, Roberto Trasarti, Jeroen van den Hoven, Alessandro Vespignani:
Give more data, awareness and control to individual citizens, and they will help COVID-19 containment. CoRR abs/2004.05222 (2020)
2010 – 2019
- 2019
- [j32]Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi:
A Survey of Methods for Explaining Black Box Models. ACM Comput. Surv. 51(5): 93:1-93:42 (2019) - [j31]Riccardo Guidotti, Anna Monreale, Fosca Giannotti, Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
Factual and Counterfactual Explanations for Black Box Decision Making. IEEE Intell. Syst. 34(6): 14-23 (2019) - [j30]Michele D'Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli:
Sequential pattern mining for ICT risk assessment and management. J. Log. Algebraic Methods Program. 102: 1-16 (2019) - [j29]Salvatore Ruggieri:
Complete Search for Feature Selection in Decision Trees. J. Mach. Learn. Res. 20: 104:1-104:34 (2019) - [c47]Dino Pedreschi, Fosca Giannotti, Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini:
Meaningful Explanations of Black Box AI Decision Systems. AAAI 2019: 9780-9784 - [c46]Alessandro Baroni, Salvatore Ruggieri:
SCube: A Tool for Segregation Discovery. EDBT 2019: 542-545 - [c45]Riccardo Guidotti, Salvatore Ruggieri:
On The Stability of Interpretable Models. IJCNN 2019: 1-8 - [c44]Fabrizio Lillo, Salvatore Ruggieri:
Estimating the Total Volume of Queries to Google. WWW 2019: 1051-1060 - 2018
- [j28]Alessandro Baroni, Salvatore Ruggieri:
Segregation discovery in a social network of companies. J. Intell. Inf. Syst. 51(1): 71-96 (2018) - [p4]Giuseppe Amato, Leonardo Candela, Donatella Castelli, Andrea Esuli, Fabrizio Falchi, Claudio Gennaro, Fosca Giannotti, Anna Monreale, Mirco Nanni, Pasquale Pagano, Luca Pappalardo, Dino Pedreschi, Francesca Pratesi, Fausto Rabitti, Salvatore Rinzivillo, Giulio Rossetti, Salvatore Ruggieri, Fabrizio Sebastiani, Maurizio Tesconi:
How Data Mining and Machine Learning Evolved from Relational Data Base to Data Science. A Comprehensive Guide Through the Italian Database Research 2018: 287-306 - [i8]Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Dino Pedreschi, Franco Turini, Fosca Giannotti:
Local Rule-Based Explanations of Black Box Decision Systems. CoRR abs/1805.10820 (2018) - [i7]Dino Pedreschi, Fosca Giannotti, Riccardo Guidotti, Anna Monreale, Luca Pappalardo, Salvatore Ruggieri, Franco Turini:
Open the Black Box Data-Driven Explanation of Black Box Decision Systems. CoRR abs/1806.09936 (2018) - [i6]Riccardo Guidotti, Salvatore Ruggieri:
Assessing the Stability of Interpretable Models. CoRR abs/1810.09352 (2018) - 2017
- [c43]Alessandro Baroni, Alessio Conte, Maurizio Patrignani, Salvatore Ruggieri:
Efficiently Clustering Very Large Attributed Graphs. ASONAM 2017: 369-376 - [c42]Salvatore Ruggieri:
Enumerating Distinct Decision Trees. ICML 2017: 2960-2968 - [c41]Michele D'Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli:
Sequential Pattern Mining for ICT Risk Assessment and Prevention. SEFM Workshops 2017: 25-39 - [i5]Alessandro Baroni, Alessio Conte, Maurizio Patrignani, Salvatore Ruggieri:
Efficiently Clustering Very Large Attributed Graphs. CoRR abs/1703.08590 (2017) - [i4]Alessandro Baroni, Salvatore Ruggieri:
SCube: A Tool for Segregation Discovery. CoRR abs/1709.08348 (2017) - 2016
- [c40]Binh Thanh Luong, Salvatore Ruggieri, Franco Turini:
Classification Rule Mining Supported by Ontology for Discrimination Discovery. ICDM Workshops 2016: 868-875 - [c39]Salvatore Ruggieri, Franco Turini:
A KDD Process for Discrimination Discovery. ECML/PKDD (3) 2016: 249-253 - [i3]Bilal Qureshi, Faisal Kamiran, Asim Karim, Salvatore Ruggieri:
Causal Discrimination Discovery Through Propensity Score Analysis. CoRR abs/1608.03735 (2016) - 2015
- [j27]Salvatore Ruggieri:
Introduction to the special issue on Artificial Intelligence for Society and Economy. Intelligenza Artificiale 9(1): 23 (2015) - [c38]Andrea Romei, Salvatore Ruggieri, Franco Turini:
The layered structure of company share networks. DSAA 2015: 1-10 - [c37]Alessandro Baroni, Salvatore Ruggieri:
Segregation Discovery in a Social Network of Companies. IDA 2015: 37-48 - 2014
- [j26]Sergio Mascetti, Annarita Ricci, Salvatore Ruggieri:
Introduction to special issue on computational methods for enforcing privacy and fairness in the knowledge society. Artif. Intell. Law 22(2): 109-111 (2014) - [j25]Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski:
On quantified linear implications. Ann. Math. Artif. Intell. 71(4): 301-325 (2014) - [j24]Marco Aldinucci, Salvatore Ruggieri, Massimo Torquati:
Decision tree building on multi-core using FastFlow. Concurr. Comput. Pract. Exp. 26(3): 800-820 (2014) - [j23]Andrea Romei, Salvatore Ruggieri:
A multidisciplinary survey on discrimination analysis. Knowl. Eng. Rev. 29(5): 582-638 (2014) - [j22]Salvatore Ruggieri, Pavlos Eirinakis, K. Subramani, Piotr Wojciechowski:
On the complexity of quantified linear systems. Theor. Comput. Sci. 518: 128-134 (2014) - [j21]Salvatore Ruggieri:
Using t-closeness anonymity to control for non-discrimination. Trans. Data Priv. 7(2): 99-129 (2014) - [c36]Salvatore Ruggieri, Sara Hajian, Faisal Kamiran, Xiangliang Zhang:
Anti-discrimination Analysis Using Privacy Attack Strategies. ECML/PKDD (2) 2014: 694-710 - 2013
- [j20]Andrea Romei, Salvatore Ruggieri, Franco Turini:
Discrimination discovery in scientific project evaluation: A case study. Expert Syst. Appl. 40(15): 6064-6079 (2013) - [c35]Salvatore Ruggieri:
Data Anonymity Meets Non-discrimination. ICDM Workshops 2013: 875-882 - [c34]Salvatore Ruggieri:
Learning from Polyhedral Sets. IJCAI 2013: 1069-1075 - [p3]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
The Discovery of Discrimination. Discrimination and Privacy in the Information Society 2013: 91-108 - [p2]Andrea Romei, Salvatore Ruggieri:
Discrimination Data Analysis: A Multi-disciplinary Bibliography. Discrimination and Privacy in the Information Society 2013: 109-135 - 2012
- [j19]Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski:
A complexity perspective on entailment of parameterized linear constraints. Constraints An Int. J. 17(4): 461-487 (2012) - [c33]Salvatore Ruggieri:
Deciding Membership in a Class of Polyhedra. ECAI 2012: 702-707 - [c32]Andrea Romei, Salvatore Ruggieri, Franco Turini:
Discovering Gender Discrimination in Project Funding. ICDM Workshops 2012: 394-401 - [c31]Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski:
Computational complexity of inclusion queries over polyhedral sets. ISAIM 2012 - [c30]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
A study of top-k measures for discrimination discovery. SAC 2012: 126-131 - [c29]Salvatore Ruggieri:
Subtree Replacement in Decision Tree Simplification. SDM 2012: 379-390 - 2011
- [c28]Salvatore Rinzivillo, Salvatore Ruggieri:
Who/Where Are My New Customers? ISMIS Industrial Session 2011: 307-317 - [c27]Binh Luong Thanh, Salvatore Ruggieri, Franco Turini:
k-NN as an implementation of situation testing for discrimination discovery and prevention. KDD 2011: 502-510 - 2010
- [j18]Salvatore Ruggieri, Dino Pedreschi, Franco Turini:
Integrating induction and deduction for finding evidence of discrimination. Artif. Intell. Law 18(1): 1-43 (2010) - [j17]Salvatore Ruggieri, Dino Pedreschi, Franco Turini:
Data mining for discrimination discovery. ACM Trans. Knowl. Discov. Data 4(2): 9:1-9:40 (2010) - [j16]Salvatore Ruggieri, Fred Mesnard:
Typing linear constraints. ACM Trans. Program. Lang. Syst. 32(6): 21:1-21:42 (2010) - [c26]Salvatore Ruggieri:
Frequent regular itemset mining. KDD 2010: 263-272 - [c25]Marco Aldinucci, Salvatore Ruggieri, Massimo Torquati:
Porting Decision Tree Algorithms to Multicore Using FastFlow. ECML/PKDD (1) 2010: 7-23 - [c24]Salvatore Ruggieri, Fred Mesnard:
Variable ranges in linear constraints. SAC 2010: 2061-2065 - [c23]Salvatore Ruggieri, Dino Pedreschi, Franco Turini:
DCUBE: discrimination discovery in databases. SIGMOD Conference 2010: 1127-1130 - [i2]Marco Aldinucci, Salvatore Ruggieri, Massimo Torquati:
Porting Decision Tree Algorithms to Multicore using FastFlow. CoRR abs/1006.3424 (2010)
2000 – 2009
- 2009
- [c22]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
Integrating induction and deduction for finding evidence of discrimination. ICAIL 2009: 157-166 - [c21]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
Measuring Discrimination in Socially-Sensitive Decision Records. SDM 2009: 581-592 - 2008
- [c20]Dino Pedreschi, Salvatore Ruggieri, Franco Turini:
Discrimination-aware data mining. KDD 2008: 560-568 - [c19]Valerio Grossi, Andrea Romei, Salvatore Ruggieri:
A Case Study in Sequential Pattern Mining for IT-Operational Risk. ECML/PKDD (1) 2008: 424-439 - [c18]Salvatore Ruggieri, Frédéric Mesnard:
Typing Linear Constraints for Moding CLP() Programs. SAS 2008: 128-143 - 2006
- [j15]Andrea Romei, Salvatore Ruggieri, Franco Turini:
KDDML: A middleware language and system for knowledge discovery in databases. Data Knowl. Eng. 57(2): 179-220 (2006) - 2005
- [c17]Andrea Romei, Salvatore Ruggieri, Franco Turini:
KDDML: a middleware language and system for knowledge discovery in databases. SEBD 2005: 208-219 - 2004
- [j14]Dino Pedreschi, Salvatore Ruggieri:
Bounded Nondeterminism of Logic Programs. Ann. Math. Artif. Intell. 42(4): 313-343 (2004) - [c16]Salvatore Ruggieri:
YaDT: Yet another Decision Tree Builder. ICTAI 2004: 260-265 - [p1]Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus:
Characterisations of Termination in Logic Programming. Program Development in Computational Logic 2004: 376-431 - 2003
- [j13]Salvatore Ruggieri:
On computing the semi-sum of two integers. Inf. Process. Lett. 87(2): 67-71 (2003) - [j12]Dino Pedreschi, Salvatore Ruggieri:
On logic programs that always succeed. Sci. Comput. Program. 48(2-3): 163-196 (2003) - [j11]Frédéric Mesnard, Salvatore Ruggieri:
On proving left termination of constraint logic programs. ACM Trans. Comput. Log. 4(2): 207-259 (2003) - [c15]Miriam Baglioni, U. Ferrara, Andrea Romei, Salvatore Ruggieri, Franco Turini:
Preprocessing and Mining Web Log Data for Web Personalization. AI*IA 2003: 237-249 - 2002
- [j10]Salvatore Ruggieri:
Efficient C4.5. IEEE Trans. Knowl. Data Eng. 14(2): 438-444 (2002) - [j9]Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus:
Classes of terminating logic programs. Theory Pract. Log. Program. 2(3): 369-418 (2002) - [c14]Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri:
Negation as Failure through Abduction: Reasoning about Termination. Computational Logic: Logic Programming and Beyond 2002: 240-272 - 2001
- [j8]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) - [j7]Salvatore Ruggieri:
exists-Universal termination of logic programs. Theor. Comput. Sci. 254(1-2): 273-296 (2001) - [c13]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
- [j6]Salvatore Ruggieri:
Decidability of logic program semantics and applications to testing. J. Log. Program. 46(1-2): 103-137 (2000) - [c12]Primo Becuzzi, Massimo Coppola, Salvatore Ruggieri, Marco Vanneschi:
Parallelisation of C4.5 as a Particular Divide and Conquer Computation. IPDPS Workshops 2000: 382-389
1990 – 1999
- 1999
- [j5]Dino Pedreschi, Salvatore Ruggieri:
Verification of Logic Programs. J. Log. Program. 39(1-3): 125-176 (1999) - [c11]Dino Pedreschi, Salvatore Ruggieri:
Bounded Nondeterminism of Logic Programs. ICLP 1999: 350-364 - [c10]Dino Pedreschi, Salvatore Ruggieri:
On Logic Programs That Do Not Fail. Verification of Logic Programs@ICLP 1999: 77-101 - 1998
- [j4]Dino Pedreschi, Salvatore Ruggieri:
Weakest Preconditions for Pure Prolog Programs. Inf. Process. Lett. 67(3): 145-150 (1998) - [c9]Salvatore Ruggieri:
A Complete Declarative Debugger of Missing Answers. ESOP 1998: 236-251 - [c8]Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri:
On Linguistic Quality of Natural Language Requirements. REFSQ 1998: 57-62 - 1997
- [j3]Monica Bordegoni, Giorgio P. Faconti, Steven Feiner, Mark T. Maybury, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael D. Wilson:
A standard reference model for intelligent multimedia presentation systems. Comput. Stand. Interfaces 18(6-7): 477-496 (1997) - [j2]Salvatore Ruggieri, Michael D. Wilson:
Describing the MMI2 demonstrators with the IMMPS reference model. Comput. Stand. Interfaces 18(6-7): 613-621 (1997) - [j1]Dino Pedreschi, Salvatore Ruggieri:
Verification of Meta-Interpreters. J. Log. Comput. 7(2): 267-303 (1997) - [c7]Salvatore Ruggieri:
Termination of Constraint Logic Programs. ICALP 1997: 838-848 - 1996
- [c6]Salvatore Ruggieri:
On Termination of Constraint Logic Programs. APPIA-GULP-PRODE 1996: 391-406 - [c5]Monica Bordegoni, Giorgio P. Faconti, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael D. Wilson:
Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model. MMM 1996: 3-20 - [c4]Salvatore Ruggieri:
Decidability of Logic Program Semantics and Applications to Testing. PLILP 1996: 347-362 - 1995
- [c3]Dino Pedreschi, Salvatore Ruggieri:
A Case Study in Logic Program Verification: the Vanilla Metainterpreter. GULP-PRODE 1995: 643-654 - 1994
- [c2]Dino Pedreschi, Salvatore Ruggieri:
Termination is Language-Independent. GULP-PRODE (1) 1994: 418-433 - [c1]Salvatore Ruggieri:
Proving (total) correctness of Prolog programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994