Irene Finocchi

103 papers A* 7A 15B 4C 3Misc 4Journal 48Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Engineering Algorithms for ℓ-Isolated Maximal Clique Enumeration. WALCOM Marco D'Elia, Irene Finocchi, Maurizio Patrignani
2026	J	`jnl`	High-Modularity Graph Partitioning Through NLP Techniques and Maximal Clique Enumeration. CoRR Marco D'Elia, Irene Finocchi, Maurizio Patrignani
2025	J	`jnl`	A large-scale temporal analysis of scientific production across disciplines and countries. J. Informetrics Irene Finocchi, Andrea Ribichini, Marco Schaerf
2025	—	`ed.`	Algorithms and Complexity - 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part I CIAC (1) Irene Finocchi, Loukas Georgiadis
2025	—	`ed.`	Algorithms and Complexity - 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part II CIAC (2) Irene Finocchi, Loukas Georgiadis
2025	J	`jnl`	Engineering Algorithms for ℓ-Isolated Maximal Clique Enumeration. CoRR Marco D'Elia, Irene Finocchi, Maurizio Patrignani
2025	J	`jnl`	Maximal cliques summarization: Principles, problem classification, and algorithmic approaches. Comput. Sci. Rev. Marco D'Elia, Irene Finocchi, Maurizio Patrignani
2024	J	`jnl`	From Stars to Diamonds: Counting and Listing Almost Complete Subgraphs in Large Networks. Comput. J. Irene Finocchi, Renan Leon Garcia, Blerina Sinaimeri
2023	J	`jnl`	An analysis of international mobility and research productivity in computer science. Scientometrics Irene Finocchi, Andrea Ribichini, Marco Schaerf
2023	—	`conf`	Clique-TF-IDF: A New Partitioning Framework Based on Dense Substructures. AI*IA Marco D'Elia, Irene Finocchi, Maurizio Patrignani
2022	J	`jnl`	On computer science research and its temporal evolution. Scientometrics Camil Demetrescu, Irene Finocchi, Andrea Ribichini, Marco Schaerf
2022	J	`jnl`	Which Conference Is That? A Case Study in Computer Science. ACM J. Data Inf. Qual. Camil Demetrescu, Irene Finocchi, Andrea Ribichini, Marco Schaerf
2020	J	`jnl`	On bibliometrics in academic promotions: a case study in computer science and engineering in Italy. Scientometrics Camil Demetrescu, Irene Finocchi, Andrea Ribichini, Marco Schaerf
2020	A	`ed.`	Proceedings of the 22nd Symposium on Algorithm Engineering and Experiments, ALENEX 2020, Salt Lake City, UT, USA, January 5-6, 2020. ALENEX Guy E. Blelloch, Irene Finocchi
2019	J	`jnl`	Counting cliques in parallel without a cluster: Engineering a fork/join algorithm for shared-memory platforms. Inf. Sci. Emilio Coppa, Irene Finocchi, Renan Leon Garcia
2019	C	`ed.`	Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2019, Athens, Greece, October 21-22, 2019 MPLR Antony L. Hosking, Irene Finocchi
2019	—	`conf`	WebIsAGraph: A Very Large Hypernymy Graph from a Web Corpus. CLiC-it Stefano Faralli, Irene Finocchi, Simone Paolo Ponzetto, Paola Velardi
2018	J	`jnl`	A Survey of Symbolic Execution Techniques. ACM Comput. Surv. Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
2018	J	`jnl`	CrumbTrail: An efficient methodology to reduce multiple inheritance in knowledge graphs. Knowl. Based Syst. Stefano Faralli, Irene Finocchi, Simone Paolo Ponzetto, Paola Velardi
2018	A*	`conf`	Efficient Pruning of Large Knowledge Graphs. IJCAI Stefano Faralli, Irene Finocchi, Simone Paolo Ponzetto, Paola Velardi
2017	J	`jnl`	Guest Editors' Foreword. Algorithmica Nikhil Bansal, Irene Finocchi
2017	J	`jnl`	Resilient Dynamic Programming. Algorithmica Saverio Caminiti, Irene Finocchi, Emanuele G. Fusco, Francesco Silvestri
2016	J	`jnl`	A Survey of Symbolic Execution Techniques. CoRR Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
2016	J	`jnl`	Mining hot calling contexts in small space. Softw. Pract. Exp. Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
2015	A	`ed.`	Algorithms - ESA 2015 - 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings ESA Nikhil Bansal, Irene Finocchi
2015	J	`jnl`	Clique Counting in MapReduce: Algorithms and Experiments. ACM J. Exp. Algorithmics Irene Finocchi, Marco Finocchi, Emanuele G. Fusco
2015	J	`jnl`	Empirical Evaluation for Graph Drawing (Dagstuhl Seminar 15052). Dagstuhl Reports Ulrik Brandes, Irene Finocchi, Martin Nöllenburg, Aaron J. Quigley
2015	—	`conf`	On data skewness, stragglers, and MapReduce progress indicators. SoCC Emilio Coppa, Irene Finocchi
2015	J	`jnl`	On data skewness, stragglers, and MapReduce progress indicators. CoRR Emilio Coppa, Irene Finocchi
2014	J	`jnl`	Counting small cliques in MapReduce. CoRR Irene Finocchi, Marco Finocchi, Emanuele G. Fusco
2014	A	`conf`	Estimating the Empirical Cost Function of Routines with Dynamic Workloads. CGO Emilio Coppa, Camil Demetrescu, Irene Finocchi, Romolo Marotta
2014	J	`jnl`	Experimental Evaluation of Algorithms for the Food-Selection Problem. CoRR Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano, Luigi Laura
2014	J	`jnl`	Input-Sensitive Profiling. IEEE Trans. Software Eng. Emilio Coppa, Camil Demetrescu, Irene Finocchi
2014	J	`jnl`	Reactive Imperative Programming with Dataflow Constraints. ACM Trans. Program. Lang. Syst. Camil Demetrescu, Irene Finocchi, Andrea Ribichini
2013	J	`jnl`	Ball-Larus Path Profiling Across Multiple Loop iterations CoRR Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
2013	J	`jnl`	Multithreaded Input-Sensitive Profiling CoRR Emilio Coppa, Camil Demetrescu, Irene Finocchi, Romolo Marotta
2013	C	`conf`	Software Streams: Big Data Challenges in Dynamic Program Analysis. CiE Irene Finocchi
2012	J	`jnl`	Editorial: Preface to the special issue. Networks Tiziana Calamoneri, Irene Finocchi
2012	A*	`conf`	Input-sensitive profiling. PLDI Emilio Coppa, Camil Demetrescu, Irene Finocchi
2012	A	`conf`	k-Calling context profiling. OOPSLA Giorgio Ausiello, Camil Demetrescu, Irene Finocchi, Donatella Firmani
2011	—	`conf`	Dynamic programming in faulty memory hierarchies (cache-obliviously). FSTTCS Saverio Caminiti, Irene Finocchi, Emanuele G. Fusco, Francesco Silvestri
2011	J	`jnl`	Guest editors' foreword. ACM J. Exp. Algorithmics Irene Finocchi, John Hershberger
2011	A	`conf`	Local dependency dynamic programming in the presence of memory faults. STACS Saverio Caminiti, Irene Finocchi, Emanuele G. Fusco
2011	A*	`conf`	Mining hot calling contexts in small space. PLDI Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
2011	J	`jnl`	Reactive Imperative Programming with Dataflow Constraints CoRR Camil Demetrescu, Irene Finocchi, Andrea Ribichini
2011	A	`conf`	Reactive imperative programming with dataflow constraints. OOPSLA Camil Demetrescu, Irene Finocchi, Andrea Ribichini
2010	B	`conf`	Experimental Study of Resilient Algorithms and Data Structures. SEA Umberto Ferraro Petrillo, Irene Finocchi, Giuseppe F. Italiano
2009	—	`conf`	Informative Labeling Schemes for the Least Common Ancestor Problem. ICTCS Saverio Caminiti, Irene Finocchi, Rossella Petreschi
2009	J	`jnl`	Optimal resilient sorting and searching in the presence of memory faults. Theor. Comput. Sci. Irene Finocchi, Fabrizio Grandoni, Giuseppe F. Italiano
2009	A	`ed.`	Proceedings of the Eleventh Workshop on Algorithm Engineering and Experiments, ALENEX 2009, New York, New York, USA, January 3, 2009 ALENEX Irene Finocchi, John Hershberger
2009	J	`jnl`	Resilient dictionaries. ACM Trans. Algorithms Irene Finocchi, Fabrizio Grandoni, Giuseppe F. Italiano
2009	J	`jnl`	The Price of Resiliency: a Case Study on Sorting with Memory Faults. Algorithmica Umberto Ferraro Petrillo, Irene Finocchi, Giuseppe F. Italiano
2009	J	`jnl`	Trading off space for passes in graph streaming problems. ACM Trans. Algorithms Camil Demetrescu, Irene Finocchi, Andrea Ribichini
2008	—	`conf`	A Note on Algebraic Hypercube Colorings. ITNG Irene Finocchi, Emanuele G. Fusco, Rossella Petreschi
2008	A	`conf`	Engineering Tree Labeling Schemes: A Case Study on Least Common Ancestors. ESA Saverio Caminiti, Irene Finocchi, Rossella Petreschi
2008	J	`jnl`	Sorting and Searching in Faulty Memories. Algorithmica Irene Finocchi, Giuseppe F. Italiano
2007	J	`jnl`	Designing reliable algorithms in unreliable memories. Comput. Sci. Rev. Irene Finocchi, Fabrizio Grandoni, Giuseppe F. Italiano
2007	J	`jnl`	On coding labeled trees. Theor. Comput. Sci. Saverio Caminiti, Irene Finocchi, Rossella Petreschi
2007	A	`conf`	Optimal Resilient Dynamic Dictionaries. ESA Gerth Stølting Brodal, Rolf Fagerberg, Irene Finocchi, Fabrizio Grandoni, Giuseppe F. Italiano, Allan Grønlund Jørgensen, Gabriel Moruz, Thomas Mølhave
2007	A*	`conf`	Resilient search trees. SODA Irene Finocchi, Fabrizio Grandoni, Giuseppe F. Italiano
2006	—	`conf`	A data-driven graphical toolkit for software visualization. SOFTVIS Camil Demetrescu, Irene Finocchi
2006	C	`ed.`	Algorithms and Complexity, 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings CIAC Tiziana Calamoneri, Irene Finocchi, Giuseppe F. Italiano
2006	J	`jnl`	Conflict-free star-access in parallel memory systems. J. Parallel Distributed Comput. Sajal K. Das, Irene Finocchi, Rossella Petreschi
2006	J	`jnl`	Crossing-constrained hierarchical drawings. J. Discrete Algorithms Irene Finocchi
2006	—	`conf`	Optimal Resilient Sorting and Searching in the Presence of Memory Faults. ICALP (1) Irene Finocchi, Fabrizio Grandoni, Giuseppe F. Italiano
2006	A	`conf`	The Price of Resiliency: A Case Study on Sorting with Memory Faults. ESA Umberto Ferraro Petrillo, Irene Finocchi, Giuseppe F. Italiano
2006	A*	`conf`	Trading off space for passes in graph streaming problems. SODA Camil Demetrescu, Irene Finocchi, Andrea Ribichini
2006	B	`conf`	Visual editing of animated algorithms: the Leonardo Web builder. AVI Vincenzo Bonifaci, Camil Demetrescu, Irene Finocchi, Luigi Laura
2005	J	`jnl`	An Experimental Analysis of Simple, Distributed Vertex Coloring Algorithms. Algorithmica Irene Finocchi, Alessandro Panconesi, Riccardo Silvestri
2005	A	`conf`	Designing Reliable Algorithms in Unreliable Memories. ESA Irene Finocchi, Fabrizio Grandoni, Giuseppe F. Italiano
2005	Misc	`conf`	Graph Coloring with Distance Constraints. PDPTA Tiziana Calamoneri, Irene Finocchi, Rossella Petreschi
2005	—	`conf`	Portraying Algorithms with Leonardo Web. WISE Workshops Vincenzo Bonifaci, Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano, Luigi Laura
2005	J	`jnl`	Structure-Preserving Hierarchical Decompositions. Theory Comput. Syst. Irene Finocchi, Rossella Petreschi
2004	J	`jnl`	A Java-based system for building animated presentations over the Web. Sci. Comput. Program. Vincenzo Bonifaci, Camil Demetrescu, Irene Finocchi, Luigi Laura
2004	B	`conf`	A Unified Approach to Coding Labeled Trees. LATIN Saverio Caminiti, Irene Finocchi, Rossella Petreschi
2004	Misc	`conf`	A portable virtual machine for program debugging and directing. SAC Camil Demetrescu, Irene Finocchi
2004	J	`jnl`	Divider-based algorithms for hierarchical tree partitioning. Discret. Appl. Math. Irene Finocchi, Rossella Petreschi
2004	—	`ch.`	Dynamic Graphs. Handbook of Data Structures and Applications Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano
2004	—	`ch.`	Dynamic Trees. Handbook of Data Structures and Applications Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano
2004	A*	`conf`	Sorting and searching in the presence of memory faults (without redundancy). STOC Irene Finocchi, Giuseppe F. Italiano
2004	A	`conf`	Star-Coloring of Graphs for Conflict-Free Access to Parallel Memory Systems. IPDPS Sajal K. Das, Irene Finocchi, Rossella Petreschi
2003	J	`jnl`	Algorithm engineering, Algorithmics Column. Bull. EATCS Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano
2003	J	`jnl`	Combinatorial algorithms for feedback problems in directed graphs. Inf. Process. Lett. Camil Demetrescu, Irene Finocchi
2003	A	`conf`	Engineering and Visualizing Algorithms. GD Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano
2003	—	`ch.`	Graphs in Computer Science. Handbook of Graph Theory Harold N. Gabow, Camil Demetrescu, Irene Finocchi, Giuseppe Francesco Italiano, Giuseppe Liotta, Roberto Tamassia, Richard B. Borie, R. Gary Parker, Craig A. Tovey
2002	A*	`conf`	Experimental analysis of simple, distributed vertex coloring algorithms. SODA Irene Finocchi, Alessandro Panconesi, Riccardo Silvestri
2002	J	`jnl`	On max cut in cubic graphs. Parallel Algorithms Appl. Tiziana Calamoneri, Irene Finocchi, Yannis Manoussakis, Rossella Petreschi
2001	—	`conf`	Graph Sketches. INFOVIS James Abello, Irene Finocchi, Jeffrey L. Korn
2001	A	`conf`	Hierarchical Clustering of Trees: Algorithms and Experiments. ALENEX Irene Finocchi, Rossella Petreschi
2001	Misc	`conf`	Layered Drawings of Graphs with Crossing Constraints. COCOON Irene Finocchi
2001	Misc	`conf`	On the Validity of Hierarchical Decompositions. COCOON Irene Finocchi, Rossella Petreschi
2001	J	`jnl`	Removing Cycles for Minimizing Crossings. ACM J. Exp. Algorithmics Camil Demetrescu, Irene Finocchi
2001	J	`jnl`	Smooth Animation of Algorithms in a Declarative Framework. J. Vis. Lang. Comput. Camil Demetrescu, Irene Finocchi
2001	—	`conf`	Specifying Algorithm Visualizations: Interesting Events or State Mapping? Software Visualization Camil Demetrescu, Irene Finocchi, John T. Stasko
2001	J	`jnl`	Tree partitioning via vertex deletion. Electron. Notes Discret. Math. Irene Finocchi, Rossella Petreschi
2000	J	`jnl`	Reversible Execution and Visualization of Programs with LEONARDO. J. Vis. Lang. Comput. Pierluigi Crescenzi, Camil Demetrescu, Irene Finocchi, Rossella Petreschi
2000	—	`conf`	Visualization in Algorithm Engineering: Tools and Techniques. Experimental Algorithmics Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano, Stefan Näher
2000	—	`conf`	Visualizing Algorithms over the Web with the Publication-Driven Approach. WAE Camil Demetrescu, Irene Finocchi, Giuseppe Liotta
1999	—	`conf`	A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs. ASIAN Tiziana Calamoneri, Irene Finocchi, Yannis Manoussakis, Rossella Petreschi
1999	—	`conf`	A Technique for Generating Graphical Abstractions of Program Data Structures. VISUAL Camil Demetrescu, Irene Finocchi
1999	A	`conf`	Infinite Trees and the Future. GD Camil Demetrescu, Giuseppe Di Battista, Irene Finocchi, Giuseppe Liotta, Maurizio Patrignani, Maurizio Pizzonia
1999	—	`conf`	Smooth Animation of Algorithms in a Declarative Framework. VL Camil Demetrescu, Irene Finocchi
1997	—	`conf`	LEONARDO: a software visualization system. WAE Pierluigi Crescenzi, Camil Demetrescu, Irene Finocchi, Rossella Petreschi