Luca de Alfaro

According to our database1, Luca de Alfaro authored at least 99 papers between 1994 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Learning Edge Properties in Graphs from Path Aggregations.
Proceedings of the World Wide Web Conference, 2019

2018
Model Checking Probabilistic Systems.
Proceedings of the Handbook of Model Checking., 2018

Automated Audience Segmentation Using Reputation Signals.
Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2018

Automatic Online Fake News Detection Combining Content and Social Signals.
Proceedings of the 22nd Conference of Open Innovations Association, 2018

2017
Efficient Techniques for Crowdsourced Top-k Lists.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Learning from Graph Neighborhoods Using LSTMs.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Predicting the quality of user contributions via LSTMs.
Proceedings of the 12th International Symposium on Open Collaboration, 2016

Efficient Techniques for Crowdsourced Top-k Lists.
Proceedings of the Fourth AAAI Conference on Human Computation and Crowdsourcing, 2016

Dynamics of Peer Grading: An Empirical Study.
Proceedings of the 9th International Conference on Educational Data Mining, 2016

2015
WorkerRank: Using Employer Implicit Judgements to Infer Worker Reputation.
Proceedings of the Eighth ACM International Conference on Web Search and Data Mining, 2015

Reliable Aggregation of Boolean Crowdsourced Tasks.
Proceedings of the Third AAAI Conference on Human Computation and Crowdsourcing, 2015

2014
CrowdGrader: a tool for crowdsourcing the evaluation of homework assignments.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

On Assigning Implicit Reputation Scores in an Online Labor Marketplace.
Proceedings of the 17th International Conference on Extending Database Technology, 2014

2013
Strategy improvement for concurrent reachability and turn-based stochastic safety games.
J. Comput. Syst. Sci., 2013

Code aware resource management.
Formal Methods in System Design, 2013

Attributing authorship of revisioned content.
Proceedings of the 22nd International World Wide Web Conference, 2013

Human-Powered Top-k Lists.
Proceedings of the 16th International Workshop on the Web and Databases 2013, 2013

Content-Driven Reputation for Collaborative Systems.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

2012
The Gene Wiki in 2011: community intelligence applied to human gene annotation.
Nucleic Acids Research, 2012

Toward a Social Graph Recommendation Algorithm: Do We Trust Our Friends in Movie Recommendations?
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

2011
Qualitative concurrent parity games.
ACM Trans. Comput. Log., 2011

Reputation systems for open collaboration.
Commun. ACM, 2011

Wikipedia Vandalism Detection: Combining Natural Language, Metadata, and Reputation Features.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2011

2010
Algorithms for Game Metrics (Full Version)
Logical Methods in Computer Science, 2010

Analyzing the Impact of Change in Multi-threaded Programs.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

Detecting Wikipedia Vandalism using WikiTrust - Lab Report for PAN at CLEF 2010.
Proceedings of the CLEF 2010 LABs and Workshops, 2010

2009
Linear and Branching System Metrics.
IEEE Trans. Software Eng., 2009

Qualitative Logics and Equivalences for Probabilistic Systems
Logical Methods in Computer Science, 2009

Measuring Wikipedia: a hands-on tutorial.
Proceedings of the 2009 International Symposium on Wikis, 2009

Termination criteria for solving concurrent safety and reachability games.
Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2009

2008
Game Refinement Relations and Metrics.
Logical Methods in Computer Science, 2008

Assigning trust to Wikipedia content.
Proceedings of the 2008 International Symposium on Wikis, 2008

Measuring author contributions to the Wikipedia.
Proceedings of the 2008 International Symposium on Wikis, 2008

Symbolic Magnifying Lens Abstraction in Markov Decision Processes.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Algorithms for Game Metrics.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Stochastic Games with Lossy Channels.
Proceedings of the Foundations of Software Science and Computational Structures, 2008

Robust content-driven reputation.
Proceedings of the 1st ACM Workshop on Security and Artificial Intelligence, 2008

