default search action

combined dblp search
author search
venue search
publication search

ask others

Adolfo Villafiorita

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

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

2017
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/um/FadhilV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/um/FadhilV17
Ahmed Fadhil, Adolfo Villafiorita:
An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot. UMAP (Adjunct Publication) 2017: 408-412
2016
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/isc2/CiaghiV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isc2/CiaghiV16
Aaron Ciaghi, Adolfo Villafiorita:
Beyond food sharing: Supporting food waste reduction with ICTs. ISC2 2016: 1-6
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/mhci/FadhilMAVB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mhci/FadhilMAVB16
Ahmed Fadhil, Cristina Matteotti, Giampaolo Armellin, Adolfo Villafiorita, Dario Betti:
CoachMe: a platform for promoting healthy lifestyle. MobileHCI Adjunct 2016: 1077-1080
2015
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cleiej/GrauTCV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cleiej/GrauTCV15
Ilse Grau, Guilherme H. Travassos, Luca Cernuzzi, Adolfo Villafiorita:
Tape Mbo'e: A First Experimental Assessment. CLEI Electron. J. 18(1) (2015)
2014
[c44]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/cibse/GrauTCV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cibse/GrauTCV14
Ilse Grau, Guilherme Travassos, Luca Cernuzzi, Adolfo Villafiorita:
Tape Mbo'e: A First Experimental Assessment. CIbSE 2014: 322-335
[c43]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/gi/Al-ShammariV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/Al-ShammariV14
Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita:
Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience. GI-Jahrestagung 2014: 1359-1370
2013
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/EsheteVWZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/EsheteVWZ13
Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam, Mohammad Zulkernine:
EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages. COMPSAC 2013: 375-380
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/dev/CiaghiEMV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dev/CiaghiEMV13
Aaron Ciaghi, Birhanu Eshete, Pietro Molini, Adolfo Villafiorita:
SAMo: experimenting a social accountability web platform. ACM DEV (3) 2013: 17:1-17:2
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/sccc/GrauCV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sccc/GrauCV13
Ilse Grau, Luca Cernuzzi, Adolfo Villafiorita:
Tape Mbo'e (TME): A Service-Oriented Method. SCCC 2013: 33-37
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/EsheteVWZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/EsheteVWZ13
Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam, Mohammad Zulkernine:
Confeagle: Automated Analysis of Configuration Vulnerabilities in Web Applications. SERE 2013: 188-197
2012
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/Al-ShammariVW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/Al-ShammariVW12
Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita, Komminist Weldemariam:
Understanding the Development Trends of Electronic Voting Systems. ARES 2012: 186-195
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/Al-ShammariVW12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/Al-ShammariVW12a
Ali Fawzi Najm Al-Shammari, Adolfo Villafiorita, Komminist Weldemariam:
Towards an Open Standard Vote Verification Framework in Electronic Voting Systems. ARES 2012: 437-444
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/africom/CiaghiEMV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africom/CiaghiEMV12
Aaron Ciaghi, Birhanu Eshete, Pietro Molini, Adolfo Villafiorita:
Social Accountability for Mozambique: An Experience Report from the Moamba District. AFRICOMM 2012: 189-198
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/dev/SahiluVWBZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dev/SahiluVWBZ12
Henok Sahilu, Adolfo Villafiorita, Komminist Weldemariam, Mesfin Belachew, Amanuel Zewge:
Designing distributed agricultural information services for developing countries. ACM DEV 2012: 24:1
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/medes/ZewgeWHVSB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medes/ZewgeWHVSB12
Amanuel Zewge, Komminist Weldemariam, Sebsibe Hailemariam, Adolfo Villafiorita, Angelo Susi, Mesfin Belachew:
On the use of goal-oriented methodology for designing agriculture services in developing countries. MEDES 2012: 40-47
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/securecomm/EsheteVW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/securecomm/EsheteVW12
Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam:
BINSPECT: Holistic Analysis and Detection of Malicious Web Pages. SecureComm 2012: 149-166
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/africom/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africom/2011
Radu Popescu-Zeletin, Karl Jonas, Idris A. Rai, Roch H. Glitho, Adolfo Villafiorita:
e-Infrastructure and e-Services for Developing Countries - Third International ICST Conference, AFRICOMM 2011, Zanzibar, Tanzania, November 23-24, 2011, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 92, Springer 2012, ISBN 978-3-642-29092-3 [contents]
2011
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/WeldemariamV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/WeldemariamV11
Komminist Weldemariam, Adolfo Villafiorita:
Procedural security analysis: A methodological approach. J. Syst. Softw. 84(7): 1114-1129 (2011)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/WeldemariamKV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/WeldemariamKV11
Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita:
Formal analysis of an electronic voting system: An experience report. J. Syst. Softw. 84(10): 1618-1637 (2011)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/EsheteVW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/EsheteVW11
Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam:
Early Detection of Security Misconfiguration Vulnerabilities in Web Applications. ARES 2011: 169-174
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/africom/CiaghiV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africom/CiaghiV11
Aaron Ciaghi, Adolfo Villafiorita:
Crowdsourcing ICTD Best Practices. AFRICOMM 2011: 167-176
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/dimva/EsheteVW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimva/EsheteVW11
Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam:
Malicious Website Detection: Effectiveness and Efficiency Issues. SysSec@DIMVA 2011: 123-126
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/CiaghiVV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/CiaghiVV11
Aaron Ciaghi, Andrea Dalla Valle, Adolfo Villafiorita:
Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study. JURIX 2011: 53-62
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/re/Al-ShammariWVT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/Al-ShammariWVT11
Ali Fawzi Najm Al-Shammari, Komminist Weldemariam, Adolfo Villafiorita, Sergio Tessaris:
Vote verification through open standard: A roadmap. REVOTE 2011: 22-26
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/africom/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africom/2010
Radu Popescu-Zeletin, Idris A. Rai, Karl Jonas, Adolfo Villafiorita:
E-Infrastuctures and E-Services for Developing Countries - Second International ICST Conference, AFRICOM 2010, Cape Town, South Africa, November 25-26, 2010, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 64, Springer 2011, ISBN 978-3-642-23827-7 [contents]
2010
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEares/WeldemariamKV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEares/WeldemariamKV10
Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita:
Formal Specification and Analysis of an E-voting System. ARES 2010: 164-171
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/africom/CiaghiV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africom/CiaghiV10
Aaron Ciaghi, Adolfo Villafiorita:
Improving Public Administrations via Law Modeling and BPR. AFRICOM 2010: 69-78
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/crisis/AsfawBEVW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crisis/AsfawBEVW10
Biniyam Asfaw, Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam:
Host-based anomaly detection for pervasive medical systems. CRiSIS 2010: 1-8
[c24]
- view
- export record
  dblp key:
  - conf/ev/WeldemariamV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ev/WeldemariamV10
