학술논문
'학술논문'
에서 검색결과 29건 | 목록
1~10
Report
Colonnelli, Iacopo; Medić, Doriana; Mulone, Alberto; Bono, Viviana; Padovani, Luca; Aldinucci, Marco
Formal Methods. FM 2024. Lecture Notes in Computer Science, vol 14933. Springer, Cham
Conference
2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC) COMPSAC Computers, Software, and Applications Conference (COMPSAC), 2023 IEEE 47th Annual. :1864-1869 Jun, 2023
Academic Journal
In Information and Computation December 2020 275
Report
da Silva, Rafael Ferreira; Badia, Rosa M.; Bala, Venkat; Bard, Debbie; Bremer, Peer-Timo; Buckley, Ian; Caino-Lores, Silvina; Chard, Kyle; Goble, Carole; Jha, Shantenu; Katz, Daniel S.; Laney, Daniel; Parashar, Manish; Suter, Frederic; Tyler, Nick; Uram, Thomas; Altintas, Ilkay; Andersson, Stefan; Arndt, William; Aznar, Juan; Bader, Jonathan; Balis, Bartosz; Blanton, Chris; Braghetto, Kelly Rosa; Brodutch, Aharon; Brunk, Paul; Casanova, Henri; Lierta, Alba Cervera; Chigu, Justin; Coleman, Taina; Collier, Nick; Colonnelli, Iacopo; Coppens, Frederik; Crusoe, Michael; Cunningham, Will; Kinoshita, Bruno de Paula; Di Tommaso, Paolo; Doutriaux, Charles; Downton, Matthew; Elwasif, Wael; Enders, Bjoern; Erdmann, Chris; Fahringer, Thomas; Figueiredo, Ludmilla; Filgueira, Rosa; Foltin, Martin; Fouilloux, Anne; Gadelha, Luiz; Gallo, Andy; Saez, Artur Garcia; Garijo, Daniel; Gerlach, Roman; Grant, Ryan; Grayson, Samuel; Grubel, Patricia; Gustafsson, Johan; Hayot-Sasson, Valerie; Hernandez, Oscar; Hilbrich, Marcus; Justine, AnnMary; Laflotte, Ian; Lehmann, Fabian; Luckow, Andre; Luettgau, Jakob; Maheshwari, Ketan; Matsuda, Motohiko; Medic, Doriana; Mendygral, Pete; Michalewicz, Marek; Nonaka, Jorji; Pawlik, Maciej; Pottier, Loic; Pouchard, Line; Putz, Mathias; Radha, Santosh Kumar; Ramakrishnan, Lavanya; Ristov, Sashko; Romano, Paul; Rosendo, Daniel; Ruefenacht, Martin; Rycerz, Katarzyna; Saurabh, Nishant; Savchenko, Volodymyr; Schulz, Martin; Simpson, Christine; Sirvent, Raul; Skluzacek, Tyler; Soiland-Reyes, Stian; Souza, Renan; Sukumar, Sreenivas Rangan; Sun, Ziheng; Sussman, Alan; Thain, Douglas; Titov, Mikhail; Tovar, Benjamin; Tripathy, Aalap; Turilli, Matteo; Tuznik, Bartosz; van Dam, Hubertus; Vivas, Aurelio; Ward, Logan; Widener, Patrick; Wilkinson, Sean; Zawalska, Justyna; Zulfiqar, Mahnoor
Report
Mittone, Gianluca; Tonci, Nicolò; Birke, Robert; Colonnelli, Iacopo; Medić, Doriana; Bartolini, Andrea; Esposito, Roberto; Parisi, Emanuele; Beneventi, Francesco; Polato, Mirko; Torquati, Massimo; Benini, Luca; Aldinucci, Marco
In Proceedings of the 20th ACM International Conference on Computing Frontiers 2023 (CF '23), ACM, New York, NY, USA, 73-83
Academic Journal
Report
EPTCS 276, 2018, pp. 87-103
검색 결과 제한하기
제한된 항목
[AR] Medic, Doriana
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어