The Complexity of Coverage.
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007
A content-driven reputation system for the wikipedia.
Proceedings of the 16th International Conference on World Wide Web, 2007

Qualitative Logics and Equivalences for Probabilistic Systems.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Game Relations and Metrics.
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

The Symbolic Approach to Repeated Games (Abstract).
Proceedings of the Computer Science Logic, 21st International Workshop, 2007

Solving Games Via Three-Valued Abstraction Refinement.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Magnifying-Lens Abstraction for Markov Decision Processes.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
The complexity of quantitative concurrent parity games.
Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2006

Strategy Improvement for Concurrent Reachability Games.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Compositional Quantitative Reasoning.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

An Introduction to the Tool Ticc.
Proceedings of the Workshop "Trustworthy Software" 2006, 2006

Ticc: A Tool for Interface Compatibility and Composition.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Preface.
Electr. Notes Theor. Comput. Sci., 2005

The Complexity of Stochastic Rabin and Streett Games'.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Sociable Interfaces.
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

Average Reward Timed Games.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Code aware resource management.
Proceedings of the EMSOFT 2005, 2005

2004
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems.
Electr. Notes Theor. Comput. Sci., 2004

Model Checking Discounted Temporal Properties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Trading Memory for Randomness.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Three-Valued Abstractions of Games: Uncertainty, but with Precision.
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Linear and Branching Metrics for Quantitative Transition Systems.
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003
Hybrid diagrams.
Theor. Comput. Sci., 2003

Discounting the Future in Systems Theory.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Information Flow in Concurrent Games.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Resource Interfaces.
Proceedings of the Embedded Software, Third International Conference, 2003

The Element of Surprise in Timed Games.
Proceedings of the CONCUR 2003, 2003

Quantitative Verification and Control via the Mu-Calculus.
Proceedings of the CONCUR 2003, 2003

Game Models for Open Systems.
Proceedings of the Verification: Theory and Practice, 2003

2002
Convertibility verification and converter synthesis: two faces of the same coin.
Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

Timed Interfaces.
Proceedings of the Embedded Software, Second International Conference, 2002

Synchronous and Bidirectional Component Interfaces.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Interface Compatibility Checking for Software Modules.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
MCWEB: A Model-Checking Tool for Web Site Debugging.
Proceedings of the Poster Proceedings of the Tenth International World Wide Web Conference, 2001

Quantitative solution of omega-regular games.
Proceedings of the Proceedings on 33rd Annual ACM Symposium on Theory of Computing, 2001

Interface automata.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

From Verification to Control: Dynamic Programs for Omega-Regular Objectives.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

JMOCHA: A Model Checking Tool that Exploits Design Structure.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Interface Theories for Component-Based Design.
Proceedings of the Embedded Software, First International Workshop, 2001

The Control of Synchronous Systems, Part II.
Proceedings of the CONCUR 2001, 2001

Symbolic Algorithms for Infinite-State Games.
Proceedings of the CONCUR 2001, 2001

Compositional Methods for Probabilistic Systems.
Proceedings of the CONCUR 2001, 2001

Model Checking the World Wide Web.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Concurrent Omega-Regular Games.
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

The Control of Synchronous Systems.
Proceedings of the CONCUR 2000, 2000

Detecting Errors Before Reaching Them.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
From Fairness to Chance.
Electr. Notes Theor. Comput. Sci., 1999

Automating Modular Verification.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

Computing Minimum and Maximum Reachability Times in Probabilistic Systems.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Concurrent Reachability Games.
Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998

Stochastic Transition Systems.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
Visual Verification of Reactive Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification.
Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

Temporal Logics for the Specification of Performance and Reliability.
Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

1996
Temporal Verification by Diagram Transformations.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
STeP: The Stanford Temporal Prover.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Model Checking of Probabalistic and Nondeterministic Systems.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Verification in Continuous Time by Discrete Reasoning.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
Codes for second and third order GH-ARQ schemes.
IEEE Trans. Communications, 1994


  Loading...