Alessandro Artale / Free University of Bozen-Bolzano
www.unibz.it
Alessandro Artale is an Associate Professor in the Faculty of Computer Science at the Free University of Bozen-Bolzano. He got a PhD in Computer Science at the department of "Systems Theory and Computer Science" at the University of Florence in From he got a Fellowship at the CNR-LADSEB in Padua; from he was Senior Researcher at the IRST institute in Trento (currently, FBK) in ...
Alessandro Artale Free University of Bozen-Bolzano
www.researchgate.net
› profile › Alessandro-Artale
CTL Symbolic Model Checking - Faculty of Computer Science
www.yumpu.com
29 Jan — Alessandro Artale. Faculty of Computer Science – Free University of Bozen-Bolzano. .it http://www.inf.unibz.it/∼artale/. › document › view › ctl-symb...
Full Satisfiability of UML Class Diagrams | SpringerLink
link.springer.com
Alessandro Artale, Diego Calvanese, and Angélica Ibá˜nez-Garcıa. KRDB Research Centre, Free University of Bozen-Bolzano, Italy. {artale,calvanese ...
Wikipedia: CTL* - Wikipedia
CTL Teaching slides of professor Alessandro Artale at the Free University of Bozen-Bolzano; Read in another language. Last edited on 30 June 2015, at 04:
All web results to the name "Alessandro Artale"
Living Without Beth and Craig: Definitions and Interpolants in ...
ojs.aaai.org
by A Artale · · Cited by 2 — Alessandro Artale Free University of Bozen-Bolzano; Jean Christoph Jung University of Hildesheim; Andrea Mazzullo Free University of Bozen › index.php › AAAI › article › view
entity-relationship diagrams and fol artale/dml/lectures/logic ...
vdocuments.site
13 Jan — Entity-Relationship Diagrams and FOL Alessandro Artale Free University of Bozen-Bolzano Faculty of Computer Science ... › Documents
Alessandro Artale - Citazioni di Google Scholar
scholar.google.it
Alessandro Artale. Associate Professor of Computer Science, Free University of Bozen-Bolzano · Artificial Intelligence, Knowledge Representation, Ontology, ...
Alessandro Artale - Google विद्वान उद्धरण
scholar.google.co.in
Alessandro Artale. Assistant Professor of Computer Science, Free University of Bozen-Bolzano. Artificial Intelligence, Knowledge Representation, Ontology, ...
Alessandro Artale | Free University of Bozen-Bolzano - Academia.edu
unibz.academia.edu
Academia.edu is a place to share and follow research.
ISAO – 3rd Interdisciplinary School on Applied Ontology,...
isao2016.inf.unibz.it
Alessandro Artale, Free University of Bozen-Bolzano, Italy (Reasoning over Ontologies and Conceptual Models) Gilberto Camara, National Institute for Space Research ...
TIME 2016
time2016.compute.dtu.dk
Alessandro Artale, Free University of Bozen-Bolzano, Italy; Sourav Bhowmick, Nanyang Technological University, Singapore; Amedeo Cesta, CNR - National ...
5th European Semantic Web Conference 2008
www.eswc2008.org
Alessandro Artale (Free University of Bozen-Bolzano) Yannis Avrithis (NTUA) Danny Ayers Christopher Baker (Institute for Infocomm Research) Wolf-Tilo Balke ...
TIME 2012: 19th International Symposium on Temporal Representation...
www.tech.dmu.ac.uk
Alessandro Artale, Free University of Bozen-Bolzano, Italy; Alexander Artikis, National Centre for Scientific Research "Demokritos", Greece; Philippe Balbiani, ...
Alessandro Artale | LinkedIn
www.linkedin.com
Alessandro Artale Dr - Lecturer at KRDB Centre (Free University of Bozen-Bolzano) Location Trento Area, Italy Industry Research ...
sorted by relevance / date