[RDF data]
Home | Example Authors
PropertyValue
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/books/sp/Kohlhase06>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/acl/GardentK96>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/acl/PinkalK00>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/0002IDBCSKA12>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/DavidJKK12>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/HorozalKR12>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/JucovschiK10>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/Kohlhase00>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/Kohlhase12>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/KohlhaseKL10>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/KohlhaseMP12>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/KohlhaseMR08>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/KohlhaseRZ10>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/KohlhaseS06>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/StamerjohannsK08>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/arw/Kohlhase00>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BenzmullerBK06>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BenzmullerCFFHKKKMMSSS97>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BenzmullerK98>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BenzmullerK98a>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/FrankeK00>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/FrankeK99>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/HuangKKMNRS94>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/HuangKKMNRS94a>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/HutterK97>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/JohannK94>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/KerberK94>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/KohlhaseRCS20>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/MullerRK18>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/SiekmannBBCFFHKMMMNPSUWZ02>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/ZimmerK02>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cikm/KaliszykKMR16>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cikm/RochauKM16>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/cikm/ToloacaK16>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/coling/GardentK96>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/comma/RappAK20>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/disco/KerberKS96>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ecai/2023w1>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ecai/2023w2>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ecai/BetzendahlK023>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ecai/KerberK96>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/esws/0002KDGKMMZ11>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/esws/DavidGKMM11>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/esws/DavidK0RZZ10>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/esws/LangeIDBSKA12>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/fm/KohlhaseLSS09>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/fois/BreitsprecherCJ14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/fois/BreitsprecherCJKSW14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/gecon2/LohrBKMR23>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/gi/GinevJAGDK09>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/gi/KruseBBKL023>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/i-semantics/KohlhaseK010>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/icms/GinevIJKKOSSTW16>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/icms/IancuKP14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/icms/KohlhaseI14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/icms/LuzhnicaK16>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/icms/SchaeferAK20>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/icse/KohlhaseKG15>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/icse/ToaderKK15>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ijcai/GardentK97>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/interact/KohlhaseKJT13>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/itp/KohlhaseMOR17>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ki/2006>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ki/HuangKKR94>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ki/KerberK97>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ki/Kohlhase20>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ki/Kohlhase94>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ki/SchaeferK20>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/konvens/GardentKL96>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lpar/Kohlhase92>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lpar/RabeK08>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/0002K09>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/DorrieK13>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/GinevSK11>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/HambasanK15>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/Kohlhase14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/Kohlhase17>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/Kohlhase18a>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/KohlhaseK08>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/KohlhaseK09>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/KohlhaseMM07>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/KohlhaseR19>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/LuzhnicaIK15>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/MullerK07>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/MullerK08>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/ProdescuK11>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/macis/HambasanK15>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/macis/KohlhaseFMPRTVW17>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/macis/WiesingKR17>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/0001KS21>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/0001RRK20>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2005>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2013ws>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2014ws>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2016>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2018w>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2019w>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2021w>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AcevedoK14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AlamaKMNRU11>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AmannKRW19>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AsakuraMAK21>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AutexierDDKZ11>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BercicKR19>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BercicKR20>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BergesBCKLM23>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BetzendahlK18>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/CaretteFK14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/CodescuHKMR11>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/CondoluciK0RCW19>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/DavenportK09>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/DavenportK21>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/DehayeIKKLMPRTW16>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Dorrie13>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/GinevIJKKSS15>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/GinevSMK11>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/HilfKS06>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/HorozalIJKR11>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/HorozalRK14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/IancuJKW14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/IancuK15>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/IancuK15a>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kohlhase14a>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kohlhase14c>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kohlhase14d>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseA03>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseBM0RRSS20>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK04>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK05>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK06>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK07>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK09>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK09a>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK21>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseKF17>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseKMT17>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseKO18>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseM22>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseMR13>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseS17>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/LangeK09>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/MarcusKR20>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/MarcusKRS21>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/MullerGKKR17>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/MullerK22>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/MullerKR18>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/NormannK07>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/PollingerKK18>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/RabeKC11>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/SchaeferK18>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/SchaeferK23>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/WiesingK18>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ntcir/AizawaKO13>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ntcir/AizawaKOS14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ntcir/HambasanKP14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ntcir/KohlhaseP13>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/ntcir/ZanibbiAKOTD16>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/semwiki/0002K06>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/semwiki/Dumitrache0KA10>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/sigdoc/KohlhaseK09>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/sigdoc/KohlhaseK09a>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/sigdoc/KohlhaseK11>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/sigdoc/KohlhaseK11a>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/slp/KohlhaseP93>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/synasc/Kohlhase12>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/tableaux/Kohlhase95>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/types/KohlhaseRW19>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/wadt/CodescuHKMR10>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/wadt/CodescuHKMRS10>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/conf/wsks/MullerK08>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/cca/Kohlhase00>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/BreitsprecherCJKSW13>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/CaretteFK14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/DehayeKKLPT16>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/KohlhaseMR13>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/KohlhasePL14>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-0902-0043>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1004-3390>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1004-5071>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1005-5232>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1005-5489>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1006-4474>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1009-2797>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1103-1482>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1105-0548>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1105-2392>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1105-2725>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1107-3212>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1204-5086>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1206-5048>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1904-10405>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1904-10414>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1905-07076>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1910-10849>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-2002-04955>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-2005-03089>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-2005-08884>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-2007-00732>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/cmp-lg-9605004>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/cmp-lg-9605005>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/cmp-lg-9609001>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/cmp-lg-9705004>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/dbsk/CimianoHKSZH20>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/dbsk/CimianoHKSZH21>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/eceasst/KohlhaseK13>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/FrankeK99>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/fac/SiekmannHBCFHKKMMPS99>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/iandc/RabeK13>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/ife/HuangKKMNRS96>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/igpl/BosK03>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/igpl/KohlhaseK03>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/ism/MullerK09>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/it/BercicKR20>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/jancl/KerberK12>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/jancl/KohlhaseS99>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/jar/HutterK00>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/jar/IancuKRU13>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/jar/KerberKS98>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/jar/KohlhaseR21>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/jfrea/KohlhaseR16>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/jnsm/TranLCSK09>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/jolli/BlackburnK04>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/jsc/KohlhaseF01>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/jsyml/BenzmullerBK04>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/jucs/FrankeHJKS99>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/ki/Kohlhase96>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/kognitionswissenschaft/EggGK98>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/kognitionswissenschaft/SiekmannKM98>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/mics/Kohlhase08>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/mics/KohlhaseR12>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/mics/StamerjohannsKGDM10>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/pieee/KohlhaseK08>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/journals/procedia/KohlhaseCDGJKLMMZ11>
is dc:creator of <https://dblp.l3s.de/d2r/resource/publications/phd/dnb/Kohlhase94>
is swrc:editor of <https://dblp.l3s.de/d2r/resource/publications/conf/ecai/2023w1>
is swrc:editor of <https://dblp.l3s.de/d2r/resource/publications/conf/ecai/2023w2>
is swrc:editor of <https://dblp.l3s.de/d2r/resource/publications/conf/ki/2006>
is swrc:editor of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2005>
is swrc:editor of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2013ws>
is swrc:editor of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2014ws>
is swrc:editor of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2016>
is swrc:editor of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2018w>
is swrc:editor of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2019w>
is swrc:editor of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/2021w>
foaf:homepage <https://kwarc.info/people/mkohlhase/>
rdfs:label Michael Kohlhase
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/books/sp/Kohlhase06>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/acl/GardentK96>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/acl/PinkalK00>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/0002IDBCSKA12>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/DavidJKK12>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/HorozalKR12>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/JucovschiK10>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/Kohlhase00>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/Kohlhase12>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/KohlhaseKL10>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/KohlhaseMP12>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/KohlhaseMR08>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/KohlhaseRZ10>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/KohlhaseS06>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/aisc/StamerjohannsK08>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/arw/Kohlhase00>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BenzmullerBK06>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BenzmullerCFFHKKKMMSSS97>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BenzmullerK98>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/BenzmullerK98a>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/FrankeK00>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/FrankeK99>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/HuangKKMNRS94>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/HuangKKMNRS94a>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/HutterK97>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/JohannK94>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/KerberK94>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/KohlhaseRCS20>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/MullerRK18>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/SiekmannBBCFFHKMMMNPSUWZ02>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cade/ZimmerK02>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cikm/KaliszykKMR16>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cikm/RochauKM16>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/cikm/ToloacaK16>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/coling/GardentK96>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/comma/RappAK20>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/disco/KerberKS96>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/ecai/BetzendahlK023>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/ecai/KerberK96>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/esws/0002KDGKMMZ11>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/esws/DavidGKMM11>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/esws/DavidK0RZZ10>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/esws/LangeIDBSKA12>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/fm/KohlhaseLSS09>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/fois/BreitsprecherCJ14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/fois/BreitsprecherCJKSW14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/gecon2/LohrBKMR23>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/gi/GinevJAGDK09>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/gi/KruseBBKL023>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/i-semantics/KohlhaseK010>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/icms/GinevIJKKOSSTW16>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/icms/IancuKP14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/icms/KohlhaseI14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/icms/LuzhnicaK16>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/icms/SchaeferAK20>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/icse/KohlhaseKG15>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/icse/ToaderKK15>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/ijcai/GardentK97>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/interact/KohlhaseKJT13>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/itp/KohlhaseMOR17>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/ki/HuangKKR94>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/ki/KerberK97>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/ki/Kohlhase20>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/ki/Kohlhase94>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/ki/SchaeferK20>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/konvens/GardentKL96>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lpar/Kohlhase92>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lpar/RabeK08>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/0002K09>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/DorrieK13>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/GinevSK11>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/HambasanK15>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/Kohlhase14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/Kohlhase17>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/Kohlhase18a>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/KohlhaseK08>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/KohlhaseK09>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/KohlhaseMM07>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/KohlhaseR19>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/LuzhnicaIK15>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/MullerK07>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/MullerK08>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/lwa/ProdescuK11>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/macis/HambasanK15>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/macis/KohlhaseFMPRTVW17>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/macis/WiesingKR17>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/0001KS21>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/0001RRK20>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AcevedoK14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AlamaKMNRU11>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AmannKRW19>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AsakuraMAK21>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AutexierDDKZ11>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BercicKR19>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BercicKR20>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BergesBCKLM23>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BetzendahlK18>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/CaretteFK14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/CodescuHKMR11>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/CondoluciK0RCW19>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/DavenportK09>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/DavenportK21>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/DehayeIKKLMPRTW16>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Dorrie13>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/GinevIJKKSS15>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/GinevSMK11>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/HilfKS06>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/HorozalIJKR11>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/HorozalRK14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/IancuJKW14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/IancuK15>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/IancuK15a>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kohlhase14a>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kohlhase14c>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Kohlhase14d>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseA03>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseBM0RRSS20>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK04>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK05>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK06>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK07>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK09>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK09a>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseK21>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseKF17>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseKMT17>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseKO18>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseM22>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseMR13>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseS17>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/LangeK09>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/MarcusKR20>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/MarcusKRS21>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/MullerGKKR17>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/MullerK22>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/MullerKR18>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/NormannK07>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/PollingerKK18>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/RabeKC11>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/SchaeferK18>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/SchaeferK23>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/WiesingK18>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/ntcir/AizawaKO13>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/ntcir/AizawaKOS14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/ntcir/HambasanKP14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/ntcir/KohlhaseP13>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/ntcir/ZanibbiAKOTD16>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/semwiki/0002K06>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/semwiki/Dumitrache0KA10>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/sigdoc/KohlhaseK09>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/sigdoc/KohlhaseK09a>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/sigdoc/KohlhaseK11>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/sigdoc/KohlhaseK11a>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/slp/KohlhaseP93>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/synasc/Kohlhase12>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/tableaux/Kohlhase95>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/types/KohlhaseRW19>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/wadt/CodescuHKMR10>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/wadt/CodescuHKMRS10>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/conf/wsks/MullerK08>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/cca/Kohlhase00>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/BreitsprecherCJKSW13>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/CaretteFK14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/DehayeKKLPT16>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/KohlhaseMR13>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/KohlhasePL14>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-0902-0043>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1004-3390>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1004-5071>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1005-5232>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1005-5489>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1006-4474>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1009-2797>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1103-1482>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1105-0548>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1105-2392>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1105-2725>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1107-3212>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1204-5086>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1206-5048>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1904-10405>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1904-10414>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1905-07076>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1910-10849>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-2002-04955>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-2005-03089>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-2005-08884>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-2007-00732>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/cmp-lg-9605004>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/cmp-lg-9605005>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/cmp-lg-9609001>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/corr/cmp-lg-9705004>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/dbsk/CimianoHKSZH20>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/dbsk/CimianoHKSZH21>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/eceasst/KohlhaseK13>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/entcs/FrankeK99>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/fac/SiekmannHBCFHKKMMPS99>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/iandc/RabeK13>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/ife/HuangKKMNRS96>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/igpl/BosK03>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/igpl/KohlhaseK03>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/ism/MullerK09>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/it/BercicKR20>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/jancl/KerberK12>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/jancl/KohlhaseS99>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/jar/HutterK00>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/jar/IancuKRU13>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/jar/KerberKS98>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/jar/KohlhaseR21>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/jfrea/KohlhaseR16>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/jnsm/TranLCSK09>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/jolli/BlackburnK04>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/jsc/KohlhaseF01>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/jsyml/BenzmullerBK04>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/jucs/FrankeHJKS99>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/ki/Kohlhase96>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/kognitionswissenschaft/EggGK98>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/kognitionswissenschaft/SiekmannKM98>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/mics/Kohlhase08>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/mics/KohlhaseR12>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/mics/StamerjohannsKGDM10>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/pieee/KohlhaseK08>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/journals/procedia/KohlhaseCDGJKLMMZ11>
is foaf:maker of <https://dblp.l3s.de/d2r/resource/publications/phd/dnb/Kohlhase94>
foaf:name Michael Kohlhase
rdfs:seeAlso <http://dblp.l3s.de/Authors/Michael+Kohlhase>
rdfs:seeAlso <http://www.bibsonomy.org/uri/author/Michael+Kohlhase>
rdf:type foaf:Agent