Travelled to:1 × France
1 × Portugal
Collaborated with:P.Schneider-Kamp M.Codish I.Nunes G.Gaspar M.J.H.Heule W.A.H.Jr. M.Kaufmann
Talks about:interfac (1) program (1) pattern (1) ontolog (1) network (1) multipl (1) certifi (1) between (1) effici (1) verif (1)
Person: Luís Cruz-Filipe
DBLP: Cruz-Filipe:Lu=iacute=s
Contributed to:
2015
2013
2017Wrote 3 papers:
- LATA-2015-CodishCS #game studies #network #sorting
- Sorting Networks: The End Game (MC, LCF, PSK), pp. 664–675.
- KEOD-2013-Cruz-FilipeNG #logic programming #multi #ontology #source code
- Patterns for Interfacing between Logic Programs and Multiple Ontologies (LCF, IN, GG), pp. 58–69.
- CADE-2017-Cruz-FilipeHHKS #performance #verification
- Efficient Certified RAT Verification (LCF, MJHH, WAHJ, MK, PSK), pp. 220–236.