https://dblp.org/rdf/schema#affiliation
|
TU Wien, Vienna, Austria
|
https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/conf/forte/ViscontiBFN24 +
, https://dblp.org/rec/journals/corr/abs-2404-03515 +
, https://dblp.org/rec/journals/corr/abs-2405-14400 +
, https://dblp.org/rec/journals/sttt/NenziBBSL23 +
, https://dblp.org/rec/journals/tecs/BartocciMNN23 +
, https://dblp.org/rec/conf/atva/DobeSBBLPW23 +
, https://dblp.org/rec/conf/concur/BartocciHNC23 +
, https://dblp.org/rec/conf/dac/HeNBG23 +
, https://dblp.org/rec/conf/ecai/SoldaLBE23 +
, https://dblp.org/rec/conf/icst/BartocciMNY23 +
, https://dblp.org/rec/conf/kbse/TundoMIBBM23 +
, https://dblp.org/rec/conf/qest/GerlachDABB23 +
, https://dblp.org/rec/conf/qest/AndriushchenkoBCPS23 +
, https://dblp.org/rec/conf/rv/AguilarBMNN23 +
, https://dblp.org/rec/conf/spin/MaderbacherSBBNK23 +
, https://dblp.org/rec/journals/corr/abs-2301-13615 +
, https://dblp.org/rec/journals/corr/abs-2304-09094 +
, https://dblp.org/rec/journals/corr/abs-2305-02836 +
, https://dblp.org/rec/journals/corr/abs-2306-01597 +
, https://dblp.org/rec/journals/corr/abs-2306-07072 +
, https://dblp.org/rec/journals/corr/abs-2307-04503 +
, https://dblp.org/rec/journals/corr/abs-2307-05282 +
, https://dblp.org/rec/journals/corr/abs-2309-00022 +
, https://dblp.org/rec/journals/ethicsit/NeufeldBCG22 +
, https://dblp.org/rec/journals/fmsd/MoosbruggerBKK22 +
, https://dblp.org/rec/journals/iandc/BartocciMNN22 +
, https://dblp.org/rec/journals/iandc/DobeABB22 +
, https://dblp.org/rec/journals/lmcs/NenziBBL22 +
, https://dblp.org/rec/journals/pacmpl/MoosbruggerSBK22 +
, https://dblp.org/rec/journals/tcs/StankovicBK22 +
, https://dblp.org/rec/conf/fase/BartocciFHNC22 +
, https://dblp.org/rec/conf/icse/HeBNIG22 +
, https://dblp.org/rec/conf/issre/BartocciMNY22 +
, https://dblp.org/rec/conf/nfm/DobeWABB22 +
, https://dblp.org/rec/conf/prima/NeufeldBC22 +
, https://dblp.org/rec/conf/qest/KofnovMSBB22 +
, https://dblp.org/rec/conf/qest/KarimiMSKBB22 +
, https://dblp.org/rec/conf/sas/AmrollahiBKKMS22 +
, https://dblp.org/rec/conf/sigsoft/BartocciMNY22 +
, https://dblp.org/rec/conf/vmcai/BartocciFHNC22 +
, https://dblp.org/rec/journals/corr/abs-2204-07185 +
, https://dblp.org/rec/journals/corr/abs-2205-02577 +
, https://dblp.org/rec/journals/corr/abs-2206-06943 +
, https://dblp.org/rec/journals/iotj/MaBLSF21 +
, https://dblp.org/rec/journals/sigact/BartocciB21 +
, https://dblp.org/rec/journals/sttt/BartocciMMMN21 +
, https://dblp.org/rec/journals/tecs/MaSB021 +
, https://dblp.org/rec/conf/adhs/BartocciBMMN21 +
, https://dblp.org/rec/conf/cade/NeufeldBCG21 +
, https://dblp.org/rec/conf/cdc/AlsalehiMBB21 +
, https://dblp.org/rec/conf/esop/MoosbruggerBKK21 +
, https://dblp.org/rec/conf/fm/DobeABB21 +
, https://dblp.org/rec/conf/fm/MoosbruggerBKK21 +
, https://dblp.org/rec/conf/memocode/ViscontiBLN21 +
, https://dblp.org/rec/conf/sefm/BartocciDMNNQ21 +
, https://dblp.org/rec/journals/corr/abs-2103-03908 +
, https://dblp.org/rec/journals/corr/abs-2104-02737 +
, https://dblp.org/rec/journals/corr/abs-2104-04904 +
, https://dblp.org/rec/journals/corr/abs-2104-14333 +
, https://dblp.org/rec/journals/corr/abs-2105-02013 +
, https://dblp.org/rec/journals/corr/abs-2105-11400 +
, https://dblp.org/rec/journals/corr/abs-2107-13072 +
, https://dblp.org/rec/journals/corr/abs-2109-08081 +
, https://dblp.org/rec/journals/corr/abs-2109-10294 +
, https://dblp.org/rec/journals/corr/abs-2109-11999 +
, https://dblp.org/rec/journals/access/ShmarovSPBLSZ20 +
, https://dblp.org/rec/journals/tcad/BartocciDGMNQ20 +
, https://dblp.org/rec/conf/atva/AbrahamBBD20 +
, https://dblp.org/rec/conf/iccps/MaBLS020 +
, https://dblp.org/rec/conf/ictac/BartocciKS20 +
, https://dblp.org/rec/conf/issta/BartocciMMMNP20 +
, https://dblp.org/rec/conf/lpar/AbrahamBBD20 +
, https://dblp.org/rec/conf/rv/NenziBBLV20 +
, https://dblp.org/rec/conf/rv/ZapridouBK20 +
, https://dblp.org/rec/conf/rv/BartocciBLNS20 +
, https://dblp.org/rec/conf/sensys/MaBS020 +
, https://dblp.org/rec/conf/tacas/BartocciKS20 +
, https://dblp.org/rec/journals/corr/abs-2002-06465 +
, https://dblp.org/rec/journals/corr/abs-2005-06115 +
, https://dblp.org/rec/journals/corr/abs-2007-09450 +
, https://dblp.org/rec/journals/corr/abs-2010-03444 +
, https://dblp.org/rec/journals/corr/abs-2010-06674 +
, https://dblp.org/rec/journals/corr/abs-2011-00384 +
, https://dblp.org/rec/journals/access/RatasichKGGSB19 +
, https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19 +
, https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19a +
, https://dblp.org/rec/journals/sttt/BartocciFBCDHJK19 +
, https://dblp.org/rec/journals/sttt/GurungRBBG19 +
, https://dblp.org/rec/journals/tcbb/AbbasRMBSG19 +
, https://dblp.org/rec/conf/atva/BartocciKS19 +
, https://dblp.org/rec/conf/cdc/HaghighiMBB19 +
, https://dblp.org/rec/conf/cmsb/PihoMBRH19 +
, https://dblp.org/rec/conf/formats/KongB0H19 +
, https://dblp.org/rec/conf/isce/HirschBG19 +
, https://dblp.org/rec/conf/saso/RatasichPGB19 +
, https://dblp.org/rec/conf/sefm/BartocciMMMN19 +
, https://dblp.org/rec/conf/tacas/BartocciBBFGHHK19 +
, https://dblp.org/rec/conf/tacas/BartocciFR19 +
, https://dblp.org/rec/journals/corr/abs-1901-03315 +
, https://dblp.org/rec/journals/corr/abs-1903-04326 +
, https://dblp.org/rec/journals/corr/abs-1903-12468 +
, https://dblp.org/rec/journals/corr/abs-1904-08847 +
, https://dblp.org/rec/journals/corr/abs-1904-11611 +
, https://dblp.org/rec/journals/corr/abs-1905-02835 +
, https://dblp.org/rec/journals/corr/abs-1907-11514 +
, https://dblp.org/rec/journals/corr/abs-1908-02366 +
, https://dblp.org/rec/journals/fmsd/JaksicBGNN18 +
, https://dblp.org/rec/journals/tcad/JaksicBGN18 +
, https://dblp.org/rec/journals/tcbb/BartocciLP18 +
, https://dblp.org/rec/journals/tcns/BartocciGHB18 +
, https://dblp.org/rec/conf/adhs/FanM0BM018 +
, https://dblp.org/rec/conf/atva/SilvettiNBB18 +
, https://dblp.org/rec/conf/cav/KongBH18 +
, https://dblp.org/rec/conf/cav/BartocciBNR18 +
, https://dblp.org/rec/conf/hybrid/BartocciFMN18 +
, https://dblp.org/rec/conf/isola/BartocciF18 +
, https://dblp.org/rec/conf/qest/ArmingBCKS18 +
, https://dblp.org/rec/conf/qest/NenziSBB18 +
, https://dblp.org/rec/conf/rv/Bartocci18 +
, https://dblp.org/rec/series/lncs/BartocciFFR18 +
, https://dblp.org/rec/series/lncs/BartocciDDFMNS18 +
, https://dblp.org/rec/journals/corr/abs-1802-03775 +
, https://dblp.org/rec/journals/corr/abs-1803-02975 +
, https://dblp.org/rec/journals/corr/abs-1804-03237 +
, https://dblp.org/rec/journals/corr/abs-1806-00238 +
, https://dblp.org/rec/journals/corr/abs-1806-05126 +
, https://dblp.org/rec/journals/corr/abs-1810-06870 +
, https://dblp.org/rec/journals/corr/abs-1811-06740 +
, https://dblp.org/rec/journals/fmsd/BartocciM17 +
, https://dblp.org/rec/journals/pe/BartocciBBMS17 +
, https://dblp.org/rec/conf/cav/SelyuninJNRHBNG17 +
, https://dblp.org/rec/conf/cmsb/AbbasRBSG17 +
, https://dblp.org/rec/conf/hvc/ShmarovPBLSZ17 +
, https://dblp.org/rec/conf/iwann/SelyuninHRBG17 +
, https://dblp.org/rec/conf/memocode/BartocciBLN17 +
, https://dblp.org/rec/conf/qest/BaldiBCCSSS17 +
, https://dblp.org/rec/conf/tacas/LukinaEHBYTSG17 +
, https://dblp.org/rec/journals/corr/ArmingBS17 +
, https://dblp.org/rec/series/natosec/RodionovaBNG17 +
, https://dblp.org/rec/journals/corr/ShmarovPBLSZ17 +
, https://dblp.org/rec/journals/corr/abs-1711-06202 +
, https://dblp.org/rec/journals/ploscb/BartocciL16 +
, https://dblp.org/rec/journals/sttt/BartocciR16 +
, https://dblp.org/rec/conf/date/SelyuninNBNG16 +
, https://dblp.org/rec/conf/hsb/KongBBGHJS16 +
, https://dblp.org/rec/conf/hybrid/RodionovaBNG16 +
, https://dblp.org/rec/conf/isola/KalajdzicJLBLSG16 +
, https://dblp.org/rec/conf/isola/BartocciF16 +
, https://dblp.org/rec/conf/isola/NguyenBNGJS16 +
, https://dblp.org/rec/conf/memocode/GurungDBBGR16 +
, https://dblp.org/rec/conf/qest/BartocciBBMS16 +
, https://dblp.org/rec/conf/rv/JaksicBGN16 +
, https://dblp.org/rec/conf/rv/SelyuninNBG16 +
, https://dblp.org/rec/journals/corr/BartocciBBMS16 +
, https://dblp.org/rec/journals/corr/GurungDBBGR16 +
, https://dblp.org/rec/journals/corr/LukinaEHBYTSG16 +
, https://dblp.org/rec/journals/corr/AbbasRBSG16 +
, https://dblp.org/rec/journals/tcs/BartocciBNS15 +
, https://dblp.org/rec/journals/tcs/IslamMBCFGSG15 +
, https://dblp.org/rec/conf/cdc/SelyuninRBISG15 +
, https://dblp.org/rec/conf/hsb/BartocciBMNS15 +
, https://dblp.org/rec/conf/hvc/RayGDBBG15 +
, https://dblp.org/rec/conf/hvc/BogomolovSBBKG15 +
, https://dblp.org/rec/conf/hybrid/HaghighiJKBGB15 +
, https://dblp.org/rec/conf/memocode/JaksicBGKNN15 +
, https://dblp.org/rec/journals/corr/SelyuninRBG15 +
, https://dblp.org/rec/journals/corr/RodionovaBNG15 +
, https://dblp.org/rec/journals/iandc/BartocciBS14 +
, https://dblp.org/rec/conf/cdc/GolBB14 +
, https://dblp.org/rec/conf/formats/BartocciBS14 +
, https://dblp.org/rec/conf/isola/BartocciGS14 +
, https://dblp.org/rec/conf/isola/BufoBSBLB14 +
, https://dblp.org/rec/conf/rv/BartocciBF14 +
, https://dblp.org/rec/conf/spin/BartocciDS14 +
, https://dblp.org/rec/journals/corr/GolBB14 +
, https://dblp.org/rec/journals/ercim/BartocciHG14 +
, https://dblp.org/rec/journals/tcbb/MurthyBFGGCSG13 +
, https://dblp.org/rec/conf/cmsb/BartocciBN13 +
, https://dblp.org/rec/conf/rv/KalajdzicBSSG13 +
, https://dblp.org/rec/journals/corr/BartocciG13 +
, https://dblp.org/rec/journals/corr/BartocciBNS13 +
, https://dblp.org/rec/journals/corr/Bartocci13 +
, https://dblp.org/rec/journals/corr/BartocciBN13 +
, https://dblp.org/rec/journals/corr/BartocciBS13 +
, https://dblp.org/rec/journals/jib/BartocciCBMV12 +
, https://dblp.org/rec/journals/tcsb/BartocciLMP12 +
, https://dblp.org/rec/conf/atva/DonzeMBNGS12 +
, https://dblp.org/rec/conf/cmsb/MurthyIBCFGSG12 +
, https://dblp.org/rec/conf/rv/BartocciGKSSZS12 +
, https://dblp.org/rec/journals/biosystems/AlfieriBMM11 +
, https://dblp.org/rec/conf/cav/GrosuBFGGSB11 +
, https://dblp.org/rec/conf/cmsb/BartocciCGGSF11 +
, https://dblp.org/rec/conf/cmsb/MurthyBFGGSG11 +
, https://dblp.org/rec/conf/rv/StollerBSGHSZ11 +
, https://dblp.org/rec/conf/sew/GrosuFSB11 +
, https://dblp.org/rec/conf/tacas/BartocciGKRS11 +
, https://dblp.org/rec/journals/cuza/BartocciCBMT10 +
, https://dblp.org/rec/journals/cuza/BartocciCBMT10a +
, https://dblp.org/rec/journals/tcs/BartocciCMT10 +
, https://dblp.org/rec/journals/corr/abs-1011-2488 +
, https://dblp.org/rec/journals/cacm/GrosuSCWEB09 +
, https://dblp.org/rec/journals/tcs/BartocciCBESG09 +
, https://dblp.org/rec/conf/ictcs/BartocciCBMT09 +
, https://dblp.org/rec/journals/bmcbi/BartocciCEGS08 +
, https://dblp.org/rec/conf/birthday/BartocciCGMRS08 +
, https://dblp.org/rec/conf/hybrid/GrosuBCESW08 +
, https://dblp.org/rec/journals/entcs/BartocciCMT09 +
, https://dblp.org/rec/journals/bmcbi/BartocciCMS07 +
, https://dblp.org/rec/journals/bmcbi/RomanoBBPMMMM07 +
, https://dblp.org/rec/journals/entcs/BartocciCBEGS08 +
, https://dblp.org/rec/conf/iccS/BartocciCM06 +
, https://dblp.org/rec/conf/woa/BartocciCM06 +
, https://dblp.org/rec/conf/woa/BartocciCMV06 +
, https://dblp.org/rec/conf/iceis/BartocciMM03 +
|
https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/96/8063 +
, https://dblp.org/pid/a/ErikaAbraham +
, https://dblp.org/pid/304/2146 +
, https://dblp.org/pid/91/1275 +
, https://dblp.org/pid/49/3675 +
, https://dblp.org/pid/289/7505 +
, https://dblp.org/pid/322/5092 +
, https://dblp.org/pid/284/2809 +
, https://dblp.org/pid/68/11198 +
, https://dblp.org/pid/378/2831 +
, https://dblp.org/pid/26/3594 +
, https://dblp.org/pid/05/1010 +
, https://dblp.org/pid/86/3295 +
, https://dblp.org/pid/b/MichaelABender +
, https://dblp.org/pid/37/2824 +
, https://dblp.org/pid/71/3403 +
, https://dblp.org/pid/b/DirkBeyer1 +
, https://dblp.org/pid/b/DomenicoBianculli +
, https://dblp.org/pid/16/6383 +
, https://dblp.org/pid/80/1300 +
, https://dblp.org/pid/90/8556 +
, https://dblp.org/pid/59/6397 +
, https://dblp.org/pid/151/5223 +
, https://dblp.org/pid/32/1171 +
, https://dblp.org/pid/71/2136 +
, https://dblp.org/pid/18/3197 +
, https://dblp.org/pid/151/5246 +
, https://dblp.org/pid/05/2485 +
, https://dblp.org/pid/19/6630 +
, https://dblp.org/pid/213/3728 +
, https://dblp.org/pid/92/5602 +
, https://dblp.org/pid/13/2357 +
, https://dblp.org/pid/64/4583 +
, https://dblp.org/pid/188/5725 +
, https://dblp.org/pid/05/7730 +
, https://dblp.org/pid/44/6796 +
, https://dblp.org/pid/c/RCleaveland +
, https://dblp.org/pid/39/7271 +
, https://dblp.org/pid/00/6390 +
, https://dblp.org/pid/212/3834 +
, https://dblp.org/pid/56/3976 +
, https://dblp.org/pid/169/7368 +
, https://dblp.org/pid/117/5448 +
, https://dblp.org/pid/148/1295 +
, https://dblp.org/pid/182/2216 +
, https://dblp.org/pid/42/160 +
, https://dblp.org/pid/190/3742 +
, https://dblp.org/pid/96/6273 +
, https://dblp.org/pid/e/TEiter +
, https://dblp.org/pid/75/2420 +
, https://dblp.org/pid/19/10327 +
, https://dblp.org/pid/34/4314 +
, https://dblp.org/pid/11/5986 +
, https://dblp.org/pid/127/1756 +
, https://dblp.org/pid/43/8810 +
, https://dblp.org/pid/48/4233-1 +
, https://dblp.org/pid/55/621 +
, https://dblp.org/pid/132/1855 +
, https://dblp.org/pid/91/2771 +
, https://dblp.org/pid/22/8296 +
, https://dblp.org/pid/83/127 +
, https://dblp.org/pid/228/7874 +
, https://dblp.org/pid/352/3351 +
, https://dblp.org/pid/278/8813 +
, https://dblp.org/pid/47/1852 +
, https://dblp.org/pid/98/11143 +
, https://dblp.org/pid/g/GuidoGovernatori +
, https://dblp.org/pid/116/3094 +
, https://dblp.org/pid/94/5421 +
, https://dblp.org/pid/61/918 +
, https://dblp.org/pid/162/5522 +
, https://dblp.org/pid/202/8965 +
, https://dblp.org/pid/162/5519 +
, https://dblp.org/pid/89/7952 +
, https://dblp.org/pid/190/3168 +
, https://dblp.org/pid/84/3029 +
, https://dblp.org/pid/28/4019 +
, https://dblp.org/pid/h/ThomasAHenzinger +
, https://dblp.org/pid/h/JaneHillston +
, https://dblp.org/pid/51/2209 +
, https://dblp.org/pid/37/11136 +
, https://dblp.org/pid/76/6612 +
, https://dblp.org/pid/192/5685 +
, https://dblp.org/pid/123/8074 +
, https://dblp.org/pid/44/7214 +
, https://dblp.org/pid/172/4700 +
, https://dblp.org/pid/33/10826 +
, https://dblp.org/pid/21/4633-1 +
, https://dblp.org/pid/125/2098 +
, https://dblp.org/pid/133/8185 +
, https://dblp.org/pid/05/10484 +
, https://dblp.org/pid/127/6736 +
, https://dblp.org/pid/125/1303 +
, https://dblp.org/pid/k/JoostPieterKatoen +
, https://dblp.org/pid/20/2927 +
, https://dblp.org/pid/267/5393 +
, https://dblp.org/pid/145/5424 +
, https://dblp.org/pid/27/6182 +
, https://dblp.org/pid/172/4668 +
, https://dblp.org/pid/320/0898 +
, https://dblp.org/pid/94/1836-4 +
, https://dblp.org/pid/89/7611 +
, https://dblp.org/pid/117/3735 +
, https://dblp.org/pid/07/2336 +
, https://dblp.org/pid/k/LauraKovacs +
, https://dblp.org/pid/143/2658 +
, https://dblp.org/pid/52/579 +
, https://dblp.org/pid/l/MartinLeucker +
, https://dblp.org/pid/264/0105 +
, https://dblp.org/pid/12/3912-1 +
, https://dblp.org/pid/l/PietroLio +
, https://dblp.org/pid/309/3357 +
, https://dblp.org/pid/l/MicheleLoreti +
, https://dblp.org/pid/14/3418 +
, https://dblp.org/pid/145/4608 +
, https://dblp.org/pid/186/9691 +
, https://dblp.org/pid/46/11008 +
, https://dblp.org/pid/227/1077 +
, https://dblp.org/pid/25/3571 +
, https://dblp.org/pid/98/1436-2 +
, https://dblp.org/pid/71/1981 +
, https://dblp.org/pid/m/OdedMaler +
, https://dblp.org/pid/48/6846 +
, https://dblp.org/pid/217/3820 +
, https://dblp.org/pid/248/8398 +
, https://dblp.org/pid/27/2914 +
, https://dblp.org/pid/77/4627 +
, https://dblp.org/pid/60/1792 +
, https://dblp.org/pid/79/4374 +
, https://dblp.org/pid/184/2270 +
, https://dblp.org/pid/30/4233-1 +
, https://dblp.org/pid/m/EmanuelaMerelli +
, https://dblp.org/pid/55/5807 +
, https://dblp.org/pid/138/3765 +
, https://dblp.org/pid/18/10115 +
, https://dblp.org/pid/07/3797 +
, https://dblp.org/pid/136/6699 +
, https://dblp.org/pid/276/0643 +
, https://dblp.org/pid/119/6025 +
, https://dblp.org/pid/62/11440 +
, https://dblp.org/pid/131/6717 +
, https://dblp.org/pid/302/3760 +
, https://dblp.org/pid/296/4906 +
, https://dblp.org/pid/50/8378-7 +
, https://dblp.org/pid/60/1425 +
, https://dblp.org/pid/52/776 +
, https://dblp.org/pid/74/7446 +
, https://dblp.org/pid/15/10263 +
, https://dblp.org/pid/13/6218 +
, https://dblp.org/pid/61/1343 +
, https://dblp.org/pid/183/6448 +
, https://dblp.org/pid/140/4507 +
, https://dblp.org/pid/308/2097 +
, https://dblp.org/pid/61/1269 +
, https://dblp.org/pid/216/7508 +
, https://dblp.org/pid/r/CRRamakrishnan +
, https://dblp.org/pid/159/1755 +
, https://dblp.org/pid/33/9703 +
, https://dblp.org/pid/118/0099 +
, https://dblp.org/pid/202/8954 +
, https://dblp.org/pid/248/8409 +
, https://dblp.org/pid/67/4174 +
, https://dblp.org/pid/39/8503 +
, https://dblp.org/pid/169/9862 +
, https://dblp.org/pid/r/PaoloRomano +
, https://dblp.org/pid/r/GrigoreRosu +
, https://dblp.org/pid/21/5209 +
, https://dblp.org/pid/352/3318 +
, https://dblp.org/pid/38/1858 +
, https://dblp.org/pid/55/5566 +
, https://dblp.org/pid/82/1542 +
, https://dblp.org/pid/72/2103-1 +
, https://dblp.org/pid/57/3614-1 +
, https://dblp.org/pid/01/1333 +
, https://dblp.org/pid/160/7823 +
, https://dblp.org/pid/75/7103 +
, https://dblp.org/pid/159/1606 +
, https://dblp.org/pid/180/5888 +
, https://dblp.org/pid/36/3229 +
, https://dblp.org/pid/s/MuhammadShafique +
, https://dblp.org/pid/147/5324 +
, https://dblp.org/pid/27/1531 +
, https://dblp.org/pid/26/3282 +
, https://dblp.org/pid/186/9685 +
, https://dblp.org/pid/s/ScottASmolka +
, https://dblp.org/pid/66/6060 +
, https://dblp.org/pid/31/4030 +
, https://dblp.org/pid/329/8302 +
, https://dblp.org/pid/23/10279 +
, https://dblp.org/pid/83/522 +
, https://dblp.org/pid/44/5060 +
, https://dblp.org/pid/s/JohnAStankovic +
, https://dblp.org/pid/241/5425 +
, https://dblp.org/pid/s/BernhardSteffen +
, https://dblp.org/pid/09/6787 +
, https://dblp.org/pid/24/5175-1 +
, https://dblp.org/pid/s/GeoffSutcliffe +
, https://dblp.org/pid/84/1927 +
, https://dblp.org/pid/08/7448 +
, https://dblp.org/pid/t/AshishTiwari +
, https://dblp.org/pid/95/10567 +
, https://dblp.org/pid/223/5493 +
, https://dblp.org/pid/253/6180 +
, https://dblp.org/pid/41/1803 +
, https://dblp.org/pid/02/5889-44 +
, https://dblp.org/pid/73/591 +
, https://dblp.org/pid/56/3934 +
, https://dblp.org/pid/79/1651 +
, https://dblp.org/pid/15/3636 +
, https://dblp.org/pid/320/7974 +
, https://dblp.org/pid/299/7019 +
, https://dblp.org/pid/36/2450-2 +
, https://dblp.org/pid/148/0107 +
, https://dblp.org/pid/71/1341 +
, https://dblp.org/pid/65/4319 +
, https://dblp.org/pid/275/9488 +
, https://dblp.org/pid/64/6544 +
, https://dblp.org/pid/93/5060 +
|
https://dblp.org/rdf/schema#creatorName
|
Ezio Bartocci
|
https://dblp.org/rdf/schema#creatorOf
|
https://dblp.org/rec/conf/forte/ViscontiBFN24 +
, https://dblp.org/rec/journals/corr/abs-2404-03515 +
, https://dblp.org/rec/journals/corr/abs-2405-14400 +
, https://dblp.org/rec/journals/sttt/NenziBBSL23 +
, https://dblp.org/rec/journals/tecs/BartocciMNN23 +
, https://dblp.org/rec/conf/atva/DobeSBBLPW23 +
, https://dblp.org/rec/conf/concur/BartocciHNC23 +
, https://dblp.org/rec/conf/dac/HeNBG23 +
, https://dblp.org/rec/conf/ecai/SoldaLBE23 +
, https://dblp.org/rec/conf/icst/BartocciMNY23 +
, https://dblp.org/rec/conf/kbse/TundoMIBBM23 +
, https://dblp.org/rec/conf/qest/GerlachDABB23 +
, https://dblp.org/rec/conf/qest/AndriushchenkoBCPS23 +
, https://dblp.org/rec/conf/rv/AguilarBMNN23 +
, https://dblp.org/rec/conf/spin/MaderbacherSBBNK23 +
, https://dblp.org/rec/journals/corr/abs-2301-13615 +
, https://dblp.org/rec/journals/corr/abs-2304-09094 +
, https://dblp.org/rec/journals/corr/abs-2305-02836 +
, https://dblp.org/rec/journals/corr/abs-2306-01597 +
, https://dblp.org/rec/journals/corr/abs-2306-07072 +
, https://dblp.org/rec/journals/corr/abs-2307-04503 +
, https://dblp.org/rec/journals/corr/abs-2307-05282 +
, https://dblp.org/rec/journals/corr/abs-2309-00022 +
, https://dblp.org/rec/journals/ethicsit/NeufeldBCG22 +
, https://dblp.org/rec/journals/fmsd/MoosbruggerBKK22 +
, https://dblp.org/rec/journals/iandc/BartocciMNN22 +
, https://dblp.org/rec/journals/iandc/DobeABB22 +
, https://dblp.org/rec/journals/lmcs/NenziBBL22 +
, https://dblp.org/rec/journals/pacmpl/MoosbruggerSBK22 +
, https://dblp.org/rec/journals/tcs/StankovicBK22 +
, https://dblp.org/rec/conf/fase/BartocciFHNC22 +
, https://dblp.org/rec/conf/icse/HeBNIG22 +
, https://dblp.org/rec/conf/issre/BartocciMNY22 +
, https://dblp.org/rec/conf/nfm/DobeWABB22 +
, https://dblp.org/rec/conf/prima/NeufeldBC22 +
, https://dblp.org/rec/conf/qest/KofnovMSBB22 +
, https://dblp.org/rec/conf/qest/KarimiMSKBB22 +
, https://dblp.org/rec/conf/sas/AmrollahiBKKMS22 +
, https://dblp.org/rec/conf/sigsoft/BartocciMNY22 +
, https://dblp.org/rec/conf/vmcai/BartocciFHNC22 +
, https://dblp.org/rec/conf/hybrid/2022 +
, https://dblp.org/rec/journals/corr/abs-2204-07185 +
, https://dblp.org/rec/journals/corr/abs-2205-02577 +
, https://dblp.org/rec/journals/corr/abs-2206-06943 +
, https://dblp.org/rec/journals/iotj/MaBLSF21 +
, https://dblp.org/rec/journals/sigact/BartocciB21 +
, https://dblp.org/rec/journals/sttt/BartocciMMMN21 +
, https://dblp.org/rec/journals/tecs/MaSB021 +
, https://dblp.org/rec/conf/adhs/BartocciBMMN21 +
, https://dblp.org/rec/conf/cade/NeufeldBCG21 +
, https://dblp.org/rec/conf/cdc/AlsalehiMBB21 +
, https://dblp.org/rec/conf/esop/MoosbruggerBKK21 +
, https://dblp.org/rec/conf/fm/DobeABB21 +
, https://dblp.org/rec/conf/fm/MoosbruggerBKK21 +
, https://dblp.org/rec/conf/memocode/ViscontiBLN21 +
, https://dblp.org/rec/conf/sefm/BartocciDMNNQ21 +
, https://dblp.org/rec/conf/birthday/2021havelund +
, https://dblp.org/rec/journals/corr/abs-2103-03908 +
, https://dblp.org/rec/journals/corr/abs-2104-02737 +
, https://dblp.org/rec/journals/corr/abs-2104-04904 +
, https://dblp.org/rec/journals/corr/abs-2104-14333 +
, https://dblp.org/rec/journals/corr/abs-2105-02013 +
, https://dblp.org/rec/journals/corr/abs-2105-11400 +
, https://dblp.org/rec/journals/corr/abs-2107-13072 +
, https://dblp.org/rec/journals/corr/abs-2109-08081 +
, https://dblp.org/rec/journals/corr/abs-2109-10294 +
, https://dblp.org/rec/journals/corr/abs-2109-11999 +
, https://dblp.org/rec/journals/access/ShmarovSPBLSZ20 +
, https://dblp.org/rec/journals/tcad/BartocciDGMNQ20 +
, https://dblp.org/rec/conf/atva/AbrahamBBD20 +
, https://dblp.org/rec/conf/iccps/MaBLS020 +
, https://dblp.org/rec/conf/ictac/BartocciKS20 +
, https://dblp.org/rec/conf/issta/BartocciMMMNP20 +
, https://dblp.org/rec/conf/lpar/AbrahamBBD20 +
, https://dblp.org/rec/conf/rv/NenziBBLV20 +
, https://dblp.org/rec/conf/rv/ZapridouBK20 +
, https://dblp.org/rec/conf/rv/BartocciBLNS20 +
, https://dblp.org/rec/conf/sensys/MaBS020 +
, https://dblp.org/rec/conf/tacas/BartocciKS20 +
, https://dblp.org/rec/journals/corr/abs-2002-06465 +
, https://dblp.org/rec/journals/corr/abs-2005-06115 +
, https://dblp.org/rec/journals/corr/abs-2007-09450 +
, https://dblp.org/rec/journals/corr/abs-2010-03444 +
, https://dblp.org/rec/journals/corr/abs-2010-06674 +
, https://dblp.org/rec/journals/corr/abs-2011-00384 +
, https://dblp.org/rec/journals/access/RatasichKGGSB19 +
, https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19 +
, https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19a +
, https://dblp.org/rec/journals/sttt/BartocciFBCDHJK19 +
, https://dblp.org/rec/journals/sttt/GurungRBBG19 +
, https://dblp.org/rec/journals/tcbb/AbbasRMBSG19 +
, https://dblp.org/rec/conf/atva/BartocciKS19 +
, https://dblp.org/rec/conf/cdc/HaghighiMBB19 +
, https://dblp.org/rec/conf/cmsb/PihoMBRH19 +
, https://dblp.org/rec/conf/formats/KongB0H19 +
, https://dblp.org/rec/conf/isce/HirschBG19 +
, https://dblp.org/rec/conf/saso/RatasichPGB19 +
, https://dblp.org/rec/conf/sefm/BartocciMMMN19 +
, https://dblp.org/rec/conf/tacas/BartocciBBFGHHK19 +
, https://dblp.org/rec/conf/tacas/BartocciFR19 +
, https://dblp.org/rec/conf/birthday/2019smolka +
, https://dblp.org/rec/journals/corr/abs-1901-03315 +
, https://dblp.org/rec/journals/corr/abs-1903-04326 +
, https://dblp.org/rec/journals/corr/abs-1903-12468 +
, https://dblp.org/rec/journals/corr/abs-1904-08847 +
, https://dblp.org/rec/journals/corr/abs-1904-11611 +
, https://dblp.org/rec/journals/corr/abs-1905-02835 +
, https://dblp.org/rec/journals/corr/abs-1907-11514 +
, https://dblp.org/rec/journals/corr/abs-1908-02366 +
, https://dblp.org/rec/journals/fmsd/JaksicBGNN18 +
, https://dblp.org/rec/journals/tcad/JaksicBGN18 +
, https://dblp.org/rec/journals/tcbb/BartocciLP18 +
, https://dblp.org/rec/journals/tcns/BartocciGHB18 +
, https://dblp.org/rec/conf/adhs/FanM0BM018 +
, https://dblp.org/rec/conf/atva/SilvettiNBB18 +
, https://dblp.org/rec/conf/cav/KongBH18 +
, https://dblp.org/rec/conf/cav/BartocciBNR18 +
, https://dblp.org/rec/conf/hybrid/BartocciFMN18 +
, https://dblp.org/rec/conf/isola/BartocciF18 +
, https://dblp.org/rec/conf/qest/ArmingBCKS18 +
, https://dblp.org/rec/conf/qest/NenziSBB18 +
, https://dblp.org/rec/conf/rv/Bartocci18 +
, https://dblp.org/rec/series/lncs/BartocciFFR18 +
, https://dblp.org/rec/series/lncs/BartocciDDFMNS18 +
, https://dblp.org/rec/series/lncs/10457 +
, https://dblp.org/rec/journals/corr/abs-1802-03775 +
, https://dblp.org/rec/journals/corr/abs-1803-02975 +
, https://dblp.org/rec/journals/corr/abs-1804-03237 +
, https://dblp.org/rec/journals/corr/abs-1806-00238 +
, https://dblp.org/rec/journals/corr/abs-1806-05126 +
, https://dblp.org/rec/journals/corr/abs-1810-06870 +
, https://dblp.org/rec/journals/corr/abs-1811-06740 +
, https://dblp.org/rec/journals/fmsd/BartocciM17 +
, https://dblp.org/rec/journals/pe/BartocciBBMS17 +
, https://dblp.org/rec/conf/cav/SelyuninJNRHBNG17 +
, https://dblp.org/rec/conf/cmsb/AbbasRBSG17 +
, https://dblp.org/rec/conf/hvc/ShmarovPBLSZ17 +
, https://dblp.org/rec/conf/iwann/SelyuninHRBG17 +
, https://dblp.org/rec/conf/memocode/BartocciBLN17 +
, https://dblp.org/rec/conf/qest/BaldiBCCSSS17 +
, https://dblp.org/rec/conf/tacas/LukinaEHBYTSG17 +
, https://dblp.org/rec/journals/corr/ArmingBS17 +
, https://dblp.org/rec/series/natosec/RodionovaBNG17 +
, https://dblp.org/rec/journals/corr/ShmarovPBLSZ17 +
, https://dblp.org/rec/journals/corr/abs-1711-06202 +
, https://dblp.org/rec/journals/ploscb/BartocciL16 +
, https://dblp.org/rec/journals/sttt/BartocciR16 +
, https://dblp.org/rec/conf/date/SelyuninNBNG16 +
, https://dblp.org/rec/conf/hsb/KongBBGHJS16 +
, https://dblp.org/rec/conf/hybrid/RodionovaBNG16 +
, https://dblp.org/rec/conf/isola/KalajdzicJLBLSG16 +
, https://dblp.org/rec/conf/isola/BartocciF16 +
, https://dblp.org/rec/conf/isola/NguyenBNGJS16 +
, https://dblp.org/rec/conf/memocode/GurungDBBGR16 +
, https://dblp.org/rec/conf/qest/BartocciBBMS16 +
, https://dblp.org/rec/conf/rv/JaksicBGN16 +
, https://dblp.org/rec/conf/rv/SelyuninNBG16 +
, https://dblp.org/rec/conf/cmsb/2016 +
, https://dblp.org/rec/journals/corr/BartocciBBMS16 +
, https://dblp.org/rec/journals/corr/GurungDBBGR16 +
, https://dblp.org/rec/journals/corr/LukinaEHBYTSG16 +
, https://dblp.org/rec/journals/corr/AbbasRBSG16 +
, https://dblp.org/rec/journals/tcs/BartocciBNS15 +
, https://dblp.org/rec/journals/tcs/IslamMBCFGSG15 +
, https://dblp.org/rec/conf/cdc/SelyuninRBISG15 +
, https://dblp.org/rec/conf/hsb/BartocciBMNS15 +
, https://dblp.org/rec/conf/hvc/RayGDBBG15 +
, https://dblp.org/rec/conf/hvc/BogomolovSBBKG15 +
, https://dblp.org/rec/conf/hybrid/HaghighiJKBGB15 +
, https://dblp.org/rec/conf/memocode/JaksicBGKNN15 +
, https://dblp.org/rec/conf/rv/2015 +
, https://dblp.org/rec/journals/corr/SelyuninRBG15 +
, https://dblp.org/rec/journals/corr/RodionovaBNG15 +
, https://dblp.org/rec/journals/iandc/BartocciBS14 +
, https://dblp.org/rec/conf/cdc/GolBB14 +
, https://dblp.org/rec/conf/formats/BartocciBS14 +
, https://dblp.org/rec/conf/isola/BartocciGS14 +
, https://dblp.org/rec/conf/isola/BufoBSBLB14 +
, https://dblp.org/rec/conf/rv/BartocciBF14 +
, https://dblp.org/rec/conf/spin/BartocciDS14 +
, https://dblp.org/rec/journals/corr/GolBB14 +
, https://dblp.org/rec/journals/ercim/BartocciHG14 +
, https://dblp.org/rec/journals/tcbb/MurthyBFGGCSG13 +
, https://dblp.org/rec/conf/cmsb/BartocciBN13 +
, https://dblp.org/rec/conf/rv/KalajdzicBSSG13 +
, https://dblp.org/rec/journals/corr/BartocciG13 +
, https://dblp.org/rec/journals/corr/BartocciBNS13 +
, https://dblp.org/rec/journals/corr/Bartocci13 +
, https://dblp.org/rec/conf/spin/2013 +
, https://dblp.org/rec/journals/corr/BartocciBN13 +
, https://dblp.org/rec/journals/corr/BartocciBS13 +
, https://dblp.org/rec/journals/jib/BartocciCBMV12 +
, https://dblp.org/rec/journals/tcsb/BartocciLMP12 +
, https://dblp.org/rec/conf/atva/DonzeMBNGS12 +
, https://dblp.org/rec/conf/cmsb/MurthyIBCFGSG12 +
, https://dblp.org/rec/conf/rv/BartocciGKSSZS12 +
, https://dblp.org/rec/journals/corr/abs-1208-3151 +
, https://dblp.org/rec/journals/biosystems/AlfieriBMM11 +
, https://dblp.org/rec/conf/cav/GrosuBFGGSB11 +
, https://dblp.org/rec/conf/cmsb/BartocciCGGSF11 +
, https://dblp.org/rec/conf/cmsb/MurthyBFGGSG11 +
, https://dblp.org/rec/conf/rv/StollerBSGHSZ11 +
, https://dblp.org/rec/conf/sew/GrosuFSB11 +
, https://dblp.org/rec/conf/tacas/BartocciGKRS11 +
, https://dblp.org/rec/journals/cuza/BartocciCBMT10 +
, https://dblp.org/rec/journals/cuza/BartocciCBMT10a +
, https://dblp.org/rec/journals/tcs/BartocciCMT10 +
, https://dblp.org/rec/journals/corr/abs-1011-2488 +
, https://dblp.org/rec/journals/cacm/GrosuSCWEB09 +
, https://dblp.org/rec/journals/tcs/BartocciCBESG09 +
, https://dblp.org/rec/conf/ictcs/BartocciCBMT09 +
, https://dblp.org/rec/journals/bmcbi/BartocciCEGS08 +
, https://dblp.org/rec/conf/birthday/BartocciCGMRS08 +
, https://dblp.org/rec/conf/hybrid/GrosuBCESW08 +
, https://dblp.org/rec/journals/entcs/BartocciCMT09 +
, https://dblp.org/rec/journals/bmcbi/BartocciCMS07 +
, https://dblp.org/rec/journals/bmcbi/RomanoBBPMMMM07 +
, https://dblp.org/rec/journals/entcs/BartocciCBEGS08 +
, https://dblp.org/rec/conf/iccS/BartocciCM06 +
, https://dblp.org/rec/conf/woa/BartocciCM06 +
, https://dblp.org/rec/conf/woa/BartocciCMV06 +
, https://dblp.org/rec/conf/iceis/BartocciMM03 +
|
https://dblp.org/rdf/schema#editorOf
|
https://dblp.org/rec/conf/hybrid/2022 +
, https://dblp.org/rec/conf/birthday/2021havelund +
, https://dblp.org/rec/conf/birthday/2019smolka +
, https://dblp.org/rec/series/lncs/10457 +
, https://dblp.org/rec/conf/cmsb/2016 +
, https://dblp.org/rec/conf/rv/2015 +
, https://dblp.org/rec/conf/spin/2013 +
, https://dblp.org/rec/journals/corr/abs-1208-3151 +
|
https://dblp.org/rdf/schema#homepage
|
http://www.eziobartocci.com/ +
|
https://dblp.org/rdf/schema#orcid
|
https://orcid.org/0000-0002-8004-6601 +
|
https://dblp.org/rdf/schema#primaryAffiliation
|
TU Wien, Vienna, Austria
|
https://dblp.org/rdf/schema#primaryCreatorName
|
Ezio Bartocci
|
https://dblp.org/rdf/schema#primaryHomepage
|
http://www.eziobartocci.com/ +
|
https://dblp.org/rdf/schema#webpage
|
https://scholar.google.com/citations?user=EeK43rAAAAAJ +
, https://zbmath.org/authors/?q=ai:bartocci.ezio +
, https://mathgenealogy.org/id.php?id=232761 +
|
https://dblp.org/rdf/schema#wikidata
|
http://www.wikidata.org/entity/Q55756081 +
|
owl:sameAs |
https://orcid.org/0000-0002-8004-6601 +
, http://www.wikidata.org/entity/Q55756081 +
, https://id.loc.gov/authorities/names/nb2013016482 +
, https://d-nb.info/gnd/1045252077 +
|
rdf:type |
https://dblp.org/rdf/schema#Creator +
, https://dblp.org/rdf/schema#Person +
|
rdfs:label |
Ezio Bartocci
|