Result 1 to 20 of 125 total
Wikipedia vandalism detection: Combining natural language, metadata, and reputation features. (English)
Gelbukh, Alexander (ed.), Computational linguistics and intelligent text processing. 12th international conference, CICLing 2011, Tokyo, Japan, February 20‒26, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-19436-8/pbk). Lecture Notes in Computer Science 6609, 277-288 (2011).
1
Qualitative concurrent parity games (English)
ACM Trans. Comput. Log. 12, No. 4, 28 (2011).
2
Wikipedia vandalism detection: combining natural language, metadata, and reputation features (English)
CICLing (2), 277-288 (2011).
3
Algorithms for game metrics. (English)
Log. Methods Comput. Sci. 6, No. 3, Paper No. 13, 27 p., electronic only (2010).
4
Solving games via three-valued abstraction refinement. (English)
Inf. Comput. 208, No. 6, 666-676 (2010).
5
Analyzing the impact of change in multi-threaded programs. (English)
Rosenblum, David S. (ed.) et al., Fundamental approaches to software engineering. 13th international conference, FASE 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12028-2/pbk). Lecture Notes in Computer Science 6013, 293-307 (2010).
6
Analyzing the impact of change in multi-threaded programs (English)
FASE, 293-307 (2010).
7
Detecting wikipedia vandalism using wikitrust - lab report for PAN at CLEF 2010 (English)
CLEF (Notebook Papers/LABs/Workshops) (2010).
8
Qualitative logics and equivalences for probabilistic systems. (English)
Log. Methods Comput. Sci. 5, No. 2, Paper 7, 25 p., electronic only (2009).
9
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. (English)
Lecture Notes in Computer Science 5504. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). xv, 471~p. EUR~65.22 (2009).
10
Linear and branching system metrics (English)
IEEE Trans. Software Eng. 35, No. 2, 258-273 (2009).
11
Termination criteria for solving concurrent safety and reachability games (English)
SODA, 197-206 (2009).
12
Measuring wikipedia: a hands-on tutorial (English)
Int. Sym. Wikis (2009).
13
Algorithms for game metrics. (English)
Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9‒11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPICS ‒ Leibniz International Proceedings in Informatics 2, 107-118, electronic only (2008).
14
Algorithms for game metrics (Full version). (English)
Comput. Res. Repos. 2008, Article No. 0809.4326 (2008).
15
Termination criteria for solving concurrent safety and reachability games. (English)
Comput. Res. Repos. 2008, Article No. 0809.4017 (2008).
16
The complexity of coverage. (English)
Ramalingam, G. (ed.), Programming languages and systems. 6th Asian symposium, APLAS 2008, Bangalore, India, December 9‒11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89329-5/pbk). Lecture Notes in Computer Science 5356, 91-106 (2008).
17
Game refinement relations and metrics. (English)
Comput. Res. Repos. 2008, Article No. 0806.4956 (2008).
18
Strategy improvement for concurrent safety games. (English)
Comput. Res. Repos. 2008, Article No. 0804.4530 (2008).
19
The complexity of coverage. (English)
Comput. Res. Repos. 2008, Article No. 0804.4525 (2008).
20
Result 1 to 20 of 125 total
Start
Contact
Print
General Help
