Travelled to:1 × Austria
1 × Belgium
1 × Hungary
1 × Italy
1 × United Kingdom
Collaborated with:M.Comini G.Bacci R.Mardare A.Villanueva K.G.Larsen K.G.Larsen M.A.Feliú M.A.Feliú
Talks about:logic (3) synthesi (2) function (2) program (2) distanc (2) automat (2) specif (2) order (2) first (2) difficulti (1)
Person: Giovanni Bacci
DBLP: Bacci:Giovanni
Contributed to:
2015
2013
2012
2012
2010Wrote 5 papers:
- FoSSaCS-2015-BacciBLM #distance #markov #on the
- On the Total Variation Distance of Semi-Markov Chains (GB, GB, KGL, RM), pp. 185–199.
- TACAS-2013-BacciBLM #on the fly #similarity
- On-the-Fly Exact Computation of Bisimilarity Distances (GB, GB, KGL, RM), pp. 1–15.
- ICLP-2012-BacciCFV #automation #functional #logic #specification #synthesis
- The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (GB, MC, MAF, AV), pp. 144–153.
- PPDP-2012-BacciCFV #automation #first-order #source code #specification #synthesis
- Automatic synthesis of specifications for first order curry programs (GB, MC, MAF, AV), pp. 25–34.
- LOPSTR-2010-BacciC #first-order #functional #logic programming #source code
- Abstract Diagnosis of First Order Functional Logic Programs (GB, MC), pp. 215–233.