Luca de Alfaro

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 33

Top Venues

Publications

Alkis Koudounas, Eliana Pastor, Giuseppe Attanasio, Luca de Alfaro, Elena Baralis
Prioritizing Data Acquisition for end-to-end Speech Model Improvement. ICASSP (2024)
Alkis Koudounas, Eliana Pastor, Giuseppe Attanasio, Vittorio Mazzia, Manuel Giollo, Thomas Gueudré, Elisa Reale, Luca Cagliero, Sandro Cumani, Luca de Alfaro, Elena Baralis, Daniele Amberti
Towards Comprehensive Subgroup Performance Analysis in Speech Models. IEEE ACM Trans. Audio Speech Lang. Process. 32 (2024)
Eliana Pastor, Elena Baralis, Luca de Alfaro
A Hierarchical Approach to Anomalous Subgroup Discovery. ICDE (2023)
Alkis Koudounas, Eliana Pastor, Giuseppe Attanasio, Vittorio Mazzia, Manuel Giollo, Thomas Gueudré, Luca Cagliero, Luca de Alfaro, Elena Baralis, Daniele Amberti
Exploring Subgroup Performance in End-to-End Speech Models. ICASSP (2023)
Molly Zhang, Luca de Alfaro, J. J. Garcia-Luna-Aceves
Making slotted ALOHA efficient and fair using reinforcement learning. Comput. Commun. 181 (2022)
Reilly Raab, Luca de Alfaro, Yang Liu
Conjugate Natural Selection. CoRR (2022)
Eliana Pastor, Luca de Alfaro, Elena Baralis
Looking for Trouble: Analyzing Classifier Behavior via Pattern Divergence. SIGMOD Conference (2021)
Eliana Pastor, Luca de Alfaro, Elena Baralis
Identifying Biased Subgroups in Ranking and Classification. CoRR (2021)
Eliana Pastor, Andrew Gavgavian, Elena Baralis, Luca de Alfaro
How Divergent Is Your Data? Proc. VLDB Endow. 14 (12) (2021)
Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida
CONCUR Test-Of-Time Award 2021 (Invited Paper). CONCUR (2021)
Molly Zhang, Luca de Alfaro, Marc Mosko, Colin Funai, Tim Upthegrove, Bishal Thapa, Daniel Javorsek, J. J. Garcia-Luna-Aceves
Adaptive Policy Tree Algorithm to Approach Collision-Free Transmissions in Slotted ALOHA. MASS (2020)
Luca de Alfaro, Molly Zhang, J. J. Garcia-Luna-Aceves
Approaching Fair Collision-Free Channel Access with Slotted ALOHA Using Collaborative Policy-Based Reinforcement Learning. Networking (2020)
Molly Zhang, Luca de Alfaro, J. J. Garcia-Luna-Aceves
Using Reinforcement Learning in Slotted Aloha for Ad-Hoc Networks. MSWiM (2020)
Molly Zhang, Luca de Alfaro, J. J. Garcia-Luna-Aceves
An Adaptive Tree Algorithm to Approach Collision-Free Transmission in Slotted ALOHA. NetAI@SIGCOMM (2020)
Shenshen Liang, Luca de Alfaro
Online Top-K Selection in Crowdsourcing Environments. ICCDE (2020)
Rakshit Agrawal, Luca de Alfaro
Learning Edge Properties in Graphs from Path Aggregations. WWW (2019)
Rakshit Agrawal, Luca de Alfaro, David P. Helmbold
A New Family of Neural Networks Provably Resistant to Adversarial Attacks. CoRR (2019)
Rakshit Agrawal, Luca de Alfaro
Learning Edge Properties in Graphs from Path Aggregations. CoRR (2019)
Rakshit Agrawal, Luca de Alfaro, Gabriele Ballarin, Stefano Moret, Massimo Di Pierro, Eugenio Tacchini, Marco L. Della Vedova
Identifying Fake News from Twitter Sharing Data: A Large-Scale Study. CoRR (2019)
Marco L. Della Vedova, Eugenio Tacchini, Stefano Moret, Gabriele Ballarin, Massimo Di Pierro, Luca de Alfaro
Automatic Online Fake News Detection Combining Content and Social Signals. FRUCT (2018)
Luca de Alfaro
Neural Networks with Structural Resistance to Adversarial Attacks. CoRR (2018)
Luca de Alfaro, Massimo Di Pierro, Eugenio Tacchini, Gabriele Ballarin, Marco L. Della Vedova, Stefano Moret
Reputation Systems for News on Twitter: A Large-Scale Study. CoRR (2018)
Maria Daltayanni, Ali Dasdan, Luca de Alfaro
Automated Audience Segmentation Using Reputation Signals. KDD (2018)
Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis
Efficient Techniques for Crowdsourced Top-k Lists. IJCAI (2017)
Eugenio Tacchini, Gabriele Ballarin, Marco L. Della Vedova, Stefano Moret, Luca de Alfaro
Some Like it Hoax: Automated Fake News Detection in Social Networks. CoRR (2017)
Rakshit Agrawal, Luca de Alfaro, Vassilis Polychronopoulos
Learning from Graph Neighborhoods Using LSTMs. AAAI Workshops (2017)
Luca de Alfaro, Michael Shavlovsky, Vassilis Polychronopoulos
Incentives for Truthful Peer Grading. CoRR (2016)
Luca de Alfaro, Marco Faella
TrueReview: A Platform for Post-Publication Peer Review. CoRR (2016)
Luca de Alfaro, Marco Faella, Vassilis Polychronopoulos, Michael Shavlovsky
Incentives for Truthful Evaluations. CoRR (2016)
Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis
Efficient Techniques for Crowdsourced Top-k Lists. HCOMP (2016)
Luca de Alfaro, Michael Shavlovsky
Dynamics of Peer Grading: An Empirical Study. EDM (2016)
Rakshit Agrawal, Luca de Alfaro, Vassilis Polychronopoulos
Learning From Graph Neighborhoods Using LSTMs. CoRR (2016)
Rakshit Agrawal, Luca de Alfaro
Predicting the quality of user contributions via LSTMs. OpenSym (2016)
Luca de Alfaro, Vassilis Polychronopoulos, Michael Shavlovsky
Reliable Aggregation of Boolean Crowdsourced Tasks. HCOMP (2015)
Maria Daltayanni, Luca de Alfaro, Panagiotis Papadimitriou
WorkerRank: Using Employer Implicit Judgements to Infer Worker Reputation. WSDM (2015)
Maria Daltayanni, Luca de Alfaro, Panagiotis Papadimitriou, Panayiotis Tsaparas
On Assigning Implicit Reputation Scores in an Online Labor Marketplace. EDBT (2014)
Luca de Alfaro, Michael Shavlovsky
CrowdGrader: a tool for crowdsourcing the evaluation of homework assignments. SIGCSE (2014)
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
The Complexity of Coverage. Int. J. Found. Comput. Sci. 24 (2) (2013)
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman
Code aware resource management. Formal Methods Syst. Des. 42 (2) (2013)
Vassilis Polychronopoulos, Luca de Alfaro, James Davis, Hector Garcia-Molina, Neoklis Polyzotis
Human-Powered Top-k Lists. WebDB (2013)
Luca de Alfaro, B. Thomas Adler
Content-Driven Reputation for Collaborative Systems. TGC (2013)
Luca de Alfaro, Michael Shavlovsky
CrowdGrader: Crowdsourcing the Evaluation of Homework Assignments. CoRR (2013)
Luca de Alfaro, Michael Shavlovsky
Attributing authorship of revisioned content. WWW (2013)
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
Strategy improvement for concurrent reachability and turn-based stochastic safety games. J. Comput. Syst. Sci. 79 (5) (2013)
Benjamin M. Good, Erik L. Clarke, Luca de Alfaro, Andrew I. Su
The Gene Wiki in 2011: community intelligence applied to human gene annotation. Nucleic Acids Res. 40 (Database-Issue) (2012)
Ali Adabi, Luca de Alfaro
Toward a Social Graph Recommendation Algorithm: Do We Trust Our Friends in Movie Recommendations? OTM Workshops (2012)
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
Strategy Improvement for Concurrent Reachability and Safety Games CoRR (2012)
B. Thomas Adler, Luca de Alfaro, Santiago Moisés Mola-Velasco, Paolo Rosso, Andrew G. West
Wikipedia Vandalism Detection: Combining Natural Language, Metadata, and Reputation Features. CICLing (2) (2011)
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
Qualitative concurrent parity games. ACM Trans. Comput. Log. 12 (4) (2011)
Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives CoRR (2011)
Luca de Alfaro, Ashutosh Kulshreshtha, Ian Pye, B. Thomas Adler
Reputation systems for open collaboration. Commun. ACM 54 (8) (2011)
B. Thomas Adler, Luca de Alfaro, Ian Pye
Detecting Wikipedia Vandalism using WikiTrust - Lab Report for PAN at CLEF 2010. CLEF (Notebook Papers/LABs/Workshops) (2010)
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez
Analyzing the Impact of Change in Multi-threaded Programs. FASE (2010)
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman
Algorithms for Game Metrics (Full Version) Log. Methods Comput. Sci. 6 (3) (2010)
Luca de Alfaro, Pritam Roy
Solving games via three-valued abstraction refinement. Inf. Comput. 208 (6) (2010)
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
Termination criteria for solving concurrent safety and reachability games. SODA (2009)
Luca de Alfaro, Felipe Ortega
Measuring Wikipedia: a hands-on tutorial. Int. Sym. Wikis (2009)
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay
Qualitative Logics and Equivalences for Probabilistic Systems Log. Methods Comput. Sci. 5 (2) (2009)
Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
Linear and Branching System Metrics. IEEE Trans. Software Eng. 35 (2) (2009)
Krishnendu Chatterjee, Luca de Alfaro, Ian Pye
Robust content-driven reputation. AISec (2008)
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
Game Refinement Relations and Metrics CoRR (2008)
B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman
Assigning trust to Wikipedia content. Int. Sym. Wikis (2008)
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
The Complexity of Coverage CoRR (2008)
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg
Stochastic Games with Lossy Channels. FoSSaCS (2008)
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
Game Refinement Relations and Metrics. Log. Methods Comput. Sci. 4 (3) (2008)
B. Thomas Adler, Luca de Alfaro, Ian Pye, Vishwanath Raman
Measuring author contributions to the Wikipedia. Int. Sym. Wikis (2008)
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
The Complexity of Coverage. APLAS (2008)
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
Strategy Improvement for Concurrent Safety Games CoRR (2008)
Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro
Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST (2008)
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman
Algorithms for Game Metrics. FSTTCS (2008)
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
Termination Criteria for Solving Concurrent Safety and Reachability Games CoRR (2008)
B. Thomas Adler, Luca de Alfaro
A content-driven reputation system for the wikipedia. WWW (2007)
Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay
Qualitative Logics and Equivalences for Probabilistic Systems. QEST (2007)
Luca de Alfaro, Pritam Roy
Solving Games Via Three-Valued Abstraction Refinement. CONCUR (2007)
Luca de Alfaro
The Symbolic Approach to Repeated Games (Abstract). CSL (2007)
Luca de Alfaro, Marco Faella
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. CAV (2007)
Luca de Alfaro, Pritam Roy
Magnifying-Lens Abstraction for Markov Decision Processes. CAV (2007)
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
Game Relations and Metrics. LICS (2007)
Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman
Concurrent reachability games. Theor. Comput. Sci. 386 (3) (2007)
Axel Legay, Luca de Alfaro, Marco Faella
An Introduction to the Tool Ticc. Trustworthy Software (2006)
B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy
Ticc: A Tool for Interface Compatibility and Composition. CAV (2006)
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
Compositional Quantitative Reasoning. QEST (2006)
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
The complexity of quantitative concurrent parity games. SODA (2006)
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
Strategy Improvement for Concurrent Reachability Games. QEST (2006)
Luca de Alfaro
Preface. Electron. Notes Theor. Comput. Sci. 119 (1) (2005)
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
The Complexity of Stochastic Rabin and Streett Games'. ICALP (2005)
Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
Sociable Interfaces. FroCoS (2005)
Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
Model checking discounted temporal properties. Theor. Comput. Sci. 345 (1) (2005)
Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar
Code aware resource management. EMSOFT (2005)
B. Thomas Adler, Luca de Alfaro, Marco Faella
Average Reward Timed Games. FORMATS (2005)
Luca de Alfaro, Rupak Majumdar
Quantitative solution of omega-regular games. J. Comput. Syst. Sci. 68 (2) (2004)
Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
Model Checking Discounted Temporal Properties. TACAS (2004)
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
Trading Memory for Randomness. QEST (2004)
Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
Linear and Branching Metrics for Quantitative Transition Systems. ICALP (2004)
Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan
Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS (2004)
Luca de Alfaro, Mariëlle Stoelinga
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. Electron. Notes Theor. Comput. Sci. 97 (2004)
Luca de Alfaro, Arjun Kapur
Hybrid diagrams. Theor. Comput. Sci. 290 (1) (2003)
Luca de Alfaro
Quantitative Verification and Control via the Mu-Calculus. CONCUR (2003)
Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
Discounting the Future in Systems Theory. ICALP (2003)
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
Resource Interfaces. EMSOFT (2003)

Luca de Alfaro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luca de Alfaro