https://dblp.org/rdf/schema#affiliation
|
University of Liège, Belgium
, INRIA, France
|
https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/conf/cade/BoigelotFV23 +
, https://dblp.org/rec/conf/lpar/SteenSFM23 +
, https://dblp.org/rec/conf/wia/BoigelotFV23 +
, https://dblp.org/rec/journals/corr/abs-2305-15059 +
, https://dblp.org/rec/journals/corr/abs-2306-04210 +
, https://dblp.org/rec/journals/dagstuhl-reports/BonacinaFNSD23 +
, https://dblp.org/rec/journals/jar/ShengZRLFB22 +
, https://dblp.org/rec/conf/scsquare/BoigelotFV22 +
, https://dblp.org/rec/journals/jar/Fontaine21 +
, https://dblp.org/rec/conf/fmcad/JanotaBFR21 +
, https://dblp.org/rec/conf/frocos/FontaineS21 +
, https://dblp.org/rec/conf/ijcai/0007ZRLFB21 +
, https://dblp.org/rec/conf/scsquare/BoigelotFV21 +
, https://dblp.org/rec/journals/corr/abs-2107-02354 +
, https://dblp.org/rec/journals/corr/abs-2105-13700 +
, https://dblp.org/rec/journals/jar/ChocronFR20 +
, https://dblp.org/rec/journals/jar/BarbosaBFF20 +
, https://dblp.org/rec/conf/cade/0007ZRLFB20 +
, https://dblp.org/rec/conf/smt/TourretFOB20 +
, https://dblp.org/rec/journals/corr/abs-2004-04854 +
, https://dblp.org/rec/conf/birthday/BonacinaFRT19 +
, https://dblp.org/rec/books/hal/Fontaine18 +
, https://dblp.org/rec/journals/aicom/FontaineKSU18 +
, https://dblp.org/rec/conf/scsquare/FontaineOSKV18 +
, https://dblp.org/rec/conf/tacas/ReynoldsBF18 +
, https://dblp.org/rec/journals/fmsd/FellnerFP17 +
, https://dblp.org/rec/conf/cade/AbrahamA0BBCDEF17 +
, https://dblp.org/rec/conf/cade/BlanchetteF0W17 +
, https://dblp.org/rec/conf/cade/BarbosaBF17 +
, https://dblp.org/rec/conf/frocos/FontaineOSV17 +
, https://dblp.org/rec/conf/tacas/BarbosaFR17 +
, https://dblp.org/rec/journals/corr/abs-1712-01486 +
, https://dblp.org/rec/journals/corr/FontaineO0V17 +
, https://dblp.org/rec/journals/cca/AbrahamA0BBBCDE16 +
, https://dblp.org/rec/conf/mkm/AbrahamABBBBCDE16 +
, https://dblp.org/rec/journals/corr/AbrahamABBBBCDE16 +
, https://dblp.org/rec/journals/corr/AbrahamABBBBCDE16a +
, https://dblp.org/rec/journals/mics/FontaineSW15 +
, https://dblp.org/rec/conf/birthday/ArecesFM15 +
, https://dblp.org/rec/conf/cade/ChocronFR15 +
, https://dblp.org/rec/conf/frocos/JaroschekDF15 +
, https://dblp.org/rec/conf/frocos/ChocronFR15 +
, https://dblp.org/rec/journals/corr/JaroschekDF15 +
, https://dblp.org/rec/journals/dagstuhl-reports/AbrahamF0W15 +
, https://dblp.org/rec/journals/scp/DeharbeFGV14 +
, https://dblp.org/rec/conf/cade/ChocronFR14 +
, https://dblp.org/rec/conf/fmcad/DeharbeFBM13 +
, https://dblp.org/rec/journals/scp/OliveiraDF12 +
, https://dblp.org/rec/conf/asm/DeharbeFGV12 +
, https://dblp.org/rec/conf/cade/FontaineMW12 +
, https://dblp.org/rec/conf/cade/DeharbeFMP11 +
, https://dblp.org/rec/conf/cade/FontaineMP11 +
, https://dblp.org/rec/conf/frocos/ArecesF11 +
, https://dblp.org/rec/conf/pxtp/BessonFT11 +
, https://dblp.org/rec/conf/pxtp/DeharbeFP11 +
, https://dblp.org/rec/conf/cade/BoutonCDF10 +
, https://dblp.org/rec/conf/cade/BoutonODF09 +
, https://dblp.org/rec/conf/frocos/Fontaine09 +
, https://dblp.org/rec/journals/entcs/OliveiraDF09 +
, https://dblp.org/rec/conf/cade/Fontaine07 +
, https://dblp.org/rec/conf/ictac/DeharbeFRR06 +
, https://dblp.org/rec/conf/tacas/FontaineMMNT06 +
, https://dblp.org/rec/conf/lpar/FontaineRZ04 +
, https://dblp.org/rec/journals/entcs/FontaineG05 +
, https://dblp.org/rec/conf/tacas/FontaineG03 +
, https://dblp.org/rec/conf/lpar/FontaineG02 +
|
https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/32/3655 +
, https://dblp.org/pid/a/ErikaAbraham +
, https://dblp.org/pid/47/199 +
, https://dblp.org/pid/116/5052 +
, https://dblp.org/pid/b/ClarkWBarrett +
, https://dblp.org/pid/b/BerndBecker +
, https://dblp.org/pid/02/358 +
, https://dblp.org/pid/03/2520 +
, https://dblp.org/pid/11/3598 +
, https://dblp.org/pid/52/6913 +
, https://dblp.org/pid/37/1275 +
, https://dblp.org/pid/06/1641 +
, https://dblp.org/pid/48/7192 +
, https://dblp.org/pid/25/2814 +
, https://dblp.org/pid/80/4001 +
, https://dblp.org/pid/264/5081 +
, https://dblp.org/pid/13/5961 +
, https://dblp.org/pid/124/8948 +
, https://dblp.org/pid/28/1296 +
, https://dblp.org/pid/25/1547 +
, https://dblp.org/pid/205/3540 +
, https://dblp.org/pid/168/1837 +
, https://dblp.org/pid/123/4583 +
, https://dblp.org/pid/147/6096 +
, https://dblp.org/pid/175/3307 +
, https://dblp.org/pid/128/1809 +
, https://dblp.org/pid/g/VijayGanesh +
, https://dblp.org/pid/68/6702 +
, https://dblp.org/pid/06/1278 +
, https://dblp.org/pid/19/3686 +
, https://dblp.org/pid/116/5040 +
, https://dblp.org/pid/56/2424 +
, https://dblp.org/pid/125/1968 +
, https://dblp.org/pid/30/5217 +
, https://dblp.org/pid/122/3927 +
, https://dblp.org/pid/k/KonstantinKorovin +
, https://dblp.org/pid/77/1965 +
, https://dblp.org/pid/k/DanielKroening +
, https://dblp.org/pid/254/1613 +
, https://dblp.org/pid/m/JeanYvesMarion +
, https://dblp.org/pid/50/4396 +
, https://dblp.org/pid/351/3316 +
, https://dblp.org/pid/52/4601 +
, https://dblp.org/pid/61/6528 +
, https://dblp.org/pid/87/20 +
, https://dblp.org/pid/55/2431 +
, https://dblp.org/pid/69/7127 +
, https://dblp.org/pid/211/6899 +
, https://dblp.org/pid/64/228 +
, https://dblp.org/pid/r/SilvioRanise +
, https://dblp.org/pid/41/9861 +
, https://dblp.org/pid/r/CRingeissen +
, https://dblp.org/pid/79/5611 +
, https://dblp.org/pid/s/RenateASchmidt +
, https://dblp.org/pid/33/4876 +
, https://dblp.org/pid/89/3872-1 +
, https://dblp.org/pid/201/9720 +
, https://dblp.org/pid/08/6861 +
, https://dblp.org/pid/262/6232 +
, https://dblp.org/pid/36/8280 +
, https://dblp.org/pid/163/2202 +
, https://dblp.org/pid/46/656 +
, https://dblp.org/pid/23/636-1 +
, https://dblp.org/pid/s/GeoffSutcliffe +
, https://dblp.org/pid/86/1824 +
, https://dblp.org/pid/37/4921 +
, https://dblp.org/pid/t/AlwenTiu +
, https://dblp.org/pid/133/1986 +
, https://dblp.org/pid/63/5214 +
, https://dblp.org/pid/348/5964 +
, https://dblp.org/pid/91/2921 +
, https://dblp.org/pid/127/1326 +
, https://dblp.org/pid/w/UweWaldmann +
, https://dblp.org/pid/66/5973 +
, https://dblp.org/pid/42/5299 +
, https://dblp.org/pid/z/CGZarba +
, https://dblp.org/pid/147/6088 +
|
https://dblp.org/rdf/schema#creatorName
|
Pascal Fontaine
|
https://dblp.org/rdf/schema#editorOf
|
https://dblp.org/rec/journals/corr/abs-2303-12680 +
, https://dblp.org/rec/conf/cade/2020paar +
, https://dblp.org/rec/conf/cade/2019 +
, https://dblp.org/rec/conf/synasc/2016sc +
, https://dblp.org/rec/conf/cade/2016paar +
, https://dblp.org/rec/conf/cade/2012smt +
, https://dblp.org/rec/conf/cade/2012paar +
, https://dblp.org/rec/conf/frocos/2013 +
, https://dblp.org/rec/conf/pxtp/2011 +
|
https://dblp.org/rdf/schema#homepage
|
http://www.loria.fr/~fontaine/ +
|
https://dblp.org/rdf/schema#orcid
|
https://orcid.org/0000-0003-4700-6031 +
|
https://dblp.org/rdf/schema#primaryAffiliation
|
University of Liège, Belgium
|
https://dblp.org/rdf/schema#primaryCreatorName
|
Pascal Fontaine
|
https://dblp.org/rdf/schema#primaryHomepage
|
http://www.loria.fr/~fontaine/ +
|
owl:sameAs |
https://orcid.org/0000-0003-4700-6031 +
|
rdf:type |
https://dblp.org/rdf/schema#Creator +
, https://dblp.org/rdf/schema#Person +
|
rdfs:label |
Pascal Fontaine
|