Luca de Alfaro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
72
Venues
35
Active years
1996–2025
Best venue rank
A*
Where they publish
- BCONCUR11 papers
- A*CAV8 papers
- A*LICS5 papers
- A*WWW4 papers
- Journal PublishedEMSOFT4 papers
- A*ICALP4 papers
- ATACAS3 papers
- A*KDD2 papers
- MulticonferenceICASSP2 papers
- BHCOMP2 papers
- A*SODA2 papers
- ASTACS2 papers
- A*ICDE1 paper
- A*SIGMOD1 paper
- BMASS1 paper
- AMSWIM1 paper
- BNetworking1 paper
- A*SIGCOMM1 paper
- RegionalFRUCT1 paper
- A*AAAI1 paper
- A*IJCAI1 paper
- BEDM1 paper
- AWSDM1 paper
- BEDBT1 paper
- ASIGCSE1 paper
- CCICLING1 paper
- BFASE1 paper
- BAPLAS1 paper
- A*CCS1 paper
- BFOSSACS1 paper
- BCSL1 paper
- AICCAD1 paper
- A*ICSE1 paper
- A*STOC1 paper
- A*FOCS1 paper
Papers
72 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | KDD | Detecting Interpretable Subgroup Drifts. | Flavio Giobergia, Eliana Pastor, Luca de Alfaro, Elena Baralis |
| 2024 | ICASSP | Prioritizing Data Acquisition for end-to-end Speech Model Improvement. | Alkis Koudounas, Eliana Pastor, Giuseppe Attanasio, Luca de Alfaro, Elena Baralis |
| 2023 | ICASSP | Exploring Subgroup Performance in End-to-End Speech Models. | Alkis Koudounas, Eliana Pastor, Giuseppe Attanasio, Vittorio Mazzia, Manuel Giollo, Thomas Gueudr, Luca Cagliero, Luca de Alfaro, Elena Baralis, Daniele Amberti |
| 2023 | ICDE | A Hierarchical Approach to Anomalous Subgroup Discovery. | Eliana Pastor, Elena Baralis, Luca de Alfaro |
| 2021 | CONCUR | CONCUR Test-Of-Time Award 2021 (Invited Paper). | Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida |
| 2021 | SIGMOD | Looking for Trouble: Analyzing Classifier Behavior via Pattern Divergence. | Eliana Pastor, Luca de Alfaro, Elena Baralis |
| 2020 | MASS | Adaptive Policy Tree Algorithm to Approach Collision-Free Transmissions in Slotted ALOHA. | Molly Zhang, Luca de Alfaro, Marc Mosko, Colin Funai, Tim Upthegrove, Bishal Thapa, Daniel Javorsek, J. J. Garcia-Luna-Aceves |
| 2020 | MSWIM | Using Reinforcement Learning in Slotted Aloha for Ad-Hoc Networks. | Molly Zhang, Luca de Alfaro, J. J. Garcia-Luna-Aceves |
| 2020 | Networking | Approaching Fair Collision-Free Channel Access with Slotted ALOHA Using Collaborative Policy-Based Reinforcement Learning. | Luca de Alfaro, Molly Zhang, J. J. Garcia-Luna-Aceves |
| 2020 | SIGCOMM | An Adaptive Tree Algorithm to Approach Collision-Free Transmission in Slotted ALOHA. | Molly Zhang, Luca de Alfaro, J. J. Garcia-Luna-Aceves |
| 2019 | WWW | Learning Edge Properties in Graphs from Path Aggregations. | Rakshit Agrawal, Luca de Alfaro |
| 2018 | FRUCT | Automatic Online Fake News Detection Combining Content and Social Signals. | Marco L. Della Vedova, Eugenio Tacchini, Stefano Moret, Gabriele Ballarin, Massimo Di Pierro, Luca de Alfaro |
| 2018 | KDD | Automated Audience Segmentation Using Reputation Signals. | Maria Daltayanni, Ali Dasdan, Luca de Alfaro |
| 2017 | AAAI | Learning from Graph Neighborhoods Using LSTMs. | Rakshit Agrawal, Luca de Alfaro, Vassilis Polychronopoulos |
| 2017 | IJCAI | Efficient Techniques for Crowdsourced Top-k Lists. | Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis |
| 2016 | EDM | Dynamics of Peer Grading: An Empirical Study. | Luca de Alfaro, Michael Shavlovsky |
| 2016 | HCOMP | Efficient Techniques for Crowdsourced Top-k Lists. | Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis |
| 2015 | HCOMP | Reliable Aggregation of Boolean Crowdsourced Tasks. | Luca de Alfaro, Vassilis Polychronopoulos, Michael Shavlovsky |
| 2015 | WSDM | WorkerRank: Using Employer Implicit Judgements to Infer Worker Reputation. | Maria Daltayanni, Luca de Alfaro, Panagiotis Papadimitriou |
| 2014 | EDBT | On Assigning Implicit Reputation Scores in an Online Labor Marketplace. | Maria Daltayanni, Luca de Alfaro, Panagiotis Papadimitriou, Panayiotis Tsaparas |
| 2014 | SIGCSE | CrowdGrader: a tool for crowdsourcing the evaluation of homework assignments. | Luca de Alfaro, Michael Shavlovsky |
| 2013 | WWW | Attributing authorship of revisioned content. | Luca de Alfaro, Michael Shavlovsky |
| 2011 | CICLING | Wikipedia Vandalism Detection: Combining Natural Language, Metadata, and Reputation Features. | B. Thomas Adler, Luca de Alfaro, Santiago Moiss Mola-Velasco, Paolo Rosso, Andrew G. West |
| 2010 | FASE | Analyzing the Impact of Change in Multi-threaded Programs. | Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, Csar Snchez |
| 2009 | SODA | Termination criteria for solving concurrent safety and reachability games. | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
| 2008 | APLAS | The Complexity of Coverage. | Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar |
| 2008 | CCS | Robust content-driven reputation. | Krishnendu Chatterjee, Luca de Alfaro, Ian Pye |
| 2008 | FOSSACS | Stochastic Games with Lossy Channels. | Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg |
| 2007 | CAV | An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. | Luca de Alfaro, Marco Faella |
| 2007 | CAV | Magnifying-Lens Abstraction for Markov Decision Processes. | Luca de Alfaro, Pritam Roy |
| 2007 | CONCUR | Solving Games Via Three-Valued Abstraction Refinement. | Luca de Alfaro, Pritam Roy |
| 2007 | CSL | The Symbolic Approach to Repeated Games (Abstract). | Luca de Alfaro |
| 2007 | LICS | Game Relations and Metrics. | Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Marille Stoelinga |
| 2007 | WWW | A content-driven reputation system for the wikipedia. | B. Thomas Adler, Luca de Alfaro |
| 2006 | CAV | Ticc: A Tool for Interface Compatibility and Composition. | B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy |
| 2006 | SODA | The complexity of quantitative concurrent parity games. | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
| 2005 | EMSOFT | Code aware resource management. | Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar |
| 2005 | ICALP | The Complexity of Stochastic Rabin and Streett Games'. | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
| 2004 | ICALP | Linear and Branching Metrics for Quantitative Transition Systems. | Luca de Alfaro, Marco Faella, Marille Stoelinga |
| 2004 | LICS | Three-Valued Abstractions of Games: Uncertainty, but with Precision. | Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan |
| 2004 | TACAS | Model Checking Discounted Temporal Properties. | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Marille Stoelinga |
| 2003 | CONCUR | Quantitative Verification and Control via the Mu-Calculus. | Luca de Alfaro |
| 2003 | CONCUR | The Element of Surprise in Timed Games. | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Marille Stoelinga |
| 2003 | EMSOFT | Resource Interfaces. | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marille Stoelinga |
| 2003 | ICALP | Information Flow in Concurrent Games. | Luca de Alfaro, Marco Faella |
| 2003 | ICALP | Discounting the Future in Systems Theory. | Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
| 2002 | CAV | Interface Compatibility Checking for Software Modules. | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang |
| 2002 | CAV | Synchronous and Bidirectional Component Interfaces. | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 2002 | EMSOFT | Timed Interfaces. | Luca de Alfaro, Thomas A. Henzinger, Marille Stoelinga |
| 2002 | ICCAD | Convertibility verification and converter synthesis: two faces of the same coin. | Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli |
| 2001 | CAV | Model Checking the World Wide Web. | Luca de Alfaro |
| 2001 | CONCUR | Compositional Methods for Probabilistic Systems. | Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala |
| 2001 | CONCUR | Symbolic Algorithms for Infinite-State Games. | Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
| 2001 | CONCUR | The Control of Synchronous Systems, Part II. | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 2001 | EMSOFT | Interface Theories for Component-Based Design. | Luca de Alfaro, Thomas A. Henzinger |
| 2001 | ICSE | JMOCHA: A Model Checking Tool that Exploits Design Structure. | Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang |
| 2001 | LICS | From Verification to Control: Dynamic Programs for Omega-Regular Objectives. | Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
| 2001 | WWW | MCWEB: A Model-Checking Tool for Web Site Debugging. | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 2001 | STOC | Quantitative solution of omega-regular games. | Luca de Alfaro, Rupak Majumdar |
| 2000 | CAV | Detecting Errors Before Reaching Them. | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 2000 | CONCUR | The Control of Synchronous Systems. | Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 2000 | LICS | Concurrent Omega-Regular Games. | Luca de Alfaro, Thomas A. Henzinger |
| 2000 | TACAS | Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. | Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala |
| 1999 | CONCUR | Computing Minimum and Maximum Reachability Times in Probabilistic Systems. | Luca de Alfaro |
| 1999 | CONCUR | Automating Modular Verification. | Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 1998 | CONCUR | Stochastic Transition Systems. | Luca de Alfaro |
| 1998 | FOCS | Concurrent Reachability Games. | Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman |
| 1998 | LICS | How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems. | Luca de Alfaro |
| 1997 | STACS | Temporal Logics for the Specification of Performance and Reliability. | Luca de Alfaro |
| 1997 | STACS | Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. | Luca de Alfaro, Arjun Kapur, Zohar Manna |
| 1997 | TACAS | Visual Verification of Reactive Systems. | Luca de Alfaro, Zohar Manna, Henny B. Sipma, Toms E. Uribe |
| 1996 | CAV | Temporal Verification by Diagram Transformations. | Luca de Alfaro, Zohar Manna |