https://dblp.org/rdf/schema#affiliation
|
Carnegie Mellon University, Pittsburgh, USA
|
https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/journals/dt/KoopmanW24 +
, https://dblp.org/rec/journals/corr/abs-2402-06046 +
, https://dblp.org/rec/journals/corr/abs-2404-16768 +
, https://dblp.org/rec/journals/computer/Koopman23 +
, https://dblp.org/rec/conf/safecomp/KoopmanW23 +
, https://dblp.org/rec/journals/corr/abs-2302-13432 +
, https://dblp.org/rec/journals/corr/abs-2304-13496 +
, https://dblp.org/rec/conf/issre/Koopman22 +
, https://dblp.org/rec/journals/computer/KoopmanKWW21 +
, https://dblp.org/rec/journals/fr/PezzementiTCTDSHWK21 +
, https://dblp.org/rec/conf/dsn/ZizyteHDGK21 +
, https://dblp.org/rec/conf/dsn/KatzZHGLSKWG20 +
, https://dblp.org/rec/conf/safecomp/KoopmanW20 +
, https://dblp.org/rec/journals/corr/abs-2009-05801 +
, https://dblp.org/rec/conf/aaai/KoopmanF19 +
, https://dblp.org/rec/conf/safecomp/KoopmanOW19 +
, https://dblp.org/rec/conf/safecomp/KoopmanFFW19 +
, https://dblp.org/rec/journals/corr/abs-1911-01207 +
, https://dblp.org/rec/journals/cem/Koopman18 +
, https://dblp.org/rec/conf/icse/HutchisonZLGWGK18 +
, https://dblp.org/rec/conf/safecomp/Koopman18 +
, https://dblp.org/rec/conf/ssrr/PezzementiTYCDG18 +
, https://dblp.org/rec/journals/itsm/KoopmanW17 +
, https://dblp.org/rec/conf/cpsweek/Koopman17 +
, https://dblp.org/rec/conf/iros/VernazaGWK15 +
, https://dblp.org/rec/conf/rv/KaneCDK15 +
, https://dblp.org/rec/conf/dsn/KaneFK14 +
, https://dblp.org/rec/journals/ieeesp/KoopmanS13 +
, https://dblp.org/rec/conf/safecomp/KaneK13 +
, https://dblp.org/rec/books/daglib/0027562 +
, https://dblp.org/rec/journals/pieee/AbdallahFHKW10 +
, https://dblp.org/rec/conf/cases/SzilagyiK10 +
, https://dblp.org/rec/conf/esweek/Koopman10 +
, https://dblp.org/rec/conf/mmb/KoopmanR10 +
, https://dblp.org/rec/journals/tdsc/MaxinoK09 +
, https://dblp.org/rec/conf/dsn/SzilagyiK09 +
, https://dblp.org/rec/conf/dsn/RayK09 +
, https://dblp.org/rec/conf/dsn/BlackK09 +
, https://dblp.org/rec/conf/dsn/KoopmanM08 +
, https://dblp.org/rec/conf/prdc/BlackK08 +
, https://dblp.org/rec/conf/ladc/Koopman07 +
, https://dblp.org/rec/conf/dsn/RayK06 +
, https://dblp.org/rec/journals/sigsoft/MorrisK05 +
, https://dblp.org/rec/journals/tecs/KoopmanCGKMNPRSSSTW05 +
, https://dblp.org/rec/conf/dsn/PaulitschMHDLK05 +
, https://dblp.org/rec/conf/dsn/LatronicoK05 +
, https://dblp.org/rec/conf/icse/MorrisK05 +
, https://dblp.org/rec/journals/computer/Koopman04 +
, https://dblp.org/rec/conf/dsn/KoopmanC04 +
, https://dblp.org/rec/conf/dsn/LatronicoMK04 +
, https://dblp.org/rec/conf/dsn/SheltonK04 +
, https://dblp.org/rec/conf/dsn/MorrisKK04 +
, https://dblp.org/rec/conf/prdc/MartinK04 +
, https://dblp.org/rec/conf/seke/RazBSKF04 +
, https://dblp.org/rec/journals/expert/KoopmanH03 +
, https://dblp.org/rec/conf/words/SheltonKN03 +
, https://dblp.org/rec/journals/micro/Koopman02 +
, https://dblp.org/rec/conf/dsn/DeValeK02 +
, https://dblp.org/rec/conf/dsn/IyerIKKMHKLMVW02 +
, https://dblp.org/rec/conf/dsn/Koopman02 +
, https://dblp.org/rec/conf/dsn/KoopmanM02 +
, https://dblp.org/rec/conf/icse/SheltonK02 +
, https://dblp.org/rec/conf/icse/RazKS02 +
, https://dblp.org/rec/conf/words/BeveridgeK02 +
, https://dblp.org/rec/conf/woss/RazKS02 +
, https://dblp.org/rec/conf/dsn/PanKSHGJ01 +
, https://dblp.org/rec/conf/dsn/DeValeK01 +
, https://dblp.org/rec/conf/uml/LatronicoK01 +
, https://dblp.org/rec/journals/tse/KoopmanD00 +
, https://dblp.org/rec/conf/dac/MalikALKSW00 +
, https://dblp.org/rec/conf/dsn/SheltonKD00 +
, https://dblp.org/rec/conf/ifip10-3/NaceK00 +
, https://dblp.org/rec/conf/ftcs/KoopmanD99 +
, https://dblp.org/rec/conf/hase/HooverHKT99 +
, https://dblp.org/rec/conf/issre/FernslerK99 +
, https://dblp.org/rec/conf/wsc/CholkarK99 +
, https://dblp.org/rec/journals/icae/Koopman98 +
, https://dblp.org/rec/journals/jits/KoopmanB98 +
, https://dblp.org/rec/conf/ftcs/KroppKS98 +
, https://dblp.org/rec/conf/srds/KoopmanSDSM97 +
, https://dblp.org/rec/conf/iccd/Koopman96 +
, https://dblp.org/rec/journals/sigarch/KeownKC92 +
, https://dblp.org/rec/journals/sigmetrics/KeownKC92 +
, https://dblp.org/rec/journals/toplas/KoopmanLS92 +
, https://dblp.org/rec/conf/forth/Koopman91 +
, https://dblp.org/rec/conf/iccl/KoopmanLS90 +
, https://dblp.org/rec/conf/pldi/KoopmanL89 +
|
https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/84/916 +
, https://dblp.org/pid/80/1679 +
, https://dblp.org/pid/164/0301 +
, https://dblp.org/pid/68/1456 +
, https://dblp.org/pid/36/6301 +
, https://dblp.org/pid/67/48 +
, https://dblp.org/pid/65/4219 +
, https://dblp.org/pid/47/8758 +
, https://dblp.org/pid/99/4429 +
, https://dblp.org/pid/c/HowieChoset +
, https://dblp.org/pid/53/7986 +
, https://dblp.org/pid/31/2307 +
, https://dblp.org/pid/c/MichelCukier +
, https://dblp.org/pid/d/AnupamDatta +
, https://dblp.org/pid/63/5924 +
, https://dblp.org/pid/63/2042 +
, https://dblp.org/pid/90/1154 +
, https://dblp.org/pid/50/6405-1 +
, https://dblp.org/pid/41/4989 +
, https://dblp.org/pid/195/8855 +
, https://dblp.org/pid/f/CFaloutsos +
, https://dblp.org/pid/161/8339 +
, https://dblp.org/pid/76/3866 +
, https://dblp.org/pid/150/8142 +
, https://dblp.org/pid/236/1953 +
, https://dblp.org/pid/21/5270 +
, https://dblp.org/pid/10/3954 +
, https://dblp.org/pid/93/4573 +
, https://dblp.org/pid/g/RobertGruber +
, https://dblp.org/pid/173/6231 +
, https://dblp.org/pid/63/6019 +
, https://dblp.org/pid/30/283 +
, https://dblp.org/pid/320/2965 +
, https://dblp.org/pid/357/8889 +
, https://dblp.org/pid/68/5376 +
, https://dblp.org/pid/06/1253 +
, https://dblp.org/pid/22/3028 +
, https://dblp.org/pid/85/1583 +
, https://dblp.org/pid/84/3147 +
, https://dblp.org/pid/221/0659 +
, https://dblp.org/pid/i/RavishankarKIyer +
, https://dblp.org/pid/99/4209 +
, https://dblp.org/pid/18/5985 +
, https://dblp.org/pid/141/6279 +
, https://dblp.org/pid/20/2895 +
, https://dblp.org/pid/202/8421 +
, https://dblp.org/pid/88/832 +
, https://dblp.org/pid/k/DanielKroening +
, https://dblp.org/pid/09/3035 +
, https://dblp.org/pid/10/4504 +
, https://dblp.org/pid/k/BenjaminKuipers +
, https://dblp.org/pid/90/3952 +
, https://dblp.org/pid/27/1943 +
, https://dblp.org/pid/83/846 +
, https://dblp.org/pid/l/PeterLee1 +
, https://dblp.org/pid/44/1388 +
, https://dblp.org/pid/33/2879 +
, https://dblp.org/pid/79/6934 +
, https://dblp.org/pid/59/2715 +
, https://dblp.org/pid/05/1419-4 +
, https://dblp.org/pid/32/157 +
, https://dblp.org/pid/307/2690 +
, https://dblp.org/pid/36/5520 +
, https://dblp.org/pid/13/1756 +
, https://dblp.org/pid/24/4066 +
, https://dblp.org/pid/44/135 +
, https://dblp.org/pid/n/PriyaNarasimhan +
, https://dblp.org/pid/226/9505 +
, https://dblp.org/pid/58/5894 +
, https://dblp.org/pid/95/1655 +
, https://dblp.org/pid/79/3385 +
, https://dblp.org/pid/97/2833 +
, https://dblp.org/pid/16/36 +
, https://dblp.org/pid/79/3907 +
, https://dblp.org/pid/96/1878 +
, https://dblp.org/pid/125/5781 +
, https://dblp.org/pid/s/ALSangiovanniV +
, https://dblp.org/pid/93/5634 +
, https://dblp.org/pid/03/3821 +
, https://dblp.org/pid/50/842 +
, https://dblp.org/pid/68/3947 +
, https://dblp.org/pid/89/5868 +
, https://dblp.org/pid/s/PeterSteenkiste +
, https://dblp.org/pid/64/3208 +
, https://dblp.org/pid/48/9436 +
, https://dblp.org/pid/47/7893 +
, https://dblp.org/pid/132/4028 +
, https://dblp.org/pid/74/6072 +
, https://dblp.org/pid/t/DonaldEThomas +
, https://dblp.org/pid/311/3595 +
, https://dblp.org/pid/07/1924 +
, https://dblp.org/pid/21/4750 +
, https://dblp.org/pid/21/4084-7 +
, https://dblp.org/pid/52/3121 +
, https://dblp.org/pid/242/4626 +
, https://dblp.org/pid/202/4076 +
, https://dblp.org/pid/15/4340 +
, https://dblp.org/pid/w/WayneWolf +
, https://dblp.org/pid/226/8808 +
, https://dblp.org/pid/221/0687 +
|
https://dblp.org/rdf/schema#creatorName
|
Philip Koopman
, Phil Koopman
, Philip J. Koopman Jr.
|
https://dblp.org/rdf/schema#creatorOf
|
https://dblp.org/rec/journals/dt/KoopmanW24 +
, https://dblp.org/rec/journals/corr/abs-2402-06046 +
, https://dblp.org/rec/journals/corr/abs-2404-16768 +
, https://dblp.org/rec/journals/computer/Koopman23 +
, https://dblp.org/rec/conf/safecomp/KoopmanW23 +
, https://dblp.org/rec/journals/corr/abs-2302-13432 +
, https://dblp.org/rec/journals/corr/abs-2304-13496 +
, https://dblp.org/rec/conf/issre/Koopman22 +
, https://dblp.org/rec/journals/computer/KoopmanKWW21 +
, https://dblp.org/rec/journals/fr/PezzementiTCTDSHWK21 +
, https://dblp.org/rec/conf/dsn/ZizyteHDGK21 +
, https://dblp.org/rec/conf/dsn/KatzZHGLSKWG20 +
, https://dblp.org/rec/conf/safecomp/KoopmanW20 +
, https://dblp.org/rec/journals/corr/abs-2009-05801 +
, https://dblp.org/rec/conf/aaai/KoopmanF19 +
, https://dblp.org/rec/conf/safecomp/KoopmanOW19 +
, https://dblp.org/rec/conf/safecomp/KoopmanFFW19 +
, https://dblp.org/rec/journals/corr/abs-1911-01207 +
, https://dblp.org/rec/journals/cem/Koopman18 +
, https://dblp.org/rec/conf/icse/HutchisonZLGWGK18 +
, https://dblp.org/rec/conf/safecomp/Koopman18 +
, https://dblp.org/rec/conf/ssrr/PezzementiTYCDG18 +
, https://dblp.org/rec/journals/itsm/KoopmanW17 +
, https://dblp.org/rec/conf/cpsweek/Koopman17 +
, https://dblp.org/rec/conf/iros/VernazaGWK15 +
, https://dblp.org/rec/conf/rv/KaneCDK15 +
, https://dblp.org/rec/conf/dsn/KaneFK14 +
, https://dblp.org/rec/journals/ieeesp/KoopmanS13 +
, https://dblp.org/rec/conf/safecomp/KaneK13 +
, https://dblp.org/rec/conf/dsn/2012 +
, https://dblp.org/rec/books/daglib/0027562 +
, https://dblp.org/rec/journals/pieee/AbdallahFHKW10 +
, https://dblp.org/rec/conf/cases/SzilagyiK10 +
, https://dblp.org/rec/conf/esweek/Koopman10 +
, https://dblp.org/rec/conf/mmb/KoopmanR10 +
, https://dblp.org/rec/journals/tdsc/MaxinoK09 +
, https://dblp.org/rec/conf/dsn/SzilagyiK09 +
, https://dblp.org/rec/conf/dsn/RayK09 +
, https://dblp.org/rec/conf/dsn/BlackK09 +
, https://dblp.org/rec/conf/dsn/KoopmanM08 +
, https://dblp.org/rec/conf/prdc/BlackK08 +
, https://dblp.org/rec/conf/ladc/Koopman07 +
, https://dblp.org/rec/conf/dsn/RayK06 +
, https://dblp.org/rec/journals/sigsoft/MorrisK05 +
, https://dblp.org/rec/journals/tecs/KoopmanCGKMNPRSSSTW05 +
, https://dblp.org/rec/conf/dsn/PaulitschMHDLK05 +
, https://dblp.org/rec/conf/dsn/LatronicoK05 +
, https://dblp.org/rec/conf/icse/MorrisK05 +
, https://dblp.org/rec/journals/computer/Koopman04 +
, https://dblp.org/rec/conf/dsn/KoopmanC04 +
, https://dblp.org/rec/conf/dsn/LatronicoMK04 +
, https://dblp.org/rec/conf/dsn/SheltonK04 +
, https://dblp.org/rec/conf/dsn/MorrisKK04 +
, https://dblp.org/rec/conf/prdc/MartinK04 +
, https://dblp.org/rec/conf/seke/RazBSKF04 +
, https://dblp.org/rec/journals/expert/KoopmanH03 +
, https://dblp.org/rec/conf/words/SheltonKN03 +
, https://dblp.org/rec/journals/micro/Koopman02 +
, https://dblp.org/rec/conf/dsn/DeValeK02 +
, https://dblp.org/rec/conf/dsn/IyerIKKMHKLMVW02 +
, https://dblp.org/rec/conf/dsn/Koopman02 +
, https://dblp.org/rec/conf/dsn/KoopmanM02 +
, https://dblp.org/rec/conf/icse/SheltonK02 +
, https://dblp.org/rec/conf/icse/RazKS02 +
, https://dblp.org/rec/conf/words/BeveridgeK02 +
, https://dblp.org/rec/conf/woss/RazKS02 +
, https://dblp.org/rec/conf/dsn/PanKSHGJ01 +
, https://dblp.org/rec/conf/dsn/DeValeK01 +
, https://dblp.org/rec/conf/uml/LatronicoK01 +
, https://dblp.org/rec/journals/tse/KoopmanD00 +
, https://dblp.org/rec/conf/dac/MalikALKSW00 +
, https://dblp.org/rec/conf/dsn/SheltonKD00 +
, https://dblp.org/rec/conf/ifip10-3/NaceK00 +
, https://dblp.org/rec/conf/ftcs/KoopmanD99 +
, https://dblp.org/rec/conf/hase/HooverHKT99 +
, https://dblp.org/rec/conf/issre/FernslerK99 +
, https://dblp.org/rec/conf/wsc/CholkarK99 +
, https://dblp.org/rec/journals/icae/Koopman98 +
, https://dblp.org/rec/journals/jits/KoopmanB98 +
, https://dblp.org/rec/conf/ftcs/KroppKS98 +
, https://dblp.org/rec/conf/srds/KoopmanSDSM97 +
, https://dblp.org/rec/conf/iccd/Koopman96 +
, https://dblp.org/rec/journals/sigarch/KeownKC92 +
, https://dblp.org/rec/journals/sigmetrics/KeownKC92 +
, https://dblp.org/rec/journals/toplas/KoopmanLS92 +
, https://dblp.org/rec/conf/forth/Koopman91 +
, https://dblp.org/rec/conf/forth/1990-91 +
, https://dblp.org/rec/conf/iccl/KoopmanLS90 +
, https://dblp.org/rec/conf/pldi/KoopmanL89 +
|
https://dblp.org/rdf/schema#editorOf
|
https://dblp.org/rec/conf/dsn/2012 +
, https://dblp.org/rec/conf/forth/1990-91 +
|
https://dblp.org/rdf/schema#homepage
|
http://www.ece.cmu.edu/~koopman/index.html +
|
https://dblp.org/rdf/schema#orcid
|
https://orcid.org/0000-0003-1658-2386 +
|
https://dblp.org/rdf/schema#primaryAffiliation
|
Carnegie Mellon University, Pittsburgh, USA
|
https://dblp.org/rdf/schema#primaryCreatorName
|
Philip Koopman
|
https://dblp.org/rdf/schema#primaryHomepage
|
http://www.ece.cmu.edu/~koopman/index.html +
|
https://dblp.org/rdf/schema#webpage
|
https://twitter.com/philkoopman +
|
owl:sameAs |
https://orcid.org/0000-0003-1658-2386 +
|
rdf:type |
https://dblp.org/rdf/schema#Creator +
, https://dblp.org/rdf/schema#Person +
|
rdfs:label |
Philip Koopman
|