Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/pid/84/3029
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/pid/84/3029
https://dblp.org/rdf/schema#affiliation NASA Jet Propulsion Laboratory, Pasadena, CA, USA
https://dblp.org/rdf/schema#authorOf https://dblp.org/rec/journals/computer/GoodloeH24 + , https://dblp.org/rec/journals/sttt/HavelundH24 + , https://dblp.org/rec/conf/vmcai/HavelundKOPT24 + , https://dblp.org/rec/journals/sttt/ShafieiHM23 + , https://dblp.org/rec/conf/birthday/DuckettHS23 + , https://dblp.org/rec/conf/rv/HavelundP23 + , https://dblp.org/rec/conf/vecos/AhrendtH23 + , https://dblp.org/rec/journals/fmsd/HavelundP22 + , https://dblp.org/rec/conf/isola/HavelundTSS22 + , https://dblp.org/rec/conf/isola/Havelund22 + , https://dblp.org/rec/conf/isola/DamsHK22 + , https://dblp.org/rec/conf/rv/DamsHK22 + , https://dblp.org/rec/journals/sttt/HavelundP21 + , https://dblp.org/rec/journals/sttt/KauffmanHF21 + , https://dblp.org/rec/conf/isola/HavelundS21 + , https://dblp.org/rec/conf/isola/HavelundB21 + , https://dblp.org/rec/conf/sefm/HavelundOP21 + , https://dblp.org/rec/journals/fmsd/HavelundPU20 + , https://dblp.org/rec/conf/atva/HavelundP20 + , https://dblp.org/rec/conf/ictac/KurkluH20 + , https://dblp.org/rec/conf/rv/HavelundP20 + , https://dblp.org/rec/conf/rv/ShafieiHM20 + , https://dblp.org/rec/journals/sttt/BartocciFBCDHJK19 + , https://dblp.org/rec/journals/sttt/ErdogmusH19 + , https://dblp.org/rec/conf/birthday/HavelundS19 + , https://dblp.org/rec/conf/rv/HavelundP19 + , https://dblp.org/rec/conf/rv/KauffmanHF19 + , https://dblp.org/rec/series/lncs/HavelundRR19 + , https://dblp.org/rec/journals/fmsd/KauffmanHJF18 + , https://dblp.org/rec/conf/birthday/PeledH18 + , https://dblp.org/rec/conf/cpsweek/HavelundPU18 + , https://dblp.org/rec/conf/isola/BroyHKS18 + , https://dblp.org/rec/conf/isola/HavelundP18 + , https://dblp.org/rec/conf/isola/HavelundJ18 + , https://dblp.org/rec/conf/rv/HavelundR18 + , https://dblp.org/rec/conf/rv/HavelundP18 + , https://dblp.org/rec/conf/spin/HavelundP18 + , https://dblp.org/rec/series/lncs/HavelundRTZ18 + , https://dblp.org/rec/conf/birthday/HavelundR17 + , https://dblp.org/rec/conf/fmcad/HavelundPU17 + , https://dblp.org/rec/conf/safecomp/HavelundJ17 + , https://dblp.org/rec/conf/serene/HavelundJ17 + , https://dblp.org/rec/journals/dagstuhl-reports/HavelundLRS17 + , https://dblp.org/rec/journals/fomac/HavelundK16 + , https://dblp.org/rec/journals/sttt/AbrahamH16 + , https://dblp.org/rec/conf/isola/BroyHKS16 + , https://dblp.org/rec/conf/isola/BroyHK16 + , https://dblp.org/rec/conf/isola/RegerH16 + , https://dblp.org/rec/conf/isola/KauffmanJH16 + , https://dblp.org/rec/conf/isola/GurovHHM16 + , https://dblp.org/rec/conf/modelsward/HavelundKDC16 + , https://dblp.org/rec/conf/rv/KauffmanHJ16 + , https://dblp.org/rec/journals/sttt/Havelund15 + , https://dblp.org/rec/conf/icfem/ArthoHKY15 + , https://dblp.org/rec/conf/syde/HavelundR15 + , https://dblp.org/rec/journals/amai/GroceHHJX14 + , https://dblp.org/rec/journals/sttt/BensalemHO14 + , https://dblp.org/rec/conf/fm/BjornerH14 + , https://dblp.org/rec/conf/ftscs/HavelundJ14 + , https://dblp.org/rec/conf/icfem/HavelundJ14 + , https://dblp.org/rec/conf/isola/Havelund14 + , https://dblp.org/rec/conf/tase/Havelund14 + , https://dblp.org/rec/conf/birthday/Havelund14 + , https://dblp.org/rec/conf/birthday/Havelund14a + , https://dblp.org/rec/conf/rv/Havelund13 + , https://dblp.org/rec/series/natosec/FalconeHR13 + , https://dblp.org/rec/journals/fmsd/SeysterDHGHSSZ12 + , https://dblp.org/rec/journals/sttt/SokolskyHL12 + , https://dblp.org/rec/conf/fm/BarringerFHRR12 + , https://dblp.org/rec/conf/isola/Havelund12 + , https://dblp.org/rec/conf/pts/Havelund12 + , https://dblp.org/rec/conf/emsoft/HavelundH11 + , https://dblp.org/rec/conf/fm/BarringerH11 + , https://dblp.org/rec/conf/rv/BarringerH11 + , https://dblp.org/rec/conf/rv/StollerBSGHSZ11 + , https://dblp.org/rec/journals/ibmrd/AgarwalBFHNSUW10 + , https://dblp.org/rec/journals/jacic/BennettBHIW10 + , https://dblp.org/rec/journals/jacic/BarringerGHS10 + , https://dblp.org/rec/journals/logcom/BarringerRH10 + , https://dblp.org/rec/journals/tse/BoddenH10 + , https://dblp.org/rec/conf/icse/GroceHS10 + , https://dblp.org/rec/conf/rv/SeysterDHGHSSZ10 + , https://dblp.org/rec/conf/dagstuhl/HavelundLSSW10 + , https://dblp.org/rec/conf/dagstuhl/HavelundLSSW10a + , https://dblp.org/rec/conf/rv/BarringerHRG09 + , https://dblp.org/rec/journals/corr/abs-1003-1682 + , https://dblp.org/rec/conf/issta/BoddenH08 + , https://dblp.org/rec/conf/mochart/HavelundGHJS08 + , https://dblp.org/rec/conf/pts/Havelund08 + , https://dblp.org/rec/conf/re/SmithH08 + , https://dblp.org/rec/journals/concurrency/EytaniHSU07 + , https://dblp.org/rec/conf/compsac/ArthoHH07 + , https://dblp.org/rec/conf/rv/BarringerRH07 + , https://dblp.org/rec/conf/dagstuhl/FinkbeinerHRS07 + , https://dblp.org/rec/conf/dagstuhl/FinkbeinerHRS07a + , https://dblp.org/rec/conf/issta/BensalemFHM06 + , https://dblp.org/rec/journals/ase/RosuH05 + , https://dblp.org/rec/journals/fmsd/HavelundR05 + , https://dblp.org/rec/journals/sigsoft/dAmorimH05 + , https://dblp.org/rec/journals/tcs/ArthoBGHKLPRSVW05 + , https://dblp.org/rec/conf/hvc/BensalemH05 + , https://dblp.org/rec/conf/vstte/HavelundG05 + , https://dblp.org/rec/conf/vveis/GoldbergH05 + , https://dblp.org/rec/journals/fmsd/HavelundR04 + , https://dblp.org/rec/journals/fmsd/HavelundR04a + , https://dblp.org/rec/journals/fmsd/BratDGGHLPVVW04 + , https://dblp.org/rec/journals/sttt/HavelundR04 + , https://dblp.org/rec/conf/atva/ArthoHB04 + , https://dblp.org/rec/conf/ipps/BarringerGHS04 + , https://dblp.org/rec/conf/vmcai/BarringerGHS04 + , https://dblp.org/rec/conf/vmcai/ArthoH04 + , https://dblp.org/rec/journals/entcs/HavelundR05 + , https://dblp.org/rec/journals/ase/VisserHBPL03 + , https://dblp.org/rec/journals/stvr/ArthoHB03 + , https://dblp.org/rec/conf/asm/ArthoDGHLPRV03 + , https://dblp.org/rec/conf/ipps/HavelundSU03 + , https://dblp.org/rec/conf/nddl/ArthoHB03 + , https://dblp.org/rec/journals/sttt/HavelundV02 + , https://dblp.org/rec/conf/tacas/HavelundR02 + , https://dblp.org/rec/journals/entcs/HavelundR02 + , https://dblp.org/rec/journals/tse/HavelundLP01 + , https://dblp.org/rec/conf/kbse/HavelundR01 + , https://dblp.org/rec/conf/kbse/GiannakopoulouH01 + , https://dblp.org/rec/conf/time/KhatibMH01 + , https://dblp.org/rec/journals/entcs/HavelundR01a + , https://dblp.org/rec/journals/entcs/HavelundR01 + , https://dblp.org/rec/journals/sttt/HavelundP00 + , https://dblp.org/rec/conf/faabs/KhatibMH00 + , https://dblp.org/rec/conf/kbse/VisserHBP00 + , https://dblp.org/rec/conf/spin/Havelund00 + , https://dblp.org/rec/conf/arts/HavelundLS99 + , https://dblp.org/rec/conf/ipps/Havelund99 + , https://dblp.org/rec/conf/spin/Havelund99 + , https://dblp.org/rec/conf/spin/HavelundS99 + , https://dblp.org/rec/conf/ismis/LowryHP97 + , https://dblp.org/rec/conf/kbse/PenixAH97 + , https://dblp.org/rec/conf/rtss/HavelundSLL97 + , https://dblp.org/rec/conf/fm/HavelundS96 + , https://dblp.org/rec/journals/njc/HavelundL94 + , https://dblp.org/rec/conf/pstv/HavelundL94 + , https://dblp.org/rec/conf/icalp/HavelundL93 + , https://dblp.org/rec/journals/fgcs/BjornerHH92 + , https://dblp.org/rec/journals/fac/NielsenHWG89 + , https://dblp.org/rec/conf/fm/NielsenHWG88 +
https://dblp.org/rdf/schema#coCreatorWith https://dblp.org/pid/a/ErikaAbraham + , https://dblp.org/pid/08/3103 + , https://dblp.org/pid/91/1275 + , https://dblp.org/pid/76/6437 + , https://dblp.org/pid/21/6330 + , https://dblp.org/pid/b/HBarringer + , https://dblp.org/pid/b/EzioBartocci + , https://dblp.org/pid/40/151 + , https://dblp.org/pid/01/5624 + , https://dblp.org/pid/b/ArminBiere + , https://dblp.org/pid/b/DinesBjorner + , https://dblp.org/pid/g/MihaelaGheorghiuBobaru + , https://dblp.org/pid/50/10322 + , https://dblp.org/pid/94/5744 + , https://dblp.org/pid/59/6397 + , https://dblp.org/pid/151/8962 + , https://dblp.org/pid/03/3836 + , https://dblp.org/pid/b/ManfredBroy + , https://dblp.org/pid/62/152 + , https://dblp.org/pid/39/7271 + , https://dblp.org/pid/16/608 + , https://dblp.org/pid/d/DennisDams + , https://dblp.org/pid/117/5448 + , https://dblp.org/pid/183/9444 + , https://dblp.org/pid/42/160 + , https://dblp.org/pid/56/8730 + , https://dblp.org/pid/16/331 + , https://dblp.org/pid/357/0437 + , https://dblp.org/pid/e/HakanErdogmus + , https://dblp.org/pid/54/4577 + , https://dblp.org/pid/11/5986 + , https://dblp.org/pid/27/1084 + , https://dblp.org/pid/f/JeanClaudeFernandez + , https://dblp.org/pid/73/4443 + , https://dblp.org/pid/59/4811 + , https://dblp.org/pid/04/7024 + , https://dblp.org/pid/39/117 + , https://dblp.org/pid/01/5453 + , https://dblp.org/pid/06/60 + , https://dblp.org/pid/g/AlexGroce + , https://dblp.org/pid/94/5421 + , https://dblp.org/pid/47/1237 + , https://dblp.org/pid/70/2068 + , https://dblp.org/pid/h/GerardJHolzmann + , https://dblp.org/pid/11/2522 + , https://dblp.org/pid/18/1664 + , https://dblp.org/pid/76/6612 + , https://dblp.org/pid/12/3404 + , https://dblp.org/pid/50/1308 + , https://dblp.org/pid/133/8185 + , https://dblp.org/pid/20/2927 + , https://dblp.org/pid/179/3160 + , https://dblp.org/pid/k/LinaKhatib + , https://dblp.org/pid/k/SarfrazKhurshid + , https://dblp.org/pid/27/6182 + , https://dblp.org/pid/92/5081-1 + , https://dblp.org/pid/34/614 + , https://dblp.org/pid/l/KimGuldstrandLarsen + , https://dblp.org/pid/l/InsupLee + , https://dblp.org/pid/38/6631 + , https://dblp.org/pid/l/MartinLeucker + , https://dblp.org/pid/90/685 + , https://dblp.org/pid/123/2982 + , https://dblp.org/pid/71/1981 + , https://dblp.org/pid/91/1422 + , https://dblp.org/pid/138/3765 + , https://dblp.org/pid/77/733 + , https://dblp.org/pid/07/2632 + , https://dblp.org/pid/22/5493 + , https://dblp.org/pid/n/MogensNielsen + , https://dblp.org/pid/74/1854 + , https://dblp.org/pid/n/ManuelNunez + , https://dblp.org/pid/308/2017 + , https://dblp.org/pid/89/6226 + , https://dblp.org/pid/52/776 + , https://dblp.org/pid/p/JPalsberg + , https://dblp.org/pid/68/3940 + , https://dblp.org/pid/03/4368 + , https://dblp.org/pid/p/DPeled + , https://dblp.org/pid/24/440 + , https://dblp.org/pid/84/3141 + , https://dblp.org/pid/51/9867 + , https://dblp.org/pid/27/5966 + , https://dblp.org/pid/118/0099 + , https://dblp.org/pid/r/AWRoscoe + , https://dblp.org/pid/r/GrigoreRosu + , https://dblp.org/pid/49/4270 + , https://dblp.org/pid/14/3994 + , https://dblp.org/pid/04/418 + , https://dblp.org/pid/36/3229 + , https://dblp.org/pid/88/11470 + , https://dblp.org/pid/33/1623 + , https://dblp.org/pid/26/3282 + , https://dblp.org/pid/54/6413 + , https://dblp.org/pid/34/2824 + , https://dblp.org/pid/24/3829 + , https://dblp.org/pid/s/ScottASmolka + , https://dblp.org/pid/145/1000 + , https://dblp.org/pid/31/4030 + , https://dblp.org/pid/s/BernhardSteffen + , https://dblp.org/pid/265/1498 + , https://dblp.org/pid/09/6787 + , https://dblp.org/pid/24/2502 + , https://dblp.org/pid/250/3037 + , https://dblp.org/pid/285/1434 + , https://dblp.org/pid/08/7448 + , https://dblp.org/pid/81/6785 + , https://dblp.org/pid/137/4307 + , https://dblp.org/pid/41/371 + , https://dblp.org/pid/59/4227 + , https://dblp.org/pid/64/918 + , https://dblp.org/pid/54/5019 + , https://dblp.org/pid/42/5626-2 + , https://dblp.org/pid/20/3928 + , https://dblp.org/pid/02/3331 + , https://dblp.org/pid/57/1203 + , https://dblp.org/pid/33/2153-1 + , https://dblp.org/pid/63/5369 + , https://dblp.org/pid/00/2144 + , https://dblp.org/pid/00/5321 + , https://dblp.org/pid/71/1341 + , https://dblp.org/pid/65/4319 + , https://dblp.org/pid/64/6544 +
https://dblp.org/rdf/schema#creatorName Klaus Havelund
https://dblp.org/rdf/schema#editorOf https://dblp.org/rec/conf/nfm/2022 + , https://dblp.org/rec/conf/fm/2018 + , https://dblp.org/rec/conf/rv/2017cubes + , https://dblp.org/rec/conf/spin/2017 + , https://dblp.org/rec/conf/nfm/2015 + , https://dblp.org/rec/conf/tacas/2014 + , https://dblp.org/rec/conf/nfm/2011 + , https://dblp.org/rec/conf/dagstuhl/2010P10451 + , https://dblp.org/rec/conf/rv/2010 + , https://dblp.org/rec/conf/dagstuhl/2007P7011 + , https://dblp.org/rec/conf/spin/2008 + , https://dblp.org/rec/conf/fates/2006 + , https://dblp.org/rec/conf/rv/2004 + , https://dblp.org/rec/conf/rv/2002 + , https://dblp.org/rec/conf/rv/2001 + , https://dblp.org/rec/conf/spin/2000 +
https://dblp.org/rdf/schema#homepage http://www.havelund.com/ +
https://dblp.org/rdf/schema#orcid https://orcid.org/0000-0001-7079-0472 +
https://dblp.org/rdf/schema#primaryAffiliation NASA Jet Propulsion Laboratory, Pasadena, CA, USA
https://dblp.org/rdf/schema#primaryCreatorName Klaus Havelund
https://dblp.org/rdf/schema#primaryHomepage http://www.havelund.com/ +
https://dblp.org/rdf/schema#webpage https://scholar.google.com/citations?user=yr-qU5MAAAAJ + , https://dl.acm.org/profile/81100568202 +
https://dblp.org/rdf/schema#wikidata http://www.wikidata.org/entity/Q58468079 +
owl:sameAs https://orcid.org/0000-0001-7079-0472 + , http://www.wikidata.org/entity/Q58468079 + , https://id.loc.gov/authorities/names/n00005481 + , https://d-nb.info/gnd/1069807605 +
rdf:type https://dblp.org/rdf/schema#Creator + , https://dblp.org/rdf/schema#Person +
rdfs:label Klaus Havelund
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-2F84-2F3029"