dblp keys for Anton Wijs

Anton Wijs

Keys

# of data records = 94

homepages/77/6678 conf/tacas/OsamaW24 conf/tacas/HaakWHB24 conf/ifm/2023 journals/corr/abs-2401-10778 series/txcs/HuismanW23 journals/scp/EerdGHMOW23 journals/sosym/MartensGHHW23 conf/facs2/Wijs23 conf/spin/WijsO23 conf/tacas/WijsO23 conf/facs2/ChakiW22 conf/tacas/SakarSHW22 conf/cav/OsamaW20 conf/facs2/0001GHHW21 conf/fsen/EerdGHMW21 conf/tacas/OsamaWB21 conf/facs2/2021 journals/corr/abs-2105-11788 journals/scp/PutterLW20 conf/ecoop/HuismanW20 conf/ictai/OsamaW20 conf/ifm/HaakWBH20 conf/ifm/PutterW20 conf/tacas/JansenGKW20 journals/corr/abs-2009-07174 journals/scp/ZhangBBHJKW19 conf/ifm/OsamaW19 conf/sefm/WijsW19 conf/tacas/BunteGKLNVWWW19 conf/tacas/OsamaW19 journals/corr/abs-1909-10824 journals/fac/PutterW18 journals/sttt/BosnackiW18 conf/facs2/PutterWZ18 conf/fm/PutterW18 journals/tocl/GrooteJKW17 conf/cav/WijsN17 conf/facs2/PutterW17 journals/corr/abs-1712-09494 journals/corr/abs-1801-05857 journals/fmsd/WijsKB16 journals/scp/BosnackiELW16 journals/sttt/WijsB16 conf/atva/NeeleWBP16 conf/cav/Wijs16 conf/fase/PutterW16 conf/fm/WijsNB16 conf/modelsward/0002BBH0KW16 conf/modelsward/ZhangBBHK0W16 conf/pppj/BosnackiBDH0KWW16 conf/tacas/GrooteW16 conf/spin/2016 journals/corr/HeussnerKW16 journals/corr/GrooteW16 conf/facs2/BosnackiBG0KRWZ15 conf/tacas/Wijs15 journals/corr/Wijs15 journals/scp/MateescuW14 conf/cav/WijsKB14 conf/hvc/LaarmanW14 conf/models/ZhangBBEHKW14 conf/nfm/WijsE14 conf/qosa/DajsurenGSWVB14 conf/tacas/WijsB14 journals/corr/BosnackiELW14 conf/facs2/Wijs13 conf/tacas/WijsE13 journals/corr/WijsBE13 journals/bmcbi/BonakiOWLH12 journals/jlp/WijsD12 journals/scp/MateescuW12 conf/spin/WijsB12 journals/corr/abs-1210-6118 journals/sttt/BosnackiESW11 conf/atva/LaarmanLPWW11 conf/nfm/Wijs11 conf/spin/MateescuW11 journals/corr/abs-1111-0375 conf/acsd/FokkinkDW10 conf/forte/Wijs10 journals/sttt/WijsPB09 conf/tacas/MateescuW09 journals/fuin/FokkinkPW08 conf/mochart/EdelkampSBWFA08 conf/atva/DashtiW07 conf/iceccs/Wijs07 conf/tacas/BlomCLOPPDW07 journals/entcs/DashtiWL08 conf/mochart/WijsL06 journals/jlp/BortnikTWLMBFR05 conf/fmics/WijsPB05 conf/formats/FokkinkPW05 conf/iceccs/WijsF05

a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.