フォロー
Luca de Alfaro
Luca de Alfaro
Professor, Computer Science and Engineering, UC Santa Cruz
確認したメール アドレス: alumni.stanford.edu - ホームページ
タイトル
引用先
引用先
年
Interface automata
L De Alfaro, TA Henzinger
ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001
17892001
Model checking of probabilistic and nondeterministic systems
A Bianco, L de Alfaro
International Conference on Foundations of Software Technology and …, 1995
8651995
A content-driven reputation system for the Wikipedia
BT Adler, L De Alfaro
Proceedings of the 16th international conference on World Wide Web, 261-270, 2007
6662007
Some like it hoax: Automated fake news detection in social networks
E Tacchini, G Ballarin, ML Della Vedova, S Moret, L De Alfaro
arXiv preprint arXiv:1704.07506, 2017
6302017
Formal verification of probabilistic systems
L De Alfaro
stanford university, 1998
5971998
Interface theories for component-based design
L de Alfaro, TA Henzinger
International Workshop on Embedded Software, 148-165, 2001
5392001
Interface-based design
L De Alfaro, TA Henzinger
Engineering Theories of Software Intensive Systems: Proceedings of the NATO …, 2005
3382005
Resource interfaces
A Chakrabarti, L De Alfaro, TA Henzinger, M Stoelinga
International Workshop on Embedded Software, 117-133, 2003
3182003
Concurrent reachability games
L De Alfaro, TA Henzinger, O Kupferman
Theoretical computer science 386 (3), 188-217, 2007
3092007
Assigning trust to Wikipedia content
BT Adler, K Chatterjee, L De Alfaro, M Faella, I Pye, V Raman
Proceedings of the 4th International Symposium on Wikis, 1-12, 2008
3042008
Automatic online fake news detection combining content and social signals
ML Della Vedova, E Tacchini, S Moret, G Ballarin, M DiPierro, L De Alfaro
2018 22nd conference of open innovations association (FRUCT), 272-279, 2018
2532018
Timed interfaces
L De Alfaro, TA Henzinger, M Stoelinga
Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002
2532002
STeP: The stanford temporal prover
Z Manna, N Bjørner, A Browne, E Chang, M Colón, L de Alfaro, ...
TAPSOFT'95: Theory and Practice of Software Development: 6th International …, 1995
2531995
Wikipedia vandalism detection: Combining natural language, metadata, and reputation features
BT Adler, L De Alfaro, SM Mola-Velasco, P Rosso, AG West
Computational Linguistics and Intelligent Text Processing: 12th …, 2011
2332011
Discounting the future in systems theory
L De Alfaro, TA Henzinger, R Majumdar
International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003
2052003
Concurrent omega-regular games
L De Alfaro, TA Henzinger
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000
2002000
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation
L De Alfaro, M Kwiatkowska, G Norman, D Parker, R Segala
International Conference on Tools and Algorithms for the Construction and …, 2000
1922000
Measuring author contributions to the Wikipedia
BT Adler, L De Alfaro, I Pye, V Raman
Proceedings of the 4th International Symposium on Wikis, 1-10, 2008
1892008
Quantitative solution of omega-regular games
L De Alfaro, R Majumdar
Proceedings of the thirty-third annual ACM symposium on Theory of computing …, 2001
1892001
Computing minimum and maximum reachability times in probabilistic systems
L De Alfaro
International Conference on Concurrency Theory, 66-81, 1999
1761999
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20