Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/pid/33/3095
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/pid/33/3095
https://dblp.org/rdf/schema#affiliation University of Oxford, Department of Computer Science, UK , University of Birmingham, School of Computer Science, UK
https://dblp.org/rdf/schema#authorOf https://dblp.org/rec/conf/nfm/ElsayedAlyPF24 + , https://dblp.org/rec/journals/corr/abs-2403-09184 + , https://dblp.org/rec/journals/corr/abs-2404-10679 + , https://dblp.org/rec/journals/corr/abs-2404-15557 + , https://dblp.org/rec/journals/jair/BadingsRAPPSJ23 + , https://dblp.org/rec/journals/jocs/CarmesinWPKM23 + , https://dblp.org/rec/conf/fps/FenthamPR23 + , https://dblp.org/rec/conf/qest/Parker23 + , https://dblp.org/rec/journals/corr/abs-2301-01526 + , https://dblp.org/rec/journals/corr/abs-2306-17639 + , https://dblp.org/rec/journals/corr/abs-2308-02829 + , https://dblp.org/rec/journals/corr/abs-2309-05584 + , https://dblp.org/rec/journals/corr/abs-2309-06359 + , https://dblp.org/rec/journals/corr/abs-2309-10216 + , https://dblp.org/rec/journals/corr/abs-2310-11566 + , https://dblp.org/rec/journals/arcras/KwiatkowskaN022 + , https://dblp.org/rec/journals/sttt/BiereP22 + , https://dblp.org/rec/journals/tcps/ShengPHWLPF22 + , https://dblp.org/rec/conf/aaai/BadingsA00PS22 + , https://dblp.org/rec/conf/birthday/KwiatkowskaN0S22 + , https://dblp.org/rec/conf/iccps/ChenBPF22 + , https://dblp.org/rec/conf/iros/Li0H22 + , https://dblp.org/rec/conf/mfcs/KwiatkowskaNPSY22 + , https://dblp.org/rec/conf/nfm/BacciP22 + , https://dblp.org/rec/conf/nips/SuilenS0022 + , https://dblp.org/rec/conf/tacas/KwiatkowskaNPS22 + , https://dblp.org/rec/conf/uai/0002SD0K22 + , https://dblp.org/rec/journals/corr/abs-2201-03698 + , https://dblp.org/rec/journals/corr/abs-2201-09702 + , https://dblp.org/rec/journals/corr/abs-2202-06255 + , https://dblp.org/rec/journals/corr/abs-2205-07546 + , https://dblp.org/rec/journals/corr/abs-2205-15827 + , https://dblp.org/rec/journals/corr/abs-2206-15148 + , https://dblp.org/rec/journals/corr/abs-2211-01508 + , https://dblp.org/rec/journals/corr/abs-2211-06141 + , https://dblp.org/rec/journals/automatica/Al-AjeliP21 + , https://dblp.org/rec/journals/fac/Evangelidis021 + , https://dblp.org/rec/journals/fmsd/KwiatkowskaNPS21 + , https://dblp.org/rec/journals/tomacs/ParkerW21 + , https://dblp.org/rec/conf/icra/LiPH21 + , https://dblp.org/rec/conf/ijcai/BacciG021 + , https://dblp.org/rec/conf/iros/Li0H21 + , https://dblp.org/rec/journals/corr/abs-2105-04662 + , https://dblp.org/rec/journals/corr/abs-2110-12662 + , https://dblp.org/rec/journals/corr/abs-2111-10630 + , https://dblp.org/rec/journals/bioinformatics/ShiZTPH20 + , https://dblp.org/rec/conf/cav/KwiatkowskaN0S20 + , https://dblp.org/rec/conf/cns/OxfordPR20 + , https://dblp.org/rec/conf/formats/Bacci020 + , https://dblp.org/rec/conf/isola/BuddeHKKPQTZ20 + , https://dblp.org/rec/conf/qest/KwiatkowskaNPS20 + , https://dblp.org/rec/journals/corr/abs-2005-07073 + , https://dblp.org/rec/journals/corr/abs-2007-03365 + , https://dblp.org/rec/journals/corr/abs-2008-04613 + , https://dblp.org/rec/journals/ijrr/LacerdaFPH19 + , https://dblp.org/rec/journals/software/PfefferWFLMRSKK19 + , https://dblp.org/rec/conf/birthday/KwiatkowskaN019 + , https://dblp.org/rec/conf/esorics/Novakovic019 + , https://dblp.org/rec/conf/fm/KwiatkowskaN0S19 + , https://dblp.org/rec/conf/fm/Evangelidis019 + , https://dblp.org/rec/conf/tacas/HahnHHKKKPQRS19 + , https://dblp.org/rec/conf/tacas/HartmannsKPQR19 + , https://dblp.org/rec/journals/corr/abs-1906-09142 + , https://dblp.org/rec/journals/fgcs/EvangelidisPB18 + , https://dblp.org/rec/journals/sttt/KwiatkowskaPW18 + , https://dblp.org/rec/journals/tcbb/MuDPR18 + , https://dblp.org/rec/journals/tomacs/Parker18 + , https://dblp.org/rec/conf/iros/Faruq0LH18 + , https://dblp.org/rec/conf/qest/KwiatkowskaN0S18 + , https://dblp.org/rec/journals/corr/abs-1803-02906 + , https://dblp.org/rec/journals/corr/abs-1811-07145 + , https://dblp.org/rec/journals/rts/Norman0Z17 + , https://dblp.org/rec/conf/aips/Lacerda0H17 + , https://dblp.org/rec/conf/birthday/KwiatkowskaN017 + , https://dblp.org/rec/conf/cav/Baier0L0W17 + , https://dblp.org/rec/conf/ccgrid/EvangelidisPB17 + , https://dblp.org/rec/journals/acta/EssenJPV16 + , https://dblp.org/rec/conf/cmsb/MuD0R16 + , https://dblp.org/rec/conf/csfw/AslanyanNP16 + , https://dblp.org/rec/conf/spin/KamalesonPR16 + , https://dblp.org/rec/conf/tacas/KwiatkowskaPW16 + , https://dblp.org/rec/journals/corr/DragerFK0U15 + , https://dblp.org/rec/conf/aaaifs/Lacerda0H15 + , https://dblp.org/rec/conf/cav/BabiakBDKKM0S15 + , https://dblp.org/rec/conf/formats/Norman0Z15 + , https://dblp.org/rec/conf/ijcai/Lacerda0H15 + , https://dblp.org/rec/journals/corr/Norman0Z15 + , https://dblp.org/rec/journals/tcs/DragerKPQ14 + , https://dblp.org/rec/conf/atva/BrazdilCCFKKPU14 + , https://dblp.org/rec/conf/birthday/AbateKNP14 + , https://dblp.org/rec/conf/iros/LacerdaPH14 + , https://dblp.org/rec/conf/tacas/DragerFKPU14 + , https://dblp.org/rec/conf/birthday/KwiatkowskaPQU14 + , https://dblp.org/rec/journals/corr/BrazdilCCFKKPU14 + , https://dblp.org/rec/journals/fmsd/ChenFKPS13 + , https://dblp.org/rec/journals/fmsd/NormanPS13 + , https://dblp.org/rec/journals/iandc/KwiatkowskaNPQ13 + , https://dblp.org/rec/conf/atva/KwiatkowskaP13 + , https://dblp.org/rec/conf/csfw/ChothiaKNP13 + , https://dblp.org/rec/conf/tacas/ChenFKPS13 + , https://dblp.org/rec/conf/vmcai/DehnertKP13 + , https://dblp.org/rec/journals/corr/abs-1303-0791 + , https://dblp.org/rec/journals/fac/KwiatkowskaNP12 + , https://dblp.org/rec/journals/isca/JulvezKNP12 + , https://dblp.org/rec/conf/atva/ForejtKP12 + , https://dblp.org/rec/conf/qest/KwiatkowskaNP12 + , https://dblp.org/rec/conf/rv/ForejtKPQU12 + , https://dblp.org/rec/conf/tacas/ChenFKPS12 + , https://dblp.org/rec/series/natosec/KwiatkowskaP12 + , https://dblp.org/rec/journals/corr/abs-1206-6295 + , https://dblp.org/rec/conf/atva/FengHKP11 + , https://dblp.org/rec/conf/bicob/JulvezKNP11 + , https://dblp.org/rec/conf/cav/KwiatkowskaNP11 + , https://dblp.org/rec/conf/clima/ChenKPS11 + , https://dblp.org/rec/conf/dsn/KwiatkowskaPQ11 + , https://dblp.org/rec/conf/fase/FengKP11 + , https://dblp.org/rec/conf/qest/HahnNPWZ11 + , https://dblp.org/rec/conf/sfm/ForejtKNP11 + , https://dblp.org/rec/conf/tacas/ForejtKNPQ11 + , https://dblp.org/rec/journals/fmsd/KattenbeltKNP10 + , https://dblp.org/rec/conf/allerton/KwiatkowskaNP10 + , https://dblp.org/rec/conf/formats/KwiatkowskaNP10 + , https://dblp.org/rec/conf/qest/FengKP10 + , https://dblp.org/rec/conf/tacas/KwiatkowskaNPQ10 + , https://dblp.org/rec/journals/sigmetrics/KwiatkowskaNP09 + , https://dblp.org/rec/journals/tcs/KwiatkowskaNPV09 + , https://dblp.org/rec/journals/tse/NormanPPW09 + , https://dblp.org/rec/conf/birthday/KwiatkowskaN009 + , https://dblp.org/rec/conf/formats/KwiatkowskaNP09 + , https://dblp.org/rec/conf/fossacs/ChatzikokolakisNP09 + , https://dblp.org/rec/conf/qest/DonaldsonMP09 + , https://dblp.org/rec/conf/vmcai/KattenbeltKNP09 + , https://dblp.org/rec/journals/sigmetrics/KwiatkowskaNP08 + , https://dblp.org/rec/journals/sigmetrics/KwiatkowskaNP08a + , https://dblp.org/rec/journals/tcs/HeathKNPT08 + , https://dblp.org/rec/conf/qest/RoyPNA08 + , https://dblp.org/rec/conf/spin/CiesinskiBGP08 + , https://dblp.org/rec/journals/entcs/KattenbeltKNP08 + , https://dblp.org/rec/conf/qest/DonaldsonMP07 + , https://dblp.org/rec/conf/qest/NormanPPW07 + , https://dblp.org/rec/conf/sfm/KwiatkowskaNP07 + , https://dblp.org/rec/journals/fmsd/KwiatkowskaNPS06 + , https://dblp.org/rec/journals/sttt/YounesKNP06 + , https://dblp.org/rec/journals/sttt/DuflotKNP06 + , https://dblp.org/rec/conf/cav/KwiatkowskaNP06 + , https://dblp.org/rec/conf/cmsb/HeathKNPT06 + , https://dblp.org/rec/conf/fsttcs/GrosserNBCKP06 + , https://dblp.org/rec/conf/qest/KwiatkowskaNP06 + , https://dblp.org/rec/conf/tacas/HintonKNP06 + , https://dblp.org/rec/conf/wsc/KwiatkowskaNPTHG06 + , https://dblp.org/rec/journals/fac/NormanPKSG05 + , https://dblp.org/rec/journals/sigmetrics/KwiatkowskaNP05 + , https://dblp.org/rec/journals/tcad/NormanPKS05 + , https://dblp.org/rec/conf/dsn/ZhangPK05 + , https://dblp.org/rec/journals/entcs/KwiatkowskaNP06 + , https://dblp.org/rec/books/daglib/0015436 + , https://dblp.org/rec/journals/sttt/KwiatkowskaNP04 + , https://dblp.org/rec/conf/isola/DuflotKNP04 + , https://dblp.org/rec/conf/mascots/KwiatkowskaPZM04 + , https://dblp.org/rec/conf/qest/KwiatkowskaNP04 + , https://dblp.org/rec/conf/tacas/YounesKNP04 + , https://dblp.org/rec/conf/vlsid/NormanPKS04 + , https://dblp.org/rec/conf/voss/MinerP04 + , https://dblp.org/rec/phd/ethos/Parker03 + , https://dblp.org/rec/journals/jlp/HermannsKNPS03 + , https://dblp.org/rec/conf/formats/KwiatkowskaNPS03 + , https://dblp.org/rec/conf/cpe/KwiatkowskaNP02 + , https://dblp.org/rec/conf/delta/Parker02 + , https://dblp.org/rec/conf/hldvt/NormanPKSG02 + , https://dblp.org/rec/conf/tacas/KwiatkowskaNP02 + , https://dblp.org/rec/journals/entcs/KwiatkowskaMNP02 + , https://dblp.org/rec/conf/papm/KatoenKNP01 + , https://dblp.org/rec/conf/tacas/AlfaroKNPS00 +
https://dblp.org/rdf/schema#coCreatorWith https://dblp.org/pid/19/3904 + , https://dblp.org/pid/155/8092 + , https://dblp.org/pid/d/LucadeAlfaro + , https://dblp.org/pid/160/7942 + , https://dblp.org/pid/55/7588 + , https://dblp.org/pid/265/5960 + , https://dblp.org/pid/263/6527 + , https://dblp.org/pid/61/4460 + , https://dblp.org/pid/b/ChristelBaier + , https://dblp.org/pid/b/ArminBiere + , https://dblp.org/pid/131/6892 + , https://dblp.org/pid/261/3812 + , https://dblp.org/pid/90/8556 + , https://dblp.org/pid/18/3197 + , https://dblp.org/pid/157/8007 + , https://dblp.org/pid/294/4901 + , https://dblp.org/pid/92/5602 + , https://dblp.org/pid/32/858 + , https://dblp.org/pid/240/3961 + , https://dblp.org/pid/28/4743 + , https://dblp.org/pid/60/10964 + , https://dblp.org/pid/30/3919 + , https://dblp.org/pid/05/827 + , https://dblp.org/pid/d/PeterDittrich + , https://dblp.org/pid/11/5933 + , https://dblp.org/pid/36/968 + , https://dblp.org/pid/131/1732 + , https://dblp.org/pid/39/1661 + , https://dblp.org/pid/43/6032 + , https://dblp.org/pid/266/5333 + , https://dblp.org/pid/85/8292 + , https://dblp.org/pid/201/4865 + , https://dblp.org/pid/138/8086 + , https://dblp.org/pid/48/4233-1 + , https://dblp.org/pid/356/9059 + , https://dblp.org/pid/01/2980 + , https://dblp.org/pid/71/4021 + , https://dblp.org/pid/164/7874 + , https://dblp.org/pid/134/7846 + , https://dblp.org/pid/80/4123 + , https://dblp.org/pid/213/9138-1 + , https://dblp.org/pid/78/6159 + , https://dblp.org/pid/67/4400 + , https://dblp.org/pid/38/3003-1 + , https://dblp.org/pid/56/5838 + , https://dblp.org/pid/89/7952 + , https://dblp.org/pid/35/1190 + , https://dblp.org/pid/14/1570-1 + , https://dblp.org/pid/25/3464 + , https://dblp.org/pid/124/8982 + , https://dblp.org/pid/h/HolgerHermanns + , https://dblp.org/pid/147/5951 + , https://dblp.org/pid/45/6325 + , https://dblp.org/pid/32/8421-1 + , https://dblp.org/pid/55/5062 + , https://dblp.org/pid/43/3867 + , https://dblp.org/pid/178/2905 + , https://dblp.org/pid/k/JoostPieterKatoen + , https://dblp.org/pid/77/5594 + , https://dblp.org/pid/13/8409 + , https://dblp.org/pid/72/7537 + , https://dblp.org/pid/199/2503 + , https://dblp.org/pid/k/JoachimKlein1 + , https://dblp.org/pid/k/CAKnoblock + , https://dblp.org/pid/95/6511 + , https://dblp.org/pid/41/2378 + , https://dblp.org/pid/22/6935 + , https://dblp.org/pid/k/MartaZKwiatkowska + , https://dblp.org/pid/87/10333 + , https://dblp.org/pid/283/4419 + , https://dblp.org/pid/16/6465 + , https://dblp.org/pid/236/3458 + , https://dblp.org/pid/134/3464 + , https://dblp.org/pid/181/8863 + , https://dblp.org/pid/194/2764 + , https://dblp.org/pid/63/6961 + , https://dblp.org/pid/83/3062 + , https://dblp.org/pid/39/179 + , https://dblp.org/pid/79/7538 + , https://dblp.org/pid/75/4191 + , https://dblp.org/pid/139/8389-1 + , https://dblp.org/pid/n/FlemmingNielson + , https://dblp.org/pid/59/1659 + , https://dblp.org/pid/125/8259 + , https://dblp.org/pid/272/2861 + , https://dblp.org/pid/193/7520 + , https://dblp.org/pid/p/CPalamidessi + , https://dblp.org/pid/p/PPanangaden + , https://dblp.org/pid/p/AviPfeffer + , https://dblp.org/pid/139/3501 + , https://dblp.org/pid/q/HongyangQu + , https://dblp.org/pid/162/9630 + , https://dblp.org/pid/123/9540 + , https://dblp.org/pid/223/2586 + , https://dblp.org/pid/65/2039 + , https://dblp.org/pid/83/3378 + , https://dblp.org/pid/153/2435 + , https://dblp.org/pid/27/6345 + , https://dblp.org/pid/r/MarkDermotRyan + , https://dblp.org/pid/19/7786 + , https://dblp.org/pid/s/RobertoSegala + , https://dblp.org/pid/176/6761 + , https://dblp.org/pid/67/3378 + , https://dblp.org/pid/79/4354 + , https://dblp.org/pid/s/SKShukla + , https://dblp.org/pid/99/126 + , https://dblp.org/pid/42/10122 + , https://dblp.org/pid/229/5739 + , https://dblp.org/pid/71/3720 + , https://dblp.org/pid/178/8676 + , https://dblp.org/pid/20/3901 + , https://dblp.org/pid/37/1716 + , https://dblp.org/pid/258/5780 + , https://dblp.org/pid/50/3146 + , https://dblp.org/pid/51/3769 + , https://dblp.org/pid/20/6277 + , https://dblp.org/pid/20/10607 + , https://dblp.org/pid/180/8512 + , https://dblp.org/pid/66/2361 + , https://dblp.org/pid/59/1837 + , https://dblp.org/pid/201/8509 + , https://dblp.org/pid/120/7602 + , https://dblp.org/pid/04/6065 + , https://dblp.org/pid/286/9686 + , https://dblp.org/pid/05/6516 + , https://dblp.org/pid/w/PengWu2 + , https://dblp.org/pid/143/2676 + , https://dblp.org/pid/19/2405-2 + , https://dblp.org/pid/y/HakanLSYounes + , https://dblp.org/pid/132/9048 + , https://dblp.org/pid/76/4015-1 + , https://dblp.org/pid/64/6544 + , https://dblp.org/pid/19/5112-6 + , https://dblp.org/pid/17/4590 + , https://dblp.org/pid/150/8081 +
https://dblp.org/rdf/schema#creatorName David Parker , David Anthony Parker
https://dblp.org/rdf/schema#editorOf https://dblp.org/rec/conf/formats/2022 + , https://dblp.org/rec/conf/tacas/2020-1 + , https://dblp.org/rec/conf/tacas/2020-2 + , https://dblp.org/rec/conf/qest/2019 + , https://dblp.org/rec/conf/spin/2012 +
https://dblp.org/rdf/schema#homepage https://www.cs.ox.ac.uk/people/david.parker/home.html + , http://www.cs.bham.ac.uk/~parkerdx/ +
https://dblp.org/rdf/schema#orcid https://orcid.org/0000-0003-4137-8862 +
https://dblp.org/rdf/schema#primaryAffiliation University of Oxford, Department of Computer Science, UK
https://dblp.org/rdf/schema#primaryCreatorName David Parker
https://dblp.org/rdf/schema#primaryHomepage https://www.cs.ox.ac.uk/people/david.parker/home.html +
https://dblp.org/rdf/schema#proxyAmbiguousCreator https://dblp.org/pid/169/5804 +
https://dblp.org/rdf/schema#webpage https://www.scopus.com/authid/detail.uri?authorId=55569107000 +
https://dblp.org/rdf/schema#wikidata http://www.wikidata.org/entity/Q57284507 +
owl:sameAs https://orcid.org/0000-0003-4137-8862 + , http://www.wikidata.org/entity/Q57284507 + , https://d-nb.info/gnd/1197568387 +
rdf:type https://dblp.org/rdf/schema#Creator + , https://dblp.org/rdf/schema#Person +
rdfs:label David Parker 0001
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://www.b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Fpid-2F33-2F3095"