Segui
Camil Demetrescu
Camil Demetrescu
Professor of Computer Science, Sapienza University of Rome
Email verificata su diag.uniroma1.it - Home page
Titolo
Citata da
Citata da
Anno
A survey of symbolic execution techniques
R Baldoni, E Coppa, DC D’elia, C Demetrescu, I Finocchi
ACM Computing Surveys (CSUR) 51 (3), 1-39, 2018
9542018
A new approach to dynamic all pairs shortest paths
C Demetrescu, GF Italiano
Journal of the ACM (JACM) 51 (6), 968-992, 2004
4562004
The shortest path problem: Ninth DIMACS implementation challenge
C Demetrescu, AV Goldberg, DS Johnson
American Mathematical Soc., 2009
271*2009
Experimental analysis of dynamic all pairs shortest path algorithms
C Demetrescu, GF Italiano
ACM Transactions on Algorithms (TALG) 2 (4), 578-601, 2006
1662006
Oracles for distances avoiding a failed node or link
C Demetrescu, M Thorup, RA Chowdhury, V Ramachandran
SIAM Journal on Computing 37 (5), 1299-1318, 2008
158*2008
Fully dynamic transitive closure: breaking through the o (n/sup 2/) barrier
C Demetrescu, GF Italiano
Proceedings 41st Annual Symposium on Foundations of Computer Science, 381-389, 2000
1432000
Input-sensitive profiling
E Coppa, C Demetrescu, I Finocchi
ACM SIGPLAN Notices 47 (6), 89-98, 2012
1322012
Trading off space for passes in graph streaming problems
C Demetrescu, I Finocchi, A Ribichini
ACM Transactions on Algorithms (TALG) 6 (1), 1-17, 2009
1252009
Reversible execution and visualization of programs with LEONARDO
P Crescenzi, C Demetrescu, I Finocchi, R Petreschi
Journal of Visual Languages & Computing 11 (2), 125-150, 2000
972000
Combinatorial algorithms for feedback problems in directed graphs
C Demetrescu, I Finocchi
Information Processing Letters 86 (3), 129-136, 2003
902003
Fully dynamic all pairs shortest paths with real edge weights
C Demetrescu, GF Italiano
Proceedings 42nd IEEE Symposium on Foundations of Computer Science, 260-267, 2001
852001
Fully dynamic all pairs shortest paths with real edge weights
C Demetrescu, GF Italiano
Journal of Computer and System Sciences 72 (5), 813-837, 2006
802006
Specifying algorithm visualizations: Interesting events or state mapping?
C Demetrescu, I Finocchi, JT Stasko
Software Visualization: International Seminar Dagstuhl Castle, Germany, May …, 2002
782002
Dynamic graph algorithms
C Demetrescu, D Eppstein, Z Galil, GF Italiano
Algorithms and Theory of Computation Handbook, Volume 1, 235-262, 2009
762009
Maintaining shortest paths in digraphs with arbitrary arc weights: An experimental study
C Demetrescu, D Frigioni, A Marchetti-Spaccamela, U Nanni
Algorithm Engineering: 4th International Workshop, WAE 2000 Saarbrücken …, 2001
532001
Reactive imperative programming with dataflow constraints
C Demetrescu, I Finocchi, A Ribichini
ACM SIGPLAN Notices 46 (10), 407-426, 2011
512011
Dynamic shortest paths and transitive closure: Algorithmic techniques and data structures
C Demetrescu, GF Italiano
Journal of Discrete Algorithms 4 (3), 353-383, 2006
512006
Mining hot calling contexts in small space
DC D'Elia, C Demetrescu, I Finocchi
ACM SIGPLAN Notices 46 (6), 516-527, 2011
46*2011
FUZZOLIC: Mixing fuzzing and concolic execution
L Borzacchiello, E Coppa, C Demetrescu
Computers & Security 108, 102368, 2021
422021
Assisting malware analysis with symbolic execution: A case study
R Baldoni, E Coppa, DC D’Elia, C Demetrescu
Cyber Security Cryptography and Machine Learning: First International …, 2017
412017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20