https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/journals/isse/KrogerKSF24 +
, https://dblp.org/rec/journals/tac/XueZFWL24 +
, https://dblp.org/rec/journals/tac/XueZF24 +
, https://dblp.org/rec/journals/tcps/DammHSSBBFHHIKKLLPRRSSAUV24 +
, https://dblp.org/rec/journals/tcps/BenglerDLRABFHHHIKKLLPRSSSSUV24 +
, https://dblp.org/rec/journals/tcps/DammFKLBBHHHIKLLPRRSSSSTUV24 +
, https://dblp.org/rec/conf/edcc/HajnorouziRBOF24 +
, https://dblp.org/rec/journals/corr/abs-2404-18282 +
, https://dblp.org/rec/journals/access/NeurohrKMF23 +
, https://dblp.org/rec/conf/acml/WeilbachGKF23 +
, https://dblp.org/rec/conf/aips/CordobaPFBK23 +
, https://dblp.org/rec/conf/birthday/FranzleHDRS23 +
, https://dblp.org/rec/conf/nfm/MoradkhaniFF23 +
, https://dblp.org/rec/journals/corr/abs-2310-01010 +
, https://dblp.org/rec/journals/corr/abs-2305-19985 +
, https://dblp.org/rec/journals/corr/abs-2307-02164 +
, https://dblp.org/rec/journals/corr/abs-2309-08332 +
, https://dblp.org/rec/journals/algorithms/FinkbeinerFKK22 +
, https://dblp.org/rec/journals/iandc/FranzleSSW22 +
, https://dblp.org/rec/journals/lites/AbateFF22 +
, https://dblp.org/rec/journals/lites/KrogerF22 +
, https://dblp.org/rec/conf/amcc/XueWZFF22 +
, https://dblp.org/rec/conf/birthday/Franzle22 +
, https://dblp.org/rec/conf/hci/TrendeKURF22 +
, https://dblp.org/rec/conf/re/FeyFD22 +
, https://dblp.org/rec/journals/corr/abs-2208-08105 +
, https://dblp.org/rec/journals/corr/abs-2208-10752 +
, https://dblp.org/rec/journals/corr/abs-2211-01633 +
, https://dblp.org/rec/journals/acta/ChenFLMZ21 +
, https://dblp.org/rec/journals/it/OlderogFTK21 +
, https://dblp.org/rec/journals/it/KrogerF21 +
, https://dblp.org/rec/journals/it/MoradkhaniF21 +
, https://dblp.org/rec/journals/it/AbdelwahabF21 +
, https://dblp.org/rec/conf/amcc/0001LZF21 +
, https://dblp.org/rec/conf/automotiveUI/KreftingTURLF21 +
, https://dblp.org/rec/conf/hci/TrendeURF21 +
, https://dblp.org/rec/conf/itsc/DorffKF21 +
, https://dblp.org/rec/conf/sefm/DorffCEF21 +
, https://dblp.org/rec/conf/vecos/KrogerKSTF21 +
, https://dblp.org/rec/journals/corr/abs-2207-06755 +
, https://dblp.org/rec/journals/corr/abs-2109-04175 +
, https://dblp.org/rec/journals/ipl/FranzleQSW20 +
, https://dblp.org/rec/journals/tac/0001FZ20 +
, https://dblp.org/rec/journals/tcad/XueFZBX20 +
, https://dblp.org/rec/conf/cdc/0001ZF20 +
, https://dblp.org/rec/conf/date/DorffBKF20 +
, https://dblp.org/rec/conf/hci/TrendeHSF20 +
, https://dblp.org/rec/conf/imbsa/KramerNBBFD20 +
, https://dblp.org/rec/conf/isola/FranzleK20 +
, https://dblp.org/rec/conf/vehits/KoopmannPEF20 +
, https://dblp.org/rec/journals/fac/FranzleKWZ19 +
, https://dblp.org/rec/journals/siglog/FranzleCK19 +
, https://dblp.org/rec/conf/cav/FengCZF019 +
, https://dblp.org/rec/conf/cpsweek/AbateBCDFHHMOPR19 +
, https://dblp.org/rec/conf/hybrid/0001WZF19 +
, https://dblp.org/rec/conf/icfem/0001FZZE19 +
, https://dblp.org/rec/conf/ivs/DammFLRTU19 +
, https://dblp.org/rec/conf/sefm/SoweFOTWL19 +
, https://dblp.org/rec/journals/corr/abs-1911-07290 +
, https://dblp.org/rec/journals/corr/abs-1902-04929 +
, https://dblp.org/rec/journals/corr/abs-1903-09773 +
, https://dblp.org/rec/journals/corr/abs-1905-11764 +
, https://dblp.org/rec/journals/corr/abs-1909-08017 +
, https://dblp.org/rec/journals/cee/KhanAFMC18 +
, https://dblp.org/rec/conf/aaaiss/DammFGK18 +
, https://dblp.org/rec/conf/atva/ChenFLMZ18 +
, https://dblp.org/rec/conf/formats/LiMFS018 +
, https://dblp.org/rec/conf/hybrid/0001FZ18 +
, https://dblp.org/rec/conf/icalp/FranzleSS018 +
, https://dblp.org/rec/conf/isola/PuchFG18 +
, https://dblp.org/rec/conf/safecomp/BodeBEFGK18 +
, https://dblp.org/rec/conf/birthday/FranzleK17 +
, https://dblp.org/rec/journals/corr/abs-1803-01914 +
, https://dblp.org/rec/journals/cuza/MosaadF017 +
, https://dblp.org/rec/journals/tac/XueECF17 +
, https://dblp.org/rec/conf/cav/CardelliCFKLPW17 +
, https://dblp.org/rec/conf/cdc/0001FM17 +
, https://dblp.org/rec/conf/eurocon/KhanAF17 +
, https://dblp.org/rec/conf/formats/XueMFCLZ17 +
, https://dblp.org/rec/conf/mbmv/NeubauerSBMFTBF17 +
, https://dblp.org/rec/conf/mc/ParisiF17 +
, https://dblp.org/rec/books/sp/17/FranzleGG17 +
, https://dblp.org/rec/journals/ijdsn/AbdelaalTKZGBNF16 +
, https://dblp.org/rec/conf/fm/ChenFLMZ16 +
, https://dblp.org/rec/conf/fm/OdyFH16 +
, https://dblp.org/rec/conf/fmcad/ScheiblerNMFTBF16 +
, https://dblp.org/rec/conf/hvc/MahdiSNFB16 +
, https://dblp.org/rec/conf/ictac/MosaadFX16 +
, https://dblp.org/rec/conf/iwqos/KhanF16 +
, https://dblp.org/rec/conf/synasc/NeubauerS0MFTBF16 +
, https://dblp.org/rec/conf/vnc/KhanAMF16 +
, https://dblp.org/rec/journals/dagstuhl-reports/FranzleKP16 +
, https://dblp.org/rec/journals/dagstuhl-reports/BogomolovFMR16 +
, https://dblp.org/rec/journals/jsa/FakihGFR15 +
, https://dblp.org/rec/journals/sosym/EggersRNF15 +
, https://dblp.org/rec/journals/sttt/EllenGF15 +
, https://dblp.org/rec/conf/atva/ZouZWF15 +
, https://dblp.org/rec/conf/birthday/FranzleHO15 +
, https://dblp.org/rec/conf/case/AmriBARF15 +
, https://dblp.org/rec/conf/cav/GaoF15 +
, https://dblp.org/rec/conf/cav/ZouFZM15 +
, https://dblp.org/rec/conf/ems/AbdelaalFH15 +
, https://dblp.org/rec/conf/formats/FranzleGKAK15 +
, https://dblp.org/rec/conf/qest/GaoF15 +
, https://dblp.org/rec/conf/recosoc/DrechslerFW15 +
, https://dblp.org/rec/conf/springsim/MullnerFF15 +
, https://dblp.org/rec/conf/vnc/KhanAMF15 +
, https://dblp.org/rec/conf/aina/MullnerTF14a +
, https://dblp.org/rec/conf/aina/MullnerTF14 +
, https://dblp.org/rec/conf/issnip/AbdelaalGFT14 +
, https://dblp.org/rec/conf/qest/SoudjaniGEFA14 +
, https://dblp.org/rec/conf/rp/MahdiF14 +
, https://dblp.org/rec/conf/rp/MahdiWF14 +
, https://dblp.org/rec/journals/dagstuhl-reports/AbateFHS14 +
, https://dblp.org/rec/journals/jcss/MullnerTF13 +
, https://dblp.org/rec/conf/date/FakihGFR13 +
, https://dblp.org/rec/conf/emsoft/ZouZWFQ13 +
, https://dblp.org/rec/conf/hci/PuchWFP13 +
, https://dblp.org/rec/conf/iess/FakihGFR13 +
, https://dblp.org/rec/conf/romoco/EilersBF13 +
, https://dblp.org/rec/journals/corr/abs-1206-4444 +
, https://dblp.org/rec/conf/aina/MullnerTF12 +
, https://dblp.org/rec/conf/formats/EllenGF12 +
, https://dblp.org/rec/journals/logcom/AbrahamSBFH11 +
, https://dblp.org/rec/conf/ddecs/KupferschmidBTF11 +
, https://dblp.org/rec/conf/formats/QueselFD11 +
, https://dblp.org/rec/conf/hybrid/FranzleHHWZ11 +
, https://dblp.org/rec/conf/mbees/FranzleGHPS11 +
, https://dblp.org/rec/conf/sefm/EggersRNF11 +
, https://dblp.org/rec/conf/tacas/TeigeF11 +
, https://dblp.org/rec/journals/entcs/FranzleT13 +
, https://dblp.org/rec/reference/parallel/FranzleL11 +
, https://dblp.org/rec/journals/jlp/FranzleTE10 +
, https://dblp.org/rec/conf/forms/FranzleGHPS10 +
, https://dblp.org/rec/conf/forms/GacnikJKF10 +
, https://dblp.org/rec/conf/ifm/FranzleTE10 +
, https://dblp.org/rec/conf/lpar/TeigeF10 +
, https://dblp.org/rec/journals/ijsi/FranzleH09 +
, https://dblp.org/rec/conf/adhs/TeigeF09 +
, https://dblp.org/rec/conf/formats/FranzleS09 +
, https://dblp.org/rec/conf/mbmv/KupferschmidTBF09 +
, https://dblp.org/rec/conf/atva/EggersFH08 +
, https://dblp.org/rec/conf/cpaior/TeigeF08 +
, https://dblp.org/rec/conf/hybrid/FranzleHT08 +
, https://dblp.org/rec/conf/icons/HerdeEFT08 +
, https://dblp.org/rec/conf/ifipTCS/SwaminathanFK08 +
, https://dblp.org/rec/conf/sefm/FranzleH08 +
, https://dblp.org/rec/journals/fmsd/FranzleH07 +
, https://dblp.org/rec/journals/it/BeckerPDFOW07 +
, https://dblp.org/rec/journals/jsat/FranzleHTRS07 +
, https://dblp.org/rec/conf/cav/Franzle07 +
, https://dblp.org/rec/conf/tacas/FranzleH07 +
, https://dblp.org/rec/conf/time/SwaminathanF07 +
, https://dblp.org/rec/conf/fmics/AbrahamSBFH06 +
, https://dblp.org/rec/conf/ipps/MetznerFHS06 +
, https://dblp.org/rec/conf/soqua/BadbanFPT06 +
, https://dblp.org/rec/conf/ictac/FranzleH05 +
, https://dblp.org/rec/conf/rtcsa/MetznerFHS05 +
, https://dblp.org/rec/journals/fac/Franzle04 +
, https://dblp.org/rec/conf/mbmv/BeckerBEFHHHKNPW04 +
, https://dblp.org/rec/journals/entcs/FranzleH05 +
, https://dblp.org/rec/journals/fac/FranzleNMD03 +
, https://dblp.org/rec/conf/lpar/FranzleH03 +
, https://dblp.org/rec/conf/ftrtft/Franzle02 +
, https://dblp.org/rec/journals/cl/FranzleL01 +
, https://dblp.org/rec/conf/tacs/Franzle01 +
, https://dblp.org/rec/conf/birthday/FranzleM99 +
, https://dblp.org/rec/conf/csl/Franzle99 +
, https://dblp.org/rec/conf/ftrtft/FranzleL98 +
, https://dblp.org/rec/phd/dnb/Franzle97 +
, https://dblp.org/rec/conf/ftrtft/Franzle96 +
, https://dblp.org/rec/journals/ipl/FranzleSW95 +
, https://dblp.org/rec/conf/cc/FranzleM94 +
, https://dblp.org/rec/conf/ftrtft/JifengHFMOSHRR94 +
, https://dblp.org/rec/conf/ecrts/BowenOFR93 +
, https://dblp.org/rec/conf/cc/ButhBFKLLM92 +
|
https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/19/3904 +
, https://dblp.org/pid/147/2878 +
, https://dblp.org/pid/306/5957 +
, https://dblp.org/pid/a/ErikaAbraham +
, https://dblp.org/pid/81/6019-2 +
, https://dblp.org/pid/164/8573 +
, https://dblp.org/pid/129/0467 +
, https://dblp.org/pid/367/4128 +
, https://dblp.org/pid/b/BaharehBadban +
, https://dblp.org/pid/321/6468 +
, https://dblp.org/pid/161/9645 +
, https://dblp.org/pid/31/3025 +
, https://dblp.org/pid/b/BerndBecker +
, https://dblp.org/pid/24/2834 +
, https://dblp.org/pid/60/1272 +
, https://dblp.org/pid/268/1786 +
, https://dblp.org/pid/33/2096 +
, https://dblp.org/pid/80/1300 +
, https://dblp.org/pid/54/6728 +
, https://dblp.org/pid/26/8637 +
, https://dblp.org/pid/99/704 +
, https://dblp.org/pid/167/4557 +
, https://dblp.org/pid/90/8556 +
, https://dblp.org/pid/b/JonathanPBowen +
, https://dblp.org/pid/25/2814 +
, https://dblp.org/pid/27/9204 +
, https://dblp.org/pid/87/3953 +
, https://dblp.org/pid/74/160 +
, https://dblp.org/pid/c/LucaCardelli +
, https://dblp.org/pid/209/8420 +
, https://dblp.org/pid/213/3728 +
, https://dblp.org/pid/169/1207 +
, https://dblp.org/pid/04/8276 +
, https://dblp.org/pid/64/3701 +
, https://dblp.org/pid/171/1727 +
, https://dblp.org/pid/320/0091 +
, https://dblp.org/pid/d/WernerDamm +
, https://dblp.org/pid/234/8687 +
, https://dblp.org/pid/268/2077 +
, https://dblp.org/pid/d/RolfDrechsler +
, https://dblp.org/pid/73/1708 +
, https://dblp.org/pid/225/7905 +
, https://dblp.org/pid/92/4864 +
, https://dblp.org/pid/25/6008 +
, https://dblp.org/pid/117/2765 +
, https://dblp.org/pid/e/FEisenbrand +
, https://dblp.org/pid/98/11157 +
, https://dblp.org/pid/92/7161 +
, https://dblp.org/pid/89/5538 +
, https://dblp.org/pid/129/7597 +
, https://dblp.org/pid/34/5651 +
, https://dblp.org/pid/232/3100 +
, https://dblp.org/pid/20/4776 +
, https://dblp.org/pid/350/0003 +
, https://dblp.org/pid/73/4443 +
, https://dblp.org/pid/82/2340 +
, https://dblp.org/pid/10/5844 +
, https://dblp.org/pid/89/4402-11 +
, https://dblp.org/pid/85/4613 +
, https://dblp.org/pid/56/11024 +
, https://dblp.org/pid/323/4907 +
, https://dblp.org/pid/324/4948 +
, https://dblp.org/pid/76/1329 +
, https://dblp.org/pid/151/6536 +
, https://dblp.org/pid/116/0851 +
, https://dblp.org/pid/h/AHahn +
, https://dblp.org/pid/78/6159 +
, https://dblp.org/pid/361/0097 +
, https://dblp.org/pid/50/6388 +
, https://dblp.org/pid/204/0950 +
, https://dblp.org/pid/66/3868 +
, https://dblp.org/pid/360/3380 +
, https://dblp.org/pid/h/MarcHerbstritt +
, https://dblp.org/pid/84/4866 +
, https://dblp.org/pid/h/HolgerHermanns +
, https://dblp.org/pid/01/2823 +
, https://dblp.org/pid/76/4818 +
, https://dblp.org/pid/h/CARHoare +
, https://dblp.org/pid/26/836 +
, https://dblp.org/pid/243/9228 +
, https://dblp.org/pid/25/6675 +
, https://dblp.org/pid/71/10269 +
, https://dblp.org/pid/09/11025 +
, https://dblp.org/pid/266/1806 +
, https://dblp.org/pid/159/7348 +
, https://dblp.org/pid/95/7056 +
, https://dblp.org/pid/27/532 +
, https://dblp.org/pid/k/DeepakKapur +
, https://dblp.org/pid/k/BurghardvonKarger +
, https://dblp.org/pid/k/JoostPieterKatoen +
, https://dblp.org/pid/367/4136 +
, https://dblp.org/pid/139/3985 +
, https://dblp.org/pid/147/4958 +
, https://dblp.org/pid/320/3798 +
, https://dblp.org/pid/117/3735 +
, https://dblp.org/pid/217/6960 +
, https://dblp.org/pid/299/1326 +
, https://dblp.org/pid/19/6220 +
, https://dblp.org/pid/302/5643 +
, https://dblp.org/pid/k/DanielKroening +
, https://dblp.org/pid/305/1480 +
, https://dblp.org/pid/167/1484 +
, https://dblp.org/pid/90/7923 +
, https://dblp.org/pid/89/5218 +
, https://dblp.org/pid/k/MartaZKwiatkowska +
, https://dblp.org/pid/188/5961 +
, https://dblp.org/pid/l/YassineLakhnech +
, https://dblp.org/pid/l/HansLangmaack +
, https://dblp.org/pid/l/KimGuldstrandLarsen +
, https://dblp.org/pid/164/5860 +
, https://dblp.org/pid/33/4501 +
, https://dblp.org/pid/l/CLengauer +
, https://dblp.org/pid/161/0076 +
, https://dblp.org/pid/276/7051 +
, https://dblp.org/pid/51/10827 +
, https://dblp.org/pid/04/5600 +
, https://dblp.org/pid/93/2786 +
, https://dblp.org/pid/00/359 +
, https://dblp.org/pid/51/2754 +
, https://dblp.org/pid/86/4227 +
, https://dblp.org/pid/93/10615 +
, https://dblp.org/pid/80/6836 +
, https://dblp.org/pid/m/NicolasMarkey +
, https://dblp.org/pid/49/4407 +
, https://dblp.org/pid/33/9795 +
, https://dblp.org/pid/208/9094 +
, https://dblp.org/pid/165/2365 +
, https://dblp.org/pid/m/MarkusMullerOhm +
, https://dblp.org/pid/64/6751 +
, https://dblp.org/pid/n/BernhardNebel +
, https://dblp.org/pid/03/1960 +
, https://dblp.org/pid/188/7136 +
, https://dblp.org/pid/225/7894 +
, https://dblp.org/pid/144/5836 +
, https://dblp.org/pid/n/DanielaNicklas +
, https://dblp.org/pid/67/442 +
, https://dblp.org/pid/167/5102 +
, https://dblp.org/pid/92/9185 +
, https://dblp.org/pid/o/ErnstRudigerOlderog +
, https://dblp.org/pid/87/7123 +
, https://dblp.org/pid/268/6567 +
, https://dblp.org/pid/15/10263 +
, https://dblp.org/pid/185/9499 +
, https://dblp.org/pid/53/3744 +
, https://dblp.org/pid/24/440 +
, https://dblp.org/pid/p/APodelski +
, https://dblp.org/pid/183/7353 +
, https://dblp.org/pid/94/4552 +
, https://dblp.org/pid/74/6354 +
, https://dblp.org/pid/98/5319 +
, https://dblp.org/pid/19/11025 +
, https://dblp.org/pid/q/ShengchaoQin +
, https://dblp.org/pid/40/5082 +
, https://dblp.org/pid/21/1107 +
, https://dblp.org/pid/28/819 +
, https://dblp.org/pid/28/7009 +
, https://dblp.org/pid/67/4669 +
, https://dblp.org/pid/51/1502 +
, https://dblp.org/pid/r/AnneRemke +
, https://dblp.org/pid/56/6293 +
, https://dblp.org/pid/60/10741 +
, https://dblp.org/pid/20/5266 +
, https://dblp.org/pid/225/3688 +
, https://dblp.org/pid/67/11024 +
, https://dblp.org/pid/64/10257 +
, https://dblp.org/pid/08/3762 +
, https://dblp.org/pid/242/3646 +
, https://dblp.org/pid/81/2098-1 +
, https://dblp.org/pid/187/5792 +
, https://dblp.org/pid/240/2582 +
, https://dblp.org/pid/90/4578 +
, https://dblp.org/pid/32/9219 +
, https://dblp.org/pid/205/3771 +
, https://dblp.org/pid/83/5858 +
, https://dblp.org/pid/23/10279 +
, https://dblp.org/pid/23/2931 +
, https://dblp.org/pid/95/4774 +
, https://dblp.org/pid/08/998 +
, https://dblp.org/pid/69/11440 +
, https://dblp.org/pid/44/6535 +
, https://dblp.org/pid/62/685 +
, https://dblp.org/pid/146/2221 +
, https://dblp.org/pid/22/4443 +
, https://dblp.org/pid/t/OliverETheel +
, https://dblp.org/pid/236/5031 +
, https://dblp.org/pid/25/1144 +
, https://dblp.org/pid/207/5354 +
, https://dblp.org/pid/178/6739 +
, https://dblp.org/pid/188/6024 +
, https://dblp.org/pid/64/856-1 +
, https://dblp.org/pid/172/8095 +
, https://dblp.org/pid/97/4633 +
, https://dblp.org/pid/33/7176 +
, https://dblp.org/pid/w/HeikeWehrheim +
, https://dblp.org/pid/297/4207 +
, https://dblp.org/pid/45/5359 +
, https://dblp.org/pid/65/5459 +
, https://dblp.org/pid/w/ReinhardWilhelm +
, https://dblp.org/pid/98/1744 +
, https://dblp.org/pid/80/5500 +
, https://dblp.org/pid/96/10544 +
, https://dblp.org/pid/87/3137 +
, https://dblp.org/pid/20/52 +
, https://dblp.org/pid/90/2367 +
, https://dblp.org/pid/46/7176 +
, https://dblp.org/pid/07/587 +
, https://dblp.org/pid/74/2716-1 +
, https://dblp.org/pid/63/1911 +
, https://dblp.org/pid/76/4015-1 +
, https://dblp.org/pid/51/8387 +
, https://dblp.org/pid/78/3617 +
, https://dblp.org/pid/70/5831-2 +
, https://dblp.org/pid/16/6730 +
|