Travelled to:1 × Greece
1 × Italy
1 × The Netherlands
Collaborated with:L.Giordano A.Martelli E.Chiabrando S.Likavec C.Picardi M.Spiotta I.Lombardi R.Furnari F.Osborne
Talks about:constraint (1) heterogen (1) similar (1) program (1) process (1) ontolog (1) complet (1) theori (1) tempor (1) semant (1)
Person: Daniele Theseider Dupré
DBLP: Dupr=eacute=:Daniele_Theseider
Contributed to:
2014
2013
2012
2011Wrote 4 papers:
- HCI-AS-2014-ChiabrandoFLOPD #case study #experience #named
- TellEat: Sharing Experiences on the Move (EC, RF, SL, FO, CP, DTD), pp. 377–388.
- ICLP-J-2013-GiordanoMSD #constraints #process #programming #set #verification
- Business process verification with constraint temporal answer set programming (LG, AM, MS, DTD), pp. 641–655.
- KR-2012-GiordanoMD #bound #model checking
- Achieving Completeness in Bounded Model Checking of Action Theories in ASP (LG, AM, DTD).
- HT-2011-ChiabrandoLLPD #ontology #semantics #similarity
- Semantic similarity in heterogeneous ontologies (EC, SL, IL, CP, DTD), pp. 153–160.