Travelled to:
1 × Canada
1 × Italy
1 × Taiwan
Collaborated with:
M.Giraud D.Lavenier M.Gebser T.Schaub S.Thiele B.Usadel C.Guziolowski M.Ivanchev A.Siegel
Talks about:
inconsist (2) program (2) network (2) equival (2) weight (2) biolog (2) answer (2) path (2) larg (2) set (2)
Person: Philippe Veber
DBLP: Veber:Philippe
Contributed to:
Wrote 4 papers:
- KR-2010-GebserGISSTV #biology #consistency #network #nondeterminism #predict #programming #scalability #set
- Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (MG, CG, MI, TS, AS, ST, PV).
- ICLP-2008-GebserSTUV #biology #consistency #detection #network #nondeterminism #programming #scalability #set
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (MG, TS, ST, BU, PV), pp. 130–144.
- CIAA-2006-GiraudVL #automaton #finite
- Path-Equivalent Removals of epsilon-transitions in a Genomic Weighted Finite Automaton (MG, PV, DL), pp. 23–33.
- CIAA-J-2006-GiraudVL07 #automaton
- Path-Equivalent Developments in Acyclic Weighted Automata (MG, PV, DL), pp. 799–811.