Komminist Weldemariam, Adolfo Villafiorita:
A Survey: Electronic Voting Development and Trends. Electronic Voting 2010: 119-131
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icds/EsheteMVW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icds/EsheteMVW10
Birhanu Eshete, Andrea Mattioli, Adolfo Villafiorita, Komminist Weldemariam:
ICT for Good: Opportunities, Challenges and the Way Forward. ICDS 2010: 14-19
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icds/BekeleEVW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icds/BekeleEVW10
Dawit Bekele, Birhanu Eshete, Adolfo Villafiorita, Komminist Weldemariam:
Context Information Refinement for Pervasive Medical Systems. ICDS 2010: 210-215
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icds/VillafioritaWSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icds/VillafioritaWSS10
Adolfo Villafiorita, Komminist Weldemariam, Angelo Susi, Alberto Siena:
Modeling and Analysis of Laws Using BPR and Goal-Oriented Framework. ICDS 2010: 353-358
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/africom/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africom/2009
Adolfo Villafiorita, Régis Saint-Paul, Alessandro Zorer:
E-Infrastructures and E-Services on Developing Countries - First International ICST Conference, AFRICOM 2009, Maputo, Mozambique, December 3-4, 2009. Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 38, Springer 2010, ISBN 978-3-642-12700-7 [contents]

2000 – 2009

see FAQ

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

