default search action

combined dblp search
author search
venue search
publication search

ask others

Luca de Alfaro

Luca De Alfaro

> Home > Persons

Person information

affiliation: University of California, Santa Cruz, Computer Science and Engineering, CA, USA
affiliation (PhD 1998): Stanford University, CA, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

1997
[b1]
- view
  - electronic edition @ stanford.edu
  - no references & citations available
- export record
  dblp key:
  - phd/us/Alfaro97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Alfaro97
Luca de Alfaro:
Formal verification of probabilistic systems. Stanford University, USA, 1997

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/taslp/KoudounasPAMGGRCCABA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taslp/KoudounasPAMGGRCCABA24
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: 1468-1480 (2024)
2022
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/ZhangAG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/ZhangAG22
Molly Zhang, Luca de Alfaro, J. J. Garcia-Luna-Aceves:
Making slotted ALOHA efficient and fair using reinforcement learning. Comput. Commun. 181: 58-68 (2022)
2021
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/PastorGBA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/PastorGBA21
Eliana Pastor, Andrew Gavgavian, Elena Baralis, Luca de Alfaro:
How Divergent Is Your Data? Proc. VLDB Endow. 14(12): 2835-2838 (2021)
2013
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChatterjeeAFMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChatterjeeAFMR13
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman:
Code aware resource management. Formal Methods Syst. Des. 42(2): 146-174 (2013)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/ChatterjeeAM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/ChatterjeeAM13
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar:
The Complexity of Coverage. Int. J. Found. Comput. Sci. 24(2): 165-186 (2013)
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/ChatterjeeAH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/ChatterjeeAH13
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): 640-657 (2013)
2012
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/nar/GoodCAS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/nar/GoodCAS12
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): 1255-1261 (2012)
2011
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/AlfaroKPA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/AlfaroKPA11
Luca de Alfaro, Ashutosh Kulshreshtha, Ian Pye, B. Thomas Adler:
Reputation systems for open collaboration. Commun. ACM 54(8): 81-87 (2011)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/ChatterjeeAH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/ChatterjeeAH11
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Qualitative concurrent parity games. ACM Trans. Comput. Log. 12(4): 28:1-28:51 (2011)
2010
[j10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0809-4326
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0809-4326
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman:
Algorithms for Game Metrics (Full Version). Log. Methods Comput. Sci. 6(3) (2010)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AlfaroR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AlfaroR10
Luca de Alfaro, Pritam Roy:
Solving games via three-valued abstraction refinement. Inf. Comput. 208(6): 666-676 (2010)
2009
[j8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0903-2445
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0903-2445
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay:
Qualitative Logics and Equivalences for Probabilistic Systems. Log. Methods Comput. Sci. 5(2) (2009)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AlfaroFS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AlfaroFS09
Luca de Alfaro, Marco Faella, Mariëlle Stoelinga:
Linear and Branching System Metrics. IEEE Trans. Software Eng. 35(2): 258-273 (2009)
2008
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/AlfaroMRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/AlfaroMRS08
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga:
Game Refinement Relations and Metrics. Log. Methods Comput. Sci. 4(3) (2008)
2007
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlfaroHK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlfaroHK07
Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman:
Concurrent reachability games. Theor. Comput. Sci. 386(3): 188-217 (2007)
2005
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlfaroFHMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlfaroFHMS05
Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Model checking discounted temporal properties. Theor. Comput. Sci. 345(1): 139-170 (2005)
2004
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/AlfaroM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/AlfaroM04
Luca de Alfaro, Rupak Majumdar:
Quantitative solution of omega-regular games. J. Comput. Syst. Sci. 68(2): 374-397 (2004)
2003
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlfaroK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlfaroK03
Luca de Alfaro, Arjun Kapur:
Hybrid diagrams. Theor. Comput. Sci. 290(1): 565-597 (2003)
1994
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tcom/AlfaroM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcom/AlfaroM94
Luca de Alfaro, Angelo Raffaele Meo:
Codes for second and third order GH-ARQ schemes. IEEE Trans. Commun. 42(234): 899-910 (1994)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/icassp/KoudounasPMGGRACCABA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icassp/KoudounasPMGGRACCABA24
Alkis Koudounas, Eliana Pastor, Vittorio Mazzia, Manuel Giollo, Thomas Gueudré, Elisa Reale, Giuseppe Attanasio, Luca Cagliero, Sandro Cumani, Luca De Alfaro, Elena Baralis, Daniele Amberti:
Leveraging Confidence Models for Identifying Challenging Data Subgroups in Speech Models. ICASSP Workshops 2024: 134-138
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/icassp/KoudounasPAAB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icassp/KoudounasPAAB24
Alkis Koudounas, Eliana Pastor, Giuseppe Attanasio, Luca de Alfaro, Elena Baralis:
Prioritizing Data Acquisition for end-to-end Speech Model Improvement. ICASSP 2024: 7000-7004
2023
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/icassp/KoudounasPAMGGCABA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icassp/KoudounasPAMGGCABA23
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: 1-5
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/icde/PastorBA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icde/PastorBA23
Eliana Pastor, Elena Baralis, Luca de Alfaro:
A Hierarchical Approach to Anomalous Subgroup Discovery. ICDE 2023: 2647-2659
2021
[c94]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/0001AGPY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/0001AGPY21
Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida:
CONCUR Test-Of-Time Award 2021 (Invited Paper). CONCUR 2021: 1:1-1:3
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/PastorAB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/PastorAB21
Eliana Pastor, Luca de Alfaro, Elena Baralis:
Looking for Trouble: Analyzing Classifier Behavior via Pattern Divergence. SIGMOD Conference 2021: 1400-1412
2020
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/iccde/LiangA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccde/LiangA20
Shenshen Liang, Luca de Alfaro:
Online Top-K Selection in Crowdsourcing Environments. ICCDE 2020: 252-259
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/mass/ZhangAMFUTJG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mass/ZhangAMFUTJG20
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: 138-146
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/mswim/ZhangAG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mswim/ZhangAG20
Molly Zhang, Luca de Alfaro, J. J. Garcia-Luna-Aceves:
Using Reinforcement Learning in Slotted Aloha for Ad-Hoc Networks. MSWiM 2020: 245-252
[c89]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/networking/AlfaroZG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/networking/AlfaroZG20
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: 262-270
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/ZhangAG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/ZhangAG20
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: 56-61
2019
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/www/AgrawalA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/AgrawalA19
Rakshit Agrawal, Luca de Alfaro:
Learning Edge Properties in Graphs from Path Aggregations. WWW 2019: 15-25
2018
[c86]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fruct/VedovaTMBDA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fruct/VedovaTMBDA18
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: 272-279
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/kdd/DaltayanniDA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kdd/DaltayanniDA18
Maria Daltayanni, Ali Dasdan, Luca de Alfaro:
Automated Audience Segmentation Using Reputation Signals. KDD 2018: 186-195
2017
[c84]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/AgrawalAP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AgrawalAP17
Rakshit Agrawal, Luca de Alfaro, Vassilis Polychronopoulos:
Learning from Graph Neighborhoods Using LSTMs. AAAI Workshops 2017
[c83]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/AlfaroPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlfaroPP17
Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis:
Efficient Techniques for Crowdsourced Top-k Lists. IJCAI 2017: 4801-4805
2016
[c82]
- view
  - electronic edition @ educationaldatamining.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/edm/AlfaroS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edm/AlfaroS16
Luca de Alfaro, Michael Shavlovsky:
Dynamics of Peer Grading: An Empirical Study. EDM 2016: 62-69
[c81]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/hcomp/AlfaroPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hcomp/AlfaroPP16
Luca de Alfaro, Vassilis Polychronopoulos, Neoklis Polyzotis:
Efficient Techniques for Crowdsourced Top-k Lists. HCOMP 2016: 22-31
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/wikis/Agrawald16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wikis/Agrawald16
Rakshit Agrawal, Luca de Alfaro:
Predicting the quality of user contributions via LSTMs. OpenSym 2016: 19:1-19:10
2015
[c79]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/hcomp/AlfaroPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hcomp/AlfaroPS15
Luca de Alfaro, Vassilis Polychronopoulos, Michael Shavlovsky:
Reliable Aggregation of Boolean Crowdsourced Tasks. HCOMP 2015: 42-51
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/wsdm/DaltayanniA015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsdm/DaltayanniA015
Maria Daltayanni, Luca de Alfaro, Panagiotis Papadimitriou:
WorkerRank: Using Employer Implicit Judgements to Infer Worker Reputation. WSDM 2015: 263-272
2014
[c77]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/edbt/DaltayanniA0T14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edbt/DaltayanniA0T14
Maria Daltayanni, Luca de Alfaro, Panagiotis Papadimitriou, Panayiotis Tsaparas:
On Assigning Implicit Reputation Scores in an Online Labor Marketplace. EDBT 2014: 724-725
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/AlfaroS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/AlfaroS14
Luca de Alfaro, Michael Shavlovsky:
CrowdGrader: a tool for crowdsourcing the evaluation of homework assignments. SIGCSE 2014: 415-420
2013
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/AlfaroA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/AlfaroA13
Luca de Alfaro, B. Thomas Adler:
Content-Driven Reputation for Collaborative Systems. TGC 2013: 3-13
[c74]
- view
  - electronic edition @ inria.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/webdb/PolychronopoulosADGP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webdb/PolychronopoulosADGP13
Vassilis Polychronopoulos, Luca de Alfaro, James Davis, Hector Garcia-Molina, Neoklis Polyzotis:
Human-Powered Top-k Lists. WebDB 2013: 25-30
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/www/AlfaroS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/AlfaroS13
Luca de Alfaro, Michael Shavlovsky:
Attributing authorship of revisioned content. WWW 2013: 343-354
2012
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/AdabiA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/AdabiA12
Ali Adabi, Luca de Alfaro:
Toward a Social Graph Recommendation Algorithm: Do We Trust Our Friends in Movie Recommendations? OTM Workshops 2012: 637-647
2011
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/cicling/AdlerAMRW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cicling/AdlerAMRW11
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: 277-288
2010
[c70]
- view
- export record
  dblp key:
  - conf/clef/AdlerAP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clef/AdlerAP10
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
[c69]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ChatterjeeARS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChatterjeeARS10
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez:
Analyzing the Impact of Change in Multi-threaded Programs. FASE 2010: 293-307
2009
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/soda/ChatterjeeAH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soda/ChatterjeeAH09
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Termination criteria for solving concurrent safety and reachability games. SODA 2009: 197-206
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/wikis/AlfaroO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wikis/AlfaroO09
Luca de Alfaro, Felipe Ortega:
Measuring Wikipedia: a hands-on tutorial. Int. Sym. Wikis 2009
2008
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ChatterjeeAM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ChatterjeeAM08
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar:
The Complexity of Coverage. APLAS 2008: 91-106
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/ChatterjeeAP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/ChatterjeeAP08
Krishnendu Chatterjee, Luca de Alfaro, Ian Pye:
Robust content-driven reputation. AISec 2008: 33-42
[c64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/AbdullaHAMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AbdullaHAMS08
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg:
Stochastic Games with Lossy Channels. FoSSaCS 2008: 35-49
[c63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/ChatterjeeAMR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/ChatterjeeAMR08
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman:
Algorithms for Game Metrics. FSTTCS 2008: 107-118
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/RoyPNA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/RoyPNA08
Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro:
Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST 2008: 103-112
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/wikis/AdlerAPR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wikis/AdlerAPR08
B. Thomas Adler, Luca de Alfaro, Ian Pye, Vishwanath Raman:
Measuring author contributions to the Wikipedia. Int. Sym. Wikis 2008
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/wikis/AdlerCAFPR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wikis/AdlerCAFPR08
B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman:
Assigning trust to Wikipedia content. Int. Sym. Wikis 2008
2007
[c59]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AlfaroF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlfaroF07
Luca de Alfaro, Marco Faella:
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games. CAV 2007: 108-120
[c58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AlfaroR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlfaroR07
Luca de Alfaro, Pritam Roy:
Magnifying-Lens Abstraction for Markov Decision Processes. CAV 2007: 325-338
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlfaroR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlfaroR07
Luca de Alfaro, Pritam Roy:
Solving Games Via Three-Valued Abstraction Refinement. CONCUR 2007: 74-89
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/Alfaro07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/Alfaro07
Luca de Alfaro:
The Symbolic Approach to Repeated Games (Abstract). CSL 2007: 3
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AlfaroMRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AlfaroMRS07
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga:
Game Relations and Metrics. LICS 2007: 99-108
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/AlfaroCFL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/AlfaroCFL07
Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay:
Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/www/AdlerA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/AdlerA07
B. Thomas Adler, Luca de Alfaro:
A content-driven reputation system for the wikipedia. WWW 2007: 261-270
2006
[c52]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AdlerASFLRR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AdlerASFLRR06
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: 59-62
[c51]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/LegayAF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/LegayAF06
Axel Legay, Luca de Alfaro, Marco Faella:
An Introduction to the Tool Ticc. Trustworthy Software 2006
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/ChatterjeeAFHMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/ChatterjeeAFHMS06
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Compositional Quantitative Reasoning. QEST 2006: 179-188
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/ChatterjeeAH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/ChatterjeeAH06
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Reachability Games. QEST 2006: 291-300
[c48]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/soda/ChatterjeeAH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soda/ChatterjeeAH06
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
The complexity of quantitative concurrent parity games. SODA 2006: 678-687
2005
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/AlfaroRFM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/AlfaroRFM05
Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar:
Code aware resource management. EMSOFT 2005: 191-202
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/AdlerAF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/AdlerAF05
B. Thomas Adler, Luca de Alfaro, Marco Faella:
Average Reward Timed Games. FORMATS 2005: 65-80
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/AlfaroSFLRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/AlfaroSFLRS05
Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea:
Sociable Interfaces. FroCoS 2005: 81-105
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/ChatterjeeAH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/ChatterjeeAH05
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
The Complexity of Stochastic Rabin and Streett Games'. ICALP 2005: 878-890
2004
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/AlfaroFS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/AlfaroFS04
Luca de Alfaro, Marco Faella, Mariëlle Stoelinga:
Linear and Branching Metrics for Quantitative Transition Systems. ICALP 2004: 97-109
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AlfaroGJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AlfaroGJ04
Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan:
Three-Valued Abstractions of Games: Uncertainty, but with Precision. LICS 2004: 170-179
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/ChatterjeeAH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/ChatterjeeAH04
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Trading Memory for Randomness. QEST 2004: 206-217
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AlfaroFHMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AlfaroFHMS04
Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Model Checking Discounted Temporal Properties. TACAS 2004: 77-92
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Alfaro05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Alfaro05
Luca de Alfaro:
Preface. GDV@CAV 2004: 1-2
2003
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Alfaro03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Alfaro03
Luca de Alfaro:
Game Models for Open Systems. Verification: Theory and Practice 2003: 269-289
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Alfaro03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Alfaro03
Luca de Alfaro:
Quantitative Verification and Control via the Mu-Calculus. CONCUR 2003: 102-126
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlfaroFHMS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlfaroFHMS03
Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
The Element of Surprise in Timed Games. CONCUR 2003: 142-156
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/ChakrabartiAHS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/ChakrabartiAHS03
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
Resource Interfaces. EMSOFT 2003: 117-133
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/AlfaroHM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/AlfaroHM03
Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
Discounting the Future in Systems Theory. ICALP 2003: 1022-1037
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/AlfaroF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/AlfaroF03
Luca de Alfaro, Marco Faella:
Information Flow in Concurrent Games. ICALP 2003: 1038-1053
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlfaroS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlfaroS04
Luca de Alfaro, Mariëlle Stoelinga:
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. FOCLASA 2003: 3-23
2002
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChakrabartiAHM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChakrabartiAHM02
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
Synchronous and Bidirectional Component Interfaces. CAV 2002: 414-427
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChakrabartiAHJM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChakrabartiAHJM02
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang:
Interface Compatibility Checking for Software Modules. CAV 2002: 428-441
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/AlfaroHS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/AlfaroHS02
Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
Timed Interfaces. EMSOFT 2002: 108-122
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/PasseroneAHS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/PasseroneAHS02
Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli:
Convertibility verification and converter synthesis: two faces of the same coin. ICCAD 2002: 132-139
2001
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Alfaro01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Alfaro01
Luca de Alfaro:
Model Checking the World Wide Web. CAV 2001: 337-349
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlfaroHJ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlfaroHJ01
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala:
Compositional Methods for Probabilistic Systems. CONCUR 2001: 351-365
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlfaroHM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlfaroHM01
Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
Symbolic Algorithms for Infinite-State Games. CONCUR 2001: 536-550
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlfaroHM01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlfaroHM01a
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
The Control of Synchronous Systems, Part II. CONCUR 2001: 566-582
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/AlfaroH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/AlfaroH01
Luca de Alfaro, Thomas A. Henzinger:
Interface Theories for Component-Based Design. EMSOFT 2001: 148-165
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AlurAGHKKMMW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AlurAGHKKMMW01
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang:
JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE 2001: 835-836
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AlfaroHM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AlfaroHM01
Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar:
From Verification to Control: Dynamic Programs for Omega-Regular Objectives. LICS 2001: 279-290
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/AlfaroH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/AlfaroH01
Luca de Alfaro, Thomas A. Henzinger:
Interface automata. ESEC / SIGSOFT FSE 2001: 109-120
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/AlfaroM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/AlfaroM01
Luca de Alfaro, Rupak Majumdar:
Quantitative solution of omega-regular games. STOC 2001: 675-683
[c18]
- view
  - electronic edition @ www10.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/www/AlfaroHM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/AlfaroHM01
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
MCWEB: A Model-Checking Tool for Web Site Debugging. WWW Posters 2001
2000
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AlfaroHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlfaroHM00
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
Detecting Errors Before Reaching Them. CAV 2000: 186-201
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlfaroHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlfaroHM00
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
The Control of Synchronous Systems. CONCUR 2000: 458-473
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AlfaroH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AlfaroH00
Luca de Alfaro, Thomas A. Henzinger:
Concurrent Omega-Regular Games. LICS 2000: 141-154
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AlfaroKNPS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AlfaroKNPS00
Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala:
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. TACAS 2000: 395-410
1999
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Alfaro99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Alfaro99
Luca de Alfaro:
Computing Minimum and Maximum Reachability Times in Probabilistic Systems. CONCUR 1999: 66-81
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlurAHM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlurAHM99
Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang:
Automating Modular Verification. CONCUR 1999: 82-97
1998
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Alfaro98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Alfaro98
Luca de Alfaro:
Stochastic Transition Systems. CONCUR 1998: 423-438
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/AlfaroHK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/AlfaroHK98
Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman:
Concurrent Reachability Games. FOCS 1998: 564-575
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Alfaro98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Alfaro98
Luca de Alfaro:
How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems. LICS 1998: 454-465
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Alfaro99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Alfaro99
Luca de Alfaro:
From Fairness to Chance. PROBMIV 1998: 55-87
1997
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/AlfaroKM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/AlfaroKM97
Luca de Alfaro, Arjun Kapur, Zohar Manna:
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. STACS 1997: 153-164
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/Alfaro97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Alfaro97
Luca de Alfaro:
Temporal Logics for the Specification of Performance and Reliability. STACS 1997: 165-176
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AlfaroM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AlfaroM97
Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe:
Visual Verification of Reactive Systems. TACAS 1997: 334-350
1996
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AlfaroM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlfaroM96
Luca de Alfaro, Zohar Manna:
Temporal Verification by Diagram Transformations. CAV 1996: 288-299
1995
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/AlfaroM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/AlfaroM95
Luca de Alfaro, Zohar Manna:
Verification in Continuous Time by Discrete Reasoning. AMAST 1995: 292-306
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BiancoA95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BiancoA95
Andrea Bianco, Luca de Alfaro:
Model Checking of Probabalistic and Nondeterministic Systems. FSTTCS 1995: 499-513
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/MannaBBCCADKLSU95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/MannaBBCCADKLSU95
Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe:
STeP: The Stanford Temporal Prover. TAPSOFT 1995: 793-794

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2018
[p1]
- view
  authority control:
- export record
  dblp key:
  - reference/mc/BaierAFK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/mc/BaierAFK18
Christel Baier, Luca de Alfaro, Vojtech Forejt, Marta Kwiatkowska:
Model Checking Probabilistic Systems. Handbook of Model Checking 2018: 963-999

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2009
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/2009
Luca de Alfaro:
Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5504, Springer 2009, ISBN 978-3-642-00595-4 [contents]
2008
[e4]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/emsoft/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/2008
Luca de Alfaro, Jens Palsberg:
Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008. ACM 2008, ISBN 978-1-60558-468-3 [contents]
2005
[e3]
- view
- export record
  dblp key:
  - conf/cav/2004gdv
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2004gdv
Luca de Alfaro:
Proceedings of the Workshop on Games in Design and Verification, GDV@CAV 2004, Boston, MA, USA, June 18, 2004. Electronic Notes in Theoretical Computer Science 119(1), Elsevier 2005 [contents]
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/2005
Martín Abadi, Luca de Alfaro:
CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings. Lecture Notes in Computer Science 3653, Springer 2005, ISBN 3-540-28309-9 [contents]
2001
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/papm/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/papm/2001
Luca de Alfaro, Stephen Gilmore:
Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings. Lecture Notes in Computer Science 2165, Springer 2001, ISBN 3-540-42556-X [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-14682
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-14682
Flavio Giobergia, Eliana Pastor, Luca de Alfaro, Elena Baralis:
Detecting Interpretable Subgroup Drifts. CoRR abs/2408.14682 (2024)
[i20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-14687
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-14687
Flavio Giobergia, Eliana Pastor, Luca de Alfaro, Elena Baralis:
A Synthetic Benchmark to Explore Limitations of Localized Drift Detections. CoRR abs/2408.14687 (2024)
2022
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-13898
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-13898
Reilly Raab, Luca de Alfaro, Yang Liu:
Conjugate Natural Selection. CoRR abs/2208.13898 (2022)
2021
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-07450
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-07450
Eliana Pastor, Luca de Alfaro, Elena Baralis:
Identifying Biased Subgroups in Ranking and Classification. CoRR abs/2108.07450 (2021)
2019
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-01208
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-01208
Rakshit Agrawal, Luca de Alfaro, David P. Helmbold:
A New Family of Neural Networks Provably Resistant to Adversarial Attacks. CoRR abs/1902.01208 (2019)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-07207
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-07207
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 abs/1902.07207 (2019)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-04613
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-04613
Rakshit Agrawal, Luca de Alfaro:
Learning Edge Properties in Graphs from Path Aggregations. CoRR abs/1903.04613 (2019)
2018
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-08066
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-08066
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 abs/1802.08066 (2018)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1809-09262
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-09262
Luca de Alfaro:
Neural Networks with Structural Resistance to Adversarial Attacks. CoRR abs/1809.09262 (2018)
2017
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/TacchiniBVMA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TacchiniBVMA17
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 abs/1704.07506 (2017)
2016
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AlfaroSP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlfaroSP16
Luca de Alfaro, Michael Shavlovsky, Vassilis Polychronopoulos:
Incentives for Truthful Peer Grading. CoRR abs/1604.03178 (2016)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AlfaroF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlfaroF16
Luca de Alfaro, Marco Faella:
TrueReview: A Platform for Post-Publication Peer Review. CoRR abs/1608.07878 (2016)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AlfaroFPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlfaroFPS16
Luca de Alfaro, Marco Faella, Vassilis Polychronopoulos, Michael Shavlovsky:
Incentives for Truthful Evaluations. CoRR abs/1608.07886 (2016)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AgrawalAP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AgrawalAP16
Rakshit Agrawal, Luca de Alfaro, Vassilis Polychronopoulos:
Learning From Graph Neighborhoods Using LSTMs. CoRR abs/1611.06882 (2016)
2013
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AlfaroS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlfaroS13
Luca de Alfaro, Michael Shavlovsky:
CrowdGrader: Crowdsourcing the Evaluation of Homework Assignments. CoRR abs/1308.5273 (2013)
2012
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1201-2834
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-2834
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Reachability and Safety Games. CoRR abs/1201.2834 (2012)
2011
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1107-2132
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-2132
Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy:
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives. CoRR abs/1107.2132 (2011)
2008
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0804-4525
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0804-4525
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar:
The Complexity of Coverage. CoRR abs/0804.4525 (2008)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0804-4530
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0804-4530
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Safety Games. CoRR abs/0804.4530 (2008)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0806-4956
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0806-4956
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga:
Game Refinement Relations and Metrics. CoRR abs/0806.4956 (2008)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0809-4017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0809-4017
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger:
Termination Criteria for Solving Concurrent Safety and Reachability Games. CoRR abs/0809.4017 (2008)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.