11573/1659878 - 2022 -
SENinja: A symbolic execution plugin for Binary Ninja Borzacchiello, L.; Coppa, E.; Demetrescu, C. - 01a Articolo in rivista
paper: SOFTWAREX ([Amsterdam] : Elsevier B.V.) pp. - - issn: 2352-7110 - wos: WOS:000877496600001 (0) - scopus: 2-s2.0-85140136870 (1)
11573/1659873 - 2022 -
Reach Me if You Can: On Native Vulnerability Reachability in Android Apps Borzacchiello, L.; Coppa, E.; Maiorca, D.; Columbu, A.; Demetrescu, C.; Giacinto, G. - 04b Atto di convegno in volume
conference: 27th European Symposium on Research in Computer Security, ESORICS 2022 (Copenhagen; Denmark)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (978-3-031-17142-0; 978-3-031-17143-7)
11573/1623944 - 2022 -
Handling Memory-Intensive Operations in Symbolic Execution Borzacchiello, Luca; Coppa, Emilio; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 15th Innovations in Software Engineering Conference (ISEC 2022) (Gandhinagar, India)
book: ISEC 2022: 15th Innovations in Software Engineering Conference - (9781450396189)
11573/1659877 - 2022 -
SymFusion: Hybrid Instrumentation for Concolic Execution Coppa, Emilio; Yin, Heng; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, iWOAR 2022 (Rochester; MI USA)
book: ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering - ()
11573/1661033 - 2022 -
On computer science research and its temporal evolution Demetrescu, C.; Finocchi, I.; Ribichini, A.; Schaerf, M. - 01a Articolo in rivista
paper: SCIENTOMETRICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 4913-4938 - issn: 0138-9130 - wos: WOS:000833438000001 (2) - scopus: 2-s2.0-85136765914 (1)
11573/1661035 - 2022 -
Which Conference Is That? A Case Study in Computer Science Demetrescu, C.; Finocchi, I.; Ribichini, A.; Schaerf, M. - 01a Articolo in rivista
paper: ACM JOURNAL OF DATA AND INFORMATION QUALITY (New York, NY: Association for Comput ing Machinery (ACM)) pp. 1-13 - issn: 1936-1955 - wos: WOS:000934495600006 (1) - scopus: 2-s2.0-85136752684 (1)
11573/1569333 - 2021 -
FUZZOLIC: Mixing fuzzing and concolic execution Borzacchiello, L.; Coppa, E.; Demetrescu, C. - 01a Articolo in rivista
paper: COMPUTERS & SECURITY (Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010) pp. - - issn: 0167-4048 - wos: WOS:000677639500005 (11) - scopus: 2-s2.0-85108657294 (20)
Borzacchiello, Luca; Coppa, Emilio; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (Online)
book: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) - (978-1-6654-0296-5)
11573/1464349 - 2020 -
Are Italian research assessment exercises size-biased? Demetrescu, C.; Ribichini, A.; Schaerf, M. - 01a Articolo in rivista
paper: SCIENTOMETRICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 533-549 - issn: 0138-9130 - wos: WOS:000556168300006 (3) - scopus: 2-s2.0-85089107775 (3)
11573/1405608 - 2020 -
On bibliometrics in academic promotions: a case study in computer science and engineering in Italy Demetrescu, Camil; Finocchi, Irene; Ribichini, Andrea; Schaerf, Marco - 01a Articolo in rivista
paper: SCIENTOMETRICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 2207-2228 - issn: 0138-9130 - wos: WOS:000544354400011 (10) - scopus: 2-s2.0-85086644320 (10)
11573/1325767 - 2019 -
SymNav: Visually Assisting Symbolic Execution Angelini, Marco; Blasilli, Graziano; Borzacchiello, Luca; Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil; Lenti, Simone; Nicchi, Simone; Santucci, Giuseppe - 04b Atto di convegno in volume
conference: 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) (Vancouver, Canada)
book: Proceedings of the 16th IEEE Symposium on Visualization for Cyber Security (VizSec 2019) - (978-172813876-3)
11573/1282932 - 2019 -
The ROP needle: Hiding trigger-based injection vectors via code reuse Borrello, P.; Coppa, E.; D'elia, D. C.; Demetrescu, C. - 04b Atto di convegno in volume
conference: 34th Annual ACM Symposium on Applied Computing, SAC 2019 (Limassol; Cyprus)
book: SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - (9781450359337)
11573/1291915 - 2019 -
Reconstructing C2 Servers for Remote Access Trojans with Symbolic Execution Borzacchiello, Luca; Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 3rd International Symposium on Cyber Security Cryptography and Machine Learning (Beer-Sheva; Israel)
book: Cyber Security Cryptography and Machine Learning - (978-3-030-20950-6; 978-3-030-20951-3)
11573/1322678 - 2019 -
Memory Models in Symbolic Execution: Key Ideas and New Thoughts Borzacchiello, Luca; Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil - 01a Articolo in rivista
paper: SOFTWARE TESTING, VERIFICATION & RELIABILITY ([Chichester Sussex England]: John Wiley & Sons) pp. - - issn: 1099-1689 - wos: WOS:000527416800002 (9) - scopus: 2-s2.0-85076360817 (13)
D'elia, D. C.; Coppa, E.; Salvati, A.; Demetrescu, C. - 04b Atto di convegno in volume
conference: 12th European Workshop on Systems Security, EuroSec 2019 (Dresden; Germany)
book: EuroSec '19 Proceedings of the 12th European Workshop on Systems Security - (9781450362740)
11573/1204366 - 2019 -
On the Shapley value and its application to the Italian VQR research assessment exercise Demetrescu, Camil; Lupia, Francesco; Mendicelli, Angelo; Ribichini, Andrea; Scarcello, Francesco; Schaerf, Marco - 01a Articolo in rivista
paper: JOURNAL OF INFORMETRICS (Amsterdam ; Boston ; Jena ; London ; New York ; Oxford ; Paris ; Philadelphia ; San Diego ; St. Louis : Elsevier) pp. 87-104 - issn: 1751-1577 - wos: WOS:000460550800007 (9) - scopus: 2-s2.0-85058031245 (11)
11573/1212349 - 2018 -
The future of Cybersecurity in Italy: Strategic focus area Baldoni, R.; De Nicola, R.; Prinetto, P.; Anglano, C.; Aniello, L.; Antinori, A.; Armando, A.; Aversa, R.; Baldi, Marco; Barili, A.; Bartoletti, M.; Bellini, M.; Bergadano, F.; Bernardeschi, C.; Bianchi, E.; Biancotti, C.; Bistarelli, S.; Blefari Melazzi, N.; Boetti, M.; Bondavalli, A.; Bonomi, .; Buccafurri, F.; Cambiaso, E.; Caputo, B.; Carminati, B.; Cataliotti, F. S.; Catarci, T.; Ceccarelli, A.; Cesa Bianchi, N.; Chiaraluce, F.; Colajanni, M.; Conti, M.; Conti, M.; Coppolino, L.; Costa, G.; Costamagna, V.; Cotroneo, D.; Crispo, B.; Cucchiara, R.; D’Antonio, S.; Damiani, E.; De Nicola, R.; De Santis, A.; Di Battista, G.; Di Martino, B.; Degiovanni, I. P.; Demetrescu, C.; Di Corinto, A.; Di Luna, A.; Di Natale, G.; Dini, G.; Evangelisti, M.; Falcinelli, D.; Figà, G.; Ferretti, M.; Ficco, M.; Flocchini, P.; Flottes, M.; Focardi, R.; Furfaro, Franchina.; Girdinio, P.; Guida, F.; Italiano, G. F.; Lain, D.; Laurenti, N.; Lioy, A.; Loreti, M.; Malerba, D.; Mancini, L. V.; Marchetti Spaccamela, A.; Marcialis, G.; Margheri, A.; Marrella, A.; Martinelli, F.; Martinelli, M.; Martino, L.; Massacci, F.; Mayer, M.; Mecella, M.; Mensi, M.; Merlo, A.; Miculan, M.; Montanari, L.; Morana, M.; Mosco, G. D.; Mostarda, L.; Murino, V.; Nardi, D.; Navigli, R.; Palazzi, A.; Palmieri, F.; Panetta, I. C.; Passarella, A.; Pellegrini, A.; Pelosi, G.; Pellegrino, G.; Pirlo, G.; Piuri, V.; Pizzonia, M.; Pogliani, M.; Polino, M.; Pontil, M.; Prinetto, P.; Quaglia, F.; Quattrociocchi, W.; Querzoni, L.; Rak, M.; Ranise, S.; Ricci, E.; Rossi, L.; Rota, P.; Russo, L. O.; Samarati, P.; Santoro, N.; Santucci, B.; Sassone, V.; Scala, A.; Scotti, F.; Servida, A.; Spagnoletti, P.; Spalazzi, L.; Spidalieri, F.; Spoto, A.; Squarcina, M.; Stefanelli, S.; Vecchio, A.; Venticinque, S.; Villoresi, P.; Visaggio, A.; Vitaletti, A.; Zanero, S. - 03a Saggio, Trattato Scientifico
Baldoni, Roberto; Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil; Finocchi, Irene - 01a Articolo in rivista
paper: ACM COMPUTING SURVEYS (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. - - issn: 0360-0300 - wos: WOS:000439723400007 (260) - scopus: 2-s2.0-85049585791 (407)
11573/1144647 - 2018 -
Il Futuro della Cybersecurity in Italia: Ambiti Progettuali Strategici Baldoni, Roberto; De Nicola, Rocco; Prinetto, Paolo Ernesto; Anglano, Cosimo Filomeno; Aniello, Leonardo; Antinori, Arije; Armando, Alessandro; Aversa, Rocco; Baldi, Marco; Barili, Antonio; Bartoletti, Massimo; Basile, Basile; Bellini, Marco; Bergadano, Francesco; Bernardeschi, Cinzia; Bertino, ; Elisa, Bianchi; Giuseppe, ; Biancotti, Claudia; Bistarelli, Stefano; Blefari Melazzi, Nicola; Boetti, Milena; Bondavalli, Andrea; Bonomi, Silvia; Buccafurri, Francesco; Cambiaso, Enrico; Caputo, Barbara; Carminati, Barbara; Cataliotti, Francesco Saverio; Catarci, Tiziana; Ceccarelli, Andrea; Cesa Bianchi, Nicolo' Antonio; Chiaraluce, Franco; Colajanni, Michele; Conti, Marco; Conti, Mauro; Coppolino, Luigi; Costa, Gabriele; Costamagna, Valerio; Cotroneo, Domenico; Crispo, Bruno; Cucchiara, Rita; D’Antonio, Salvatore; Damiani, Ernesto; De Nicola, Rocco; De Santis, Alfredo; Di Battista, Giuseppe; Di Martino, Beniamino; Degiovanni, Ivo Pietro; Demetrescu, Camil; Di Corinto, Arturo; Di Luna, Giuseppe Antonio; Di Natale, Giorgio; Dini, Gianluca; Evangelisti, Marco; Falcinelli, Daniela; Figà, Gianna; Ferretti, Marco; Ficco, Massimo; Flocchini, Paola; Flottes, Marie-Lise; Focardi, Riccardo; Franchina, Luisa; Furfaro, Angelo; Girdinio, Paola; Guida, Franco; Italiano, Giuseppe F.; Lain, Daniele; Laurenti, Nicola; Lioy, Antonio; Loreti, Michele; Malerba, Donato; Mancini, Luigi Vincenzo; Marchetti Spaccamela, Alberto; Marcialis, Gianluca; Margheri, Andrea; Marrella, Andrea; Martinelli, Fabio; Martinelli, Maurizio; Martino, Luigi; Massacci, Fabio; Mayer, Marco; Mecella, Massimo; Mensi, Maurizio; Merlo, Alessio; Miculan, Marino; Montanari, Luca; Morana, Marco; Mosco, Gian Domenico; Mostarda, Leonardo; Murino, Vittorio; Nardi, Daniele; Navigli, Roberto; Palazzi, Andrea; Macarone Palmieri, Francesco; Panetta, Ida Claudia; Passarella, Andrea; Pellegrini, Alessandro; Pelosi, Gerardo; Pellegrino, Giancarlo; Pirlo, Giuseppe; Piuri, Vincenzo; Pizzonia, Maurizio; Pogliani, Marcello; Polino, Mario; Pontil, Massimiliano; Prinetto, Paolo; Quaglia, Francesco; Quattrociocchi, Walter; Querzoni, Leonardo; Rak, Massimiliano; Ranise, Silvio; Ricci, Elisa; Rossi, Lorenzo; Rota, Paolo; Russo, Ludovico Orlando; Samarati, Pierangela; Santoro, Nicola; Santucci, Beppe; Sassone, Vladimiro; Scala, Antonio; Scotti, Fabio; Servida, Andrea; Spagnoletti, Paolo; Spalazzi, Luca; Spidalieri, Francesca; Spoto, Austo; Squarcina, Marco; Stefanelli, Stefania; Vecchio, Alessio; Venticinque, Salvatore; Villoresi, Paolo; Visaggio, Aaron; Vitaletti, Andrea; Zanero, Stefano - 03a Saggio, Trattato Scientifico
D'elia, Daniele Cono; Demetrescu, Camil - 04c Atto di convegno in rivista
paper: ACM SIGPLAN NOTICES (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 166-180 - issn: 1523-2867 - wos: WOS:000452469600012 (4) - scopus: 2-s2.0-85049561993 (14)
conference: 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (Philadelphia, PA; USA)
11573/1169506 - 2018 -
Accuracy of Author Names in Bibliographic Data Sources: An Italian Case Study Demetrescu, Camil; Ribichini, Andrea; Schaerf, Marco - 01a Articolo in rivista
paper: SCIENTOMETRICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 1777-1791 - issn: 0138-9130 - wos: WOS:000451754600022 (8) - scopus: 2-s2.0-85055970421 (8)
11573/1072972 - 2017 -
Assisting malware analysis with symbolic execution: A case study Baldoni, Roberto; Coppa, Emilio; D’Elia, Daniele Cono; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 1st International Conference on Cyber Security Cryptography and Machine Learning, CSCML 2017 (Beer-Sheva; Israel)
book: Cyber Security Cryptographyand Machine Learning - (978-3-319-60079-6; 978-3-319-60080-2)
Catarci, Tiziana; Scannapieco, Monica; Console, Marco; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 5th IEEE International Conference on Big Data, Big Data 2017 (Boston, Massachusetts; USA)
book: 2017 IEEE International Conference on Big Data (Big Data 2017) - (978-153862714-3; 978-1-5386-2716-7; 978-1-5386-2715-0)
11573/1072937 - 2017 -
Rethinking Pointer Reasoning in Symbolic Execution Coppa, Emilio; D'elia, Daniele Cono; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 32nd IEEE/ACM International Conference on Automated Software Engineering (Urbana, Illinois, USA)
book: ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering - (978-153862684-9; 978-1-5386-3976-4)
D'elia, Daniele Cono; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2016; Hotel Princesa SofiaBarcelona; Spain; 12 March 2016 through 18 March 2016; Code 119566 (Barcelona; Spain)
book: Proceedings of the 14th International Symposium on Code Generation and Optimization, CGO 2016 - (978-1-4503-3778-6)
11573/788263 - 2016 -
Mining Hot Calling Contexts in Small Space D'elia, Daniele Cono; Demetrescu, Camil; Finocchi, Irene - 01a Articolo in rivista
paper: SOFTWARE, PRACTICE AND EXPERIENCE (Chichester : John Wiley & Sons) pp. 1131-1152 - issn: 1097-024X - wos: WOS:000379912900006 (5) - scopus: 2-s2.0-84940883319 (9)
Demetrescu, C.; Flatt, M. - 02c Prefazione/Postfazione
book: 29th European Conference on Object-Oriented Programming - (978-393989786-6)
Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene - 01a Articolo in rivista
paper: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 1185-1205 - issn: 0098-5589 - wos: WOS:000346224400003 (9) - scopus: 2-s2.0-84919766570 (12)
11573/542462 - 2014 -
Estimating the empirical cost function of routines with dynamic workloads Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene; Marotta, Romolo - 04b Atto di convegno in volume
conference: 12th ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2014 (Orlando, FL)
book: Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization - (9781450326704)
11573/562732 - 2014 -
Reactive imperative programming with dataflow constraints Demetrescu, Camil; Finocchi, Irene; Ribichini, Andrea - 01a Articolo in rivista
paper: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. - - issn: 0164-0925 - wos: WOS:000348919700003 (0) - scopus: 2-s2.0-84911493278 (0)
Bonifaci, Vincenzo; Demetrescu, Camil; Marchetti Spaccamela, Alberto - 06a Curatela
11573/536822 - 2013 -
Ball-larus path profiling across multiple loop iterations D'elia, Daniele Cono; Demetrescu, Camil - 04b Atto di convegno in volume
conference: 2013 28th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2013 (Indianapolis, Indiana, USA)
book: Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - (9781450323741)
Demetrescu, Camil; Italiano, Giuseppe F. - 02a Capitolo o Articolo
book: The Power of Algorithms: Inspiration and Examples in Everyday Life - (9783642396526)
Vincenzo, Bonifaci; Demetrescu, Camil; Marchetti Spaccamela, Alberto - 06a Curatela
book: Lecture Notes in Computer ScienceExperimental Algorithms - (9783642385261; 9783642385278)
Ausiello, Giorgio; Demetrescu, Camil; Finocchi, Irene; Firmani, Donatella - 04b Atto di convegno in volume
conference: 2012 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012 (Tucson, AZ, usa)
book: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA - (9781450315616)
Ausiello, Giorgio; Demetrescu, Camil; Finocchi, Irene; Firmani, Donatella - 01a Articolo in rivista
paper: ACM SIGPLAN NOTICES (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 867-877 - issn: 1523-2867 - wos: WOS:000311296200050 (4) - scopus: 2-s2.0-84870406212 (4)
Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene - 04b Atto di convegno in volume
conference: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'12 (Beijing, chn)
book: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) - (9781450312059)
Coppa, Emilio; Demetrescu, Camil; Finocchi, Irene - 01a Articolo in rivista
paper: ACM SIGPLAN NOTICES (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 89-98 - issn: 1523-2867 - wos: (0) - scopus: 2-s2.0-84863487165 (48)
11573/377848 - 2011 -
Mining Hot Calling Contexts in Small Space D'elia, Daniele Cono; Demetrescu, Camil; Finocchi, Irene - 04b Atto di convegno in volume
conference: 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'11 (San Jose, California, USA)
book: Proceedings of the 32nd ACM SIGPLAN conference on Programming Language Design and Implementation - (9781450306638)
11573/1029643 - 2011 -
Reactive imperative programming with dataflow constraints Demetrescu, Camil; Finocchi, Irene; Ribichini, Andrea - 01a Articolo in rivista
paper: ACM SIGPLAN NOTICES (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 407-426 - issn: 1523-2867 - wos: WOS:000298294500026 (7) - scopus: 2-s2.0-84858310820 (16)
11573/380898 - 2011 -
Reactive imperative programming with dataflow constraints Demetrescu, Camil; Finocchi, Irene; Ribichini, Andrea - 04b Atto di convegno in volume
conference: 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA'11 (Portland, Oregon, USA)
book: Proceedings of OOPSLA 2011, 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications - (9781450309400)
11573/354205 - 2010 -
Adapting parallel algorithms to the W-Stream model, with applications to graph problems Demetrescu, Camil; Bruno, Escoffier; Gabriel, Moruz; Ribichini, Andrea - 01a Articolo in rivista
paper: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 3994-4004 - issn: 0304-3975 - wos: WOS:000283702700013 (4) - scopus: 2-s2.0-77957676688 (9)
11573/226368 - 2009 -
Graph Spanners in the Streaming Model: An Experimental Study Ausiello, Giorgio; Demetrescu, Camil; Franciosa, Paolo Giulio; Italiano, Giuseppe Francesco; Ribichini, Andrea - 01a Articolo in rivista
paper: ALGORITHMICA (New York : Springer Science + Business Media) pp. 346-374 - issn: 0178-4617 - wos: WOS:000266642500006 (5) - scopus: 2-s2.0-67650367600 (8)
conference: 15th Annual European Symposium on Algorithms (ESA 2007) (Eilat, ISRAEL)
11573/229493 - 2009 -
Trading off space for passes in graph streaming problems Demetrescu, Camil; Finocchi, Irene; Ribichini, Andrea - 01a Articolo in rivista
paper: ACM TRANSACTIONS ON ALGORITHMS (New York, NY : Association for Computing Machinery, c2005-) pp. 1-17 - issn: 1549-6325 - wos: WOS:000273223500006 (16) - scopus: 2-s2.0-74049151098 (20)
11573/168361 - 2008 -
Implementation Challenge for Shortest Paths Demetrescu, Camil; Andrew V., Goldberg; David S., Johnson - 02a Capitolo o Articolo
book: Encyclopedia of Algorithms - (9780387301624; 9780387307701)
Demetrescu, Camil; Finocchi, Irene - 02a Capitolo o Articolo
book: Handbook of Applied Algorithms: Solving Scientific, Engineering, and Practical Problems. Chapter 8. - (9780470044926)
11573/217266 - 2008 -
Algoritmi e strutture dati (seconda edizione) Demetrescu, Camil; Finocchi, Irene; G. F., Italiano - 03c Manuale Didattico
book: Libro di testo per corsi universitari, McGraw-Hill - (9788838664687)
11573/129849 - 2008 -
Mantaining dynamic matrices for fully dynamic transitive closure Demetrescu, Camil; Giuseppe F., Italiano - 01a Articolo in rivista
paper: ALGORITHMICA (New York : Springer Science + Business Media) pp. 387-427 - issn: 0178-4617 - wos: WOS:000255996600002 (9) - scopus: 2-s2.0-43949114872 (12)
Demetrescu, Camil; Giuseppe F., Italiano - 02a Capitolo o Articolo
book: Encyclopedia of Algorithms - (9780387301624; 9780387307701)
11573/167971 - 2008 -
Visualization Techniques for Algorithm Engineering Demetrescu, Camil; Giuseppe F., Italiano - 02a Capitolo o Articolo
book: Encyclopedia of Algorithms - (9780387301624; 9780387307701)
11573/168362 - 2008 -
Single-Source Fully Dynamic Reachability Demetrescu, Camil; Giuseppe F., Italiano - 02a Capitolo o Articolo
book: Encyclopedia of Algorithms - (9780387301624; 9780387307701)
Demetrescu, Camil; Giuseppe F., Italiano - 02a Capitolo o Articolo
book: Encyclopedia of Algorithms 2008 - (9780387301624; 9780387307701)
11573/232465 - 2007 -
Small stretch spanners in the streaming model: New algorithms and experiments Ausiello, Giorgio; Demetrescu, Camil; Franciosa, Paolo Giulio; Italiano, Giuseppe Francesco; Ribichini, Andrea - 04c Atto di convegno in rivista
paper: LECTURE NOTES IN COMPUTER SCIENCE (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. 605-617 - issn: 0302-9743 - wos: WOS:000252040000053 (4) - scopus: 2-s2.0-38049073315 (4)
conference: 15th Annual European Symposium on Algorithms (ESA 2007) (Eilat, ISRAEL)
book: Proceedings of the 15th Annual European Symposium on Algorithms - (9783540755197)
11573/50582 - 2007 -
Adapting parallel algorithms to the W-stream model, with applications to graph problems Demetrescu, Camil; Bruno, Escoffier; Moruz, Gabriel; Ribichini, Andrea - 04b Atto di convegno in volume
paper: LECTURE NOTES IN COMPUTER SCIENCE (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. 194-205 - issn: 0302-9743 - wos: WOS:000250380200018 (3) - scopus: 2-s2.0-38049042356 (3)
conference: 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007 (Cesky Krumlov; Czech Republic)
book: Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science - (9783540744559; 9783540744566)
11573/235065 - 2007 -
Progetto di algoritmi e strutture dati in Java Demetrescu, Camil; Ferraro Petrillo, Umberto; Finocchi, Irene; G. F., Italiano - 03c Manuale Didattico
book: Progetto di algoritmi e strutture dati in Java - (9788838663741)
11573/129848 - 2007 -
Algorithmic Techniques for Maintaining Shortest Routes in Dynamic Networks Demetrescu, Camil; Giuseppe F., Italiano - 01a Articolo in rivista
paper: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (ELSEVIER) pp. 3-15 - issn: 1571-0661 - wos: (0) - scopus: 2-s2.0-34047147416 (9)
11573/129783 - 2007 -
Oracles for distances avoiding a failed node or link Demetrescu, Camil; Mikkel, Thorup; Rezaul Alam, Chowdhury; Vijaya, Ramachandran - 01a Articolo in rivista
paper: SIAM JOURNAL ON COMPUTING (Society for Industrial and Applied Mathematics:3600 University City Science Center:Philadelphia, PA 19104:(800)447-7426, (215)382-9800, EMAIL: service@siam.org, INTERNET: http://www.siam.org, Fax: (215)386-7999) pp. 1299-1318 - issn: 0097-5397 - wos: WOS:000254459500001 (59) - scopus: 2-s2.0-55249115130 (94)
11573/49634 - 2006 -
Lezioni di Fondamenti di Informatica (2/ed) D., Calvanese; De Giacomo, Giuseppe; Demetrescu, Camil; Iocchi, Luca; Nardi, Daniele - 03c Manuale Didattico
book: Libro di testo per corsi universitari, Esculapio Editore Bologna - (9788874880379)
11573/369010 - 2006 -
A data-driven graphical toolkit for software visualization Demetrescu, Camil; Finocchi, Irene - 04b Atto di convegno in volume
conference: SOFTVIS 06: ACM Symposium on Software Visualization (Brighton; United Kingdom)
book: Proceedings of the 2006 ACM symposium on Software visualization - SoftVis '06 - (9781595934642)
11573/236086 - 2006 -
Trading off space for passes in graph streaming problems Demetrescu, Camil; Finocchi, Irene; Ribichini, Andrea - 04b Atto di convegno in volume
conference: 17th ACM-SIAM Symposium on Discrete Algorithms (Miami, FL)
book: Proceedings of the 17-th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'06) - (9780898716054)
11573/129780 - 2006 -
Fully dynamic all pairs shortest paths with real edge weights Demetrescu, Camil; Giuseppe F., Italiano - 01a Articolo in rivista
paper: JOURNAL OF COMPUTER AND SYSTEM SCIENCES (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 813-837 - issn: 0022-0000 - wos: WOS:000238163800003 (29) - scopus: 2-s2.0-33747479905 (41)
conference: 42nd Annual IEEE Symposium on Foundations of Computer Science (Las Vegas, NV)
11573/129781 - 2006 -
Dynamic shortest paths and transitive closure: Algorithmic techniques and data structures Demetrescu, Camil; Giuseppe F., Italiano - 01a Articolo in rivista
paper: JOURNAL OF DISCRETE ALGORITHMS (Place of publication: Amsterdam, London, New York, Oxford, Paris, Shannon, Tokyo
Publisher: Elsevier) pp. 353-383 - issn: 1570-8667 - wos: (0) - scopus: 2-s2.0-33747832752 (28)
11573/129782 - 2006 -
Experimental Analysis of Dynamic All Pairs Shortest Path Algorithms Demetrescu, Camil; Giuseppe F., Italiano - 01a Articolo in rivista
paper: ACM TRANSACTIONS ON ALGORITHMS (New York, NY : Association for Computing Machinery, c2005-) pp. 578-601 - issn: 1549-6325 - wos: WOS:000208300600006 (44) - scopus: 2-s2.0-33846614452 (59)
conference: 15th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'04) (New Orleans, Louisiana)
book: Proc. of the 15th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'04) - ()
11573/50578 - 2006 -
Does path cleaning help in dynamic all-pairs shortest paths? Demetrescu, Camil; P., Faruolo; G. F., Italiano; M., Thorup - 04b Atto di convegno in volume
conference: 14th Annual European Symposium on Algorithms, ESA 2006 (Zurich)
book: Proceedings of the 14th Annual European Symposium on Algorithms - (9783540388753; 9783540388760)
11573/357781 - 2005 -
Portraying algorithms with Leonardo Web Bonifaci, Vincenzo; Demetrescu, Camil; Finocchi, Irene; Italiano, Giuseppe F.; Laura, Luigi - 04b Atto di convegno in volume
conference: 6th International Workshop on Web Information Systems Engineering (WISE 2005) (New York, NY; USA)
book: Proceedings of the International Workshop on Web-based Learning (WISE'05) - (9783540300182; 9783540322870)
11573/357629 - 2005 -
Visual editing of animated algorithms: The leonardo web builder Bonifaci, Vincenzo; Demetrescu, Camil; Finocchi, Irene; Laura, Luigi - 04b Atto di convegno in volume
conference: AVI 2006 - Working Conference on Advanced Visual Interfaces 2006 (Venice, Italy)
book: Proceedings of the 8th Int. Working Conference on Advanced Visual Interfaces (AVI 2006) - (9781595933539)
11573/49636 - 2005 -
Lezioni di tecniche di programmazione Calvanese, Diego; De Giacomo, Giuseppe; Demetrescu, Camil; Iocchi, Luca; Nardi, Daniele - 03c Manuale Didattico
book: Lezioni di tecniche di programmazione - (9788874880829)
Demetrescu, Camil; Finocchi, Irene; Italiano, G. F. - 02a Capitolo o Articolo
book: HANDBOOK OF DATA STRUCTURES AND APPLICATIONS - (9781584884354)
Demetrescu, Camil; Finocchi, Irene; Italiano, G. F. - 02a Capitolo o Articolo
book: HANDBOOK OF DATA STRUCTURES AND APPLICATIONS - (9781584884354)
11573/129778 - 2005 -
Trade-Offs for Fully Dynamic Reachability on DAGs: Breaking Through the O(n^2) Barrier Demetrescu, Camil; Italiano, G. F. - 01a Articolo in rivista
paper: JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 147-156 - issn: 0004-5411 - wos: WOS:000229161700001 (24) - scopus: 2-s2.0-27844554441 (30)
11573/360215 - 2004 -
A Java-based system for building animated presentations over the Web Bonifaci, Vincenzo; Demetrescu, Camil; Finocchi, Irene; Laura, Luigi - 01a Articolo in rivista
paper: SCIENCE OF COMPUTER PROGRAMMING (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 37-49 - issn: 0167-6423 - wos: WOS:000223538200004 (3) - scopus: 2-s2.0-3242879091 (4)
11573/233504 - 2004 -
A portable virtual machine for program debugging and directing Demetrescu, Camil; Finocchi, Irene - 04a Atto di comunicazione a congresso
conference: Applied Computing 2004 - Proceedings of the 2004 ACM Symposium on Applied Computing (Nicosia)
book: Proceedings of the 19th ACM Symposium on Applied Computing (SAC'04) - Software Engineering Track - (9781581138122)
Demetrescu, Camil; Finocchi, Irene; G. F., Italiano - 02a Capitolo o Articolo
book: Current Trends in Theoretical Computer Science: The Challenge of the New Century (Vol 1: Algorithms and Complexity) - (9789812389664)
11573/251259 - 2004 -
Engineering and visualizing algorithms Demetrescu, Camil; Finocchi, Irene; Giuseppe F., Italiano - 04b Atto di convegno in volume
conference: 11th International Symposium on Graph Drawing (GD 2003) (Perugia; Italy)
book: Proceedings of the 11th International Symposium on Graph Drawing (GD'03) - (9783540208310; 9783540245957)
11573/133235 - 2004 -
A new approach to dynamic all pairs shortest paths Demetrescu, Camil; Giuseppe F., Italiano - 01a Articolo in rivista
paper: JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 968-992 - issn: 0004-5411 - wos: WOS:000226078100004 (149) - scopus: 2-s2.0-20444469606 (205)
11573/50579 - 2004 -
Engineering shortest path algorithms Demetrescu, Camil; Giuseppe F., Italiano - 04b Atto di convegno in volume
conference: 3rd International Workshop on Experimental and Efficient Algorithms (Angra dos Reis, BRAZIL)
book: Proc. of the 3rd Workshop on Efficient and Experimental Algorithms (WEA 2004) - (9783540220671; 9783540248385)
11573/50627 - 2003 -
A System for Building Animated Presentations over the Web B. A., Colombo; Demetrescu, Camil; Finocchi, Irene; Laura, Luigi - 04b Atto di convegno in volume
conference: AICCSA 2003 Workshop on Practice and Experience with Java Programming in Education (Tunisia)
book: Proceedings of the AICCSA 2003 Workshop on Practice and Experience with Java Programming in Education - ()
11573/251131 - 2003 -
Combinatorial algorithms for feedback problems in directed graphs Demetrescu, Camil; Finocchi, Irene - 01a Articolo in rivista
paper: INFORMATION PROCESSING LETTERS (-Amsterdam : Elsevier Science
-Amsterdam : North-Holland) pp. 129-136 - issn: 0020-0190 - wos: WOS:000182308800003 (29) - scopus: 2-s2.0-0037449037 (42)
Demetrescu, Camil; Finocchi, Irene; G. F., Italiano - 01a Articolo in rivista
paper: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE (European Association for Theoretical Computer Science (EATCS):Comenius University, Department of Computer Science, 84248 Bratislava Slovakia:011 42 12 65426635, EMAIL: secretary@eates.org, Fax: 011 45 12 65427041) pp. 48-63 - issn: 0252-9742 - wos: (0) - scopus: (0)
Demetrescu, Camil; Finocchi, Irene; G. F., Italiano - 02a Capitolo o Articolo
book: HANDBOOK OF GRAPH THEORY - (9781584880905)
11573/50507 - 2003 -
A new approach to dynamic all pairs shortest paths Demetrescu, Camil; Giuseppe F., Italiano - 04b Atto di convegno in volume
conference: 35th Annual ACM Symposium on Theory of Computing (San Diego; United States)
book: Proceedings of the 35th Annual ACM Symposium on Theory of Computing (STOC'03) - (9781581136746)
11573/248377 - 2002 -
Visualization in algorithm engineering: Tools and techniques Demetrescu, Camil; Finocchi, Irene; Giuseppe F., Italiano; S., Naeher - 04b Atto di convegno in volume
conference: Seminar on Experimental Algorithmics (DAGSTUHL, GERMANY)
book: Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software - (9783540003465)
11573/248019 - 2002 -
Specifying algorithm visualizations: Interesting events or state mapping? Demetrescu, Camil; Finocchi, Irene; John T., Stasko - 04b Atto di convegno in volume
conference: International Seminar on Softwave Visualization (DAGSTUHL CASTLE, GERMANY)
book: Software Visualization, International Seminar Dagstuhl Castle, Germany, May 2001, Revised Papers - (9783540433231)
11573/50509 - 2002 -
Improved bounds and new trade-offs for dynamic all pairs shortest paths Demetrescu, Camil; Giuseppe F., Italiano - 04a Atto di comunicazione a congresso
paper: LECTURE NOTES IN COMPUTER SCIENCE (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. 633-643 - issn: 0302-9743 - wos: WOS:000180069500054 (7) - scopus: 2-s2.0-84869175187 (10)
conference: 29th International Colloquium on Automata, Languages, and Programming, ICALP 2002 (Malaga)
book: Proceedings of the 29-th International Colloquium on Automata, Languages, and Programming (ICALP'02) - (9783540438649)
11573/50560 - 2002 -
Oracles for distances avoiding a link-failure Demetrescu, Camil; M., Thorup - 04a Atto di comunicazione a congresso
conference: 13th Annual ACM/SIAM Symposium on Discrete Algorithms (SAN FRANCISCO, CA)
book: Proc. of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'02) - (9780898715132)
11573/132574 - 2001 -
Breaking cycles for minimizing crossings Demetrescu, Camil; Finocchi, Irene - 01a Articolo in rivista
paper: ACM JOURNAL OF EXPERIMENTAL ALGORITHMICS (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 2-es - issn: 1084-6654 - wos: (0) - scopus: 2-s2.0-33645616971 (18)
11573/251821 - 2001 -
Smooth animation of algorithms in a declarative framework Demetrescu, Camil; Finocchi, Irene - 01a Articolo in rivista
paper: JOURNAL OF VISUAL LANGUAGES AND COMPUTING (Kidlington Oxford: Elsevier
London; San Diego: Academic Press, c1990-) pp. 253-281 - issn: 1045-926X - wos: WOS:000169414500003 (6) - scopus: 2-s2.0-0010962018 (7)
conference: IEEE Symposium on Visual Languages (VL99) (TOKYO, JAPAN)
11573/250398 - 2001 -
Visualizing Algorithms over the Web with the Publication-Driven Approach Demetrescu, Camil; Finocchi, Irene; Liotta, Giuseppe - 04a Atto di comunicazione a congresso
book: Proceedings of the 4th Workshop on Algorithm Engineering (WAE'00) - (9783540425120)
11573/253610 - 2001 -
Maintaining shortest paths in digraphs with arbitrary arc weights: An experimental study Demetrescu, Camil; Frigioni, Daniele; Nanni, Umberto; Marchetti Spaccamela, Alberto - 04a Atto di comunicazione a congresso
book: 4th Workshop on Algorithm Engineering (WAE) - (9783540425120)
11573/50510 - 2001 -
Fully dynamic all pairs shortest paths with real edge weights Demetrescu, Camil; G. F., Italiano - 04a Atto di comunicazione a congresso
conference: 42nd Annual Symposium on Foundations of Computer Science (FOCS 2001) (LAS VEGAS, NV)
book: Proc. of the 42nd Annual IEEE Symposium on Foundations of Computer Science (FOCS'01) - (9780769513911)
11573/208568 - 2000 -
Break the `Right' Cycles and Get the `Best' Drawing' Demetrescu, Camil; Finocchi, Irene - 04a Atto di comunicazione a congresso
book: Proc. 2nd Workshop on Algorithm Engineering and Experiments (ALENEX 2000) - ()
11573/50558 - 2000 -
Fully dynamic transitive closure: Breaking through the O(n(2)) barrier Demetrescu, Camil; Giuseppe F., Italiano - 04b Atto di convegno in volume
conference: 41st Annual Symposium on Foundations of Computer Science (FOCS 00) (LOS ALAMITOS, CA)
11573/248743 - 2000 -
Reversible execution and visualization of programs with LEONARDO Pierluigi, Crescenzi; Demetrescu, Camil; Finocchi, Irene; Petreschi, Rossella - 01a Articolo in rivista
paper: JOURNAL OF VISUAL LANGUAGES AND COMPUTING (Kidlington Oxford: Elsevier
London; San Diego: Academic Press, c1990-) pp. 125-150 - issn: 1045-926X - wos: WOS:000086529400002 (34) - scopus: 2-s2.0-0034165030 (48)
11573/208570 - 1999 -
Smooth animation of algorithms in a declarative framework Demetrescu, Camil; Finocchi, Irene - 04b Atto di convegno in volume
conference: Proceedings of the 1999 IEEE Symposium on Visual Languages (VL'99) (Tokyo, Japan)
book: Proc. 15th IEEE Int.Symposium on Visual Languages (VL'99) - (9780769502168)
Demetrescu, Camil; G., Di Battista; Finocchi, Irene; Giuseppe, Liotta; Maurizio, Patrignani; Maurizio, Pizzonia - 04b Atto di convegno in volume
conference: 7th International Symposium on Graph Drawing, GD 1999 (Prague)
book: Graph Drawing - (9783540669043)
11573/172577 - 1997 -
LEONARDO: a software visualization system Crescenzi, P.; Demetrescu, Camil; Finocchi, Irene; Petreschi, Rossella - 04b Atto di convegno in volume
book: Proceedings of Workshop on Algorithm Engineering - ()