2009
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/eg/BrylDFMV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eg/BrylDFMV09
Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita:
Evaluating procedural alternatives: a case study in e-voting. Electron. Gov. an Int. J. 6(2): 213-231 (2009)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tifs/VillafioritaWT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tifs/VillafioritaWT09
Adolfo Villafiorita, Komminist Weldemariam, Roberto Tiella:
Development, formal verification, and evaluation of an E-voting system with VVPAT. IEEE Trans. Inf. Forensics Secur. 4(4): 651-661 (2009)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/africom/CiaghiVWMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africom/CiaghiVWMP09
Aaron Ciaghi, Adolfo Villafiorita, Komminist Weldemariam, Andrea Mattioli, Quoc-Sang Phan:
Supporting Public Administration with an Integrated BPR Environment. AFRICOM 2009: 50-59
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/crisis/WeldemariamKV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crisis/WeldemariamKV09
Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita:
Formal analysis of attacks for e-voting system. CRiSIS 2009: 26-34
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/crisis/WeldemariamVM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crisis/WeldemariamVM09
Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli:
Experiments and data analysis of electronic voting system. CRiSIS 2009: 105-112
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/egov/ShvaikoVZCFH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/egov/ShvaikoVZCFH09
Pavel Shvaiko, Adolfo Villafiorita, Alessandro Zorer, Lourino Chemane, Teotónio Fumo, Jussi Hinkkanen:
eGIF4M: eGovernment Interoperability Framework for Mozambique. EGOV 2009: 328-340
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icds/CiaghiVM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icds/CiaghiVM09
Aaron Ciaghi, Adolfo Villafiorita, Andrea Mattioli:
VLPM: A Tool to Support BPR in Public Administration. ICDS 2009: 289-293
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/re/WeldemariamMV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/WeldemariamMV09
Komminist Weldemariam, Andrea Mattioli, Adolfo Villafiorita:
Managing Requirements for E-Voting Systems: Issues and Approaches. REVOTE 2009: 29-37
2008
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/crisis/WeldemariamV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crisis/WeldemariamV08
Komminist Weldemariam, Adolfo Villafiorita:
Formal procedural security modeling and analysis. CRiSIS 2008: 249-254
[c13]
- view
- export record
  dblp key:
  - conf/ev/WeldemariamV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ev/WeldemariamV08
Komminist Weldemariam, Adolfo Villafiorita:
A Methodology for Assessing Procedural Security: A Case Study in E-Voting. Electronic Voting 2008: 83-94
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/iwsm/LongoTTV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwsm/LongoTTV08
Francesca Longo, Roberto Tiella, Paolo Tonella, Adolfo Villafiorita:
Measuring the Impact of Different Categories of Software Evolution. IWSM/Metrikon/Mensura 2008: 344-351
[c11]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/WeldemariamV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/WeldemariamV08
Komminist Weldemariam, Adolfo Villafiorita:
Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences. EVT 2008
2007
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BozzanoV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BozzanoV07
Marco Bozzano, Adolfo Villafiorita:
The FSAP/NuSMV-SA Safety Analysis Platform. Int. J. Softw. Tools Technol. Transf. 9(1): 5-24 (2007)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/pppj/TiellaVT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/TiellaVT07
Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi:
FSMC+, a tool for the generation of Java code from statecharts. PPPJ 2007: 93-102
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/WeldemariamVM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/WeldemariamVM07
Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli:
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach. VOTE-ID 2007: 38-49
2003
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BozzanoCCVV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BozzanoCCVV03
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita:
Improving Safety Assessment of Complex Systems: An Industrial Case Study. FME 2003: 208-222
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BozzanoV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BozzanoV03
Marco Bozzano, Adolfo Villafiorita:
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. SAFECOMP 2003: 49-62

1990 – 1999

see FAQ

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

1999
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijis/BenerecettiGSV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijis/BenerecettiGSV99
Massimo Benerecetti, Enrico Giunchiglia, Luciano Serafini, Adolfo Villafiorita:
Formal specification of beliefs in multi-agent systems. Int. J. Intell. Syst. 14(10): 1021-1040 (1999)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/CimattiPSTV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/CimattiPSTV99
Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita:
Formal Specification and Validation of a Vital Communication Protocol. World Congress on Formal Methods 1999: 1584-1604
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/ChiappiniCPRSTV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/ChiappiniCPRSTV99
Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita:
Formal Specification and Development of a Safety-Critical Train Management System. SAFECOMP 1999: 410-419
1998
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/aimsa/SebastianiV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aimsa/SebastianiV98
Roberto Sebastiani, Adolfo Villafiorita:
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. AIMSA 1998: 377-388
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/aimsa/Villafiorita98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aimsa/Villafiorita98
Adolfo Villafiorita:
Abstraction as a Form of Elaboration Tolerance. AIMSA 1998: 427-437
1997
[j2]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/aicom/GiunchigliaVW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/GiunchigliaVW97
Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh:
Theories of Abstraction. AI Commun. 10(3-4): 167-176 (1997)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BundyGVW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BundyGVW97
Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh:
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. J. Autom. Reason. 19(3): 319-346 (1997)
1996
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ai/GiunchigliaSVW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ai/GiunchigliaSVW96
Fausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh:
A General Purpose Reasoner for Abstraction. AI 1996: 323-335
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GiunchigliaV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GiunchigliaV96
Fausto Giunchiglia, Adolfo Villafiorita:
ABSFOL: A Proof Checker with Abstraction. CADE 1996: 136-140

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.