Experts ranked by New Star.

1 Andrey Rybalchenko
	New Star: 16.11; H-index: 14; Papers: 31; Citation: 824   highest-cited paper: A Complete Method for the Synthesis of Linear Ranking Functions (2004) at VMCAI(Cited By 141) Homepage: http://www.mpi-sws.mpg.de/~rybal/
Expertise: Model Checking / Hybrid Systems;   Logic Programs;

2 Akash Lal (Computer Science Department University of Wisconsin-Madison)
	New Star: 5.64; H-index: 8; Papers: 14; Citation: 198   highest-cited paper: Extended Weighted Pushdown Systems (2005) at CAV(Cited By 46) Homepage: http://www.cs.wisc.edu/~akash/
Expertise: Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;

3 Vasu Singh
	New Star: 5.46; H-index: 6; Papers: 6; Citation: 64   highest-cited paper: Completeness and Nondeterminism in Model Checking Transactional Memories (2008) at CONCUR(Cited By 23)
Expertise: Model Checking / Hybrid Systems;   Dynamic Networks / Extended Abstract;

4 Azadeh Farzan (Assistant Professor, Computer Science Department University of Toronto.)
	New Star: 5.02; H-index: 8; Papers: 12; Citation: 197   highest-cited paper: Formal Analysis of Java Programs in JavaFAN (2004) at CAV(Cited By 78) Homepage: http://www.cs.cmu.edu/~afarzan/
Expertise: Model Checking / Hybrid Systems;   Logic Programs / Algebraic Semantics;

5 Chang-Seo Park
	New Star: 4.89; H-index: 4; Papers: 4; Citation: 39   highest-cited paper: A randomized dynamic program analysis technique for detecting real deadlocks (2009) at PLDI(Cited By 16)
Expertise: Model Checking / Hybrid Systems;

7 Colin Blundell
	New Star: 4.53; H-index: 7; Papers: 10; Citation: 242   highest-cited paper: Making the fast case common and the uncommon case simple in unbounded transactional memory (2007) at ISCA(Cited By 73)
Expertise: Instruction Cache Organizations / Branch Prediction;   Model Checking / Hybrid Systems;

8 Marco Cova (Computer Security Group Department of Computer Science University of California, Santa Barbara)
	New Star: 4.52; H-index: 8; Papers: 14; Citation: 184   highest-cited paper: Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications (2008) at IEEE Symposium on Security and Privacy(Cited By 55) Homepage: http://www.cs.ucsb.edu/~marco/
Expertise: Security Views / New Denial;   Case-Based Reasoning;   Model Checking / Hybrid Systems;

9 Thomas Brihaye (Universit� de Mons-Hainaut Institut de math閙atique Service de math閙atiques effectives)
	New Star: 4.25; H-index: 11; Papers: 24; Citation: 339   highest-cited paper: On O-Minimal Hybrid Systems (2004) at HSCC(Cited By 50) Homepage: http://math.umh.ac.be/me/tbrihaye.html
Expertise: Logic Programs / Algebraic Semantics;   Infinitary Logic / Recursive Models;   Automata Theory / Slender Languages;   Model Checking / Hybrid Systems;

10 Andre Platzer (Computer Science Department Carnegie Mellon University 5000 Forbes Avenue)
	New Star: 4.24; H-index: 8; Papers: 17; Citation: 136   highest-cited paper: The Image Computation Problem in Hybrid Systems Model Checking (2007) at HSCC(Cited By 19) Homepage: http://symbolaris.com/meta/andre
Expertise: Theorem Proving / General-Purpose Automated Reasoning;   Model Checking / Hybrid Systems;

11 Viktor Vafeiadis
	New Star: 4.22; H-index: 5; Papers: 12; Citation: 244   highest-cited paper: Acute: High-level programming language design for distributed computation (2007) at J. Funct. Program.(Cited By 80)
Expertise: Functional Programming / Binding-Time Analysis;   Model Checking / Hybrid Systems;

12 Ariel Cohen (Senior Research Fellow, Kathryn and Shelby Cullom Davis Institute for International Studies)
	New Star: 4.16; H-index: 4; Papers: 7; Citation: 59   highest-cited paper: Verifying Correctness of Transactional Memories (2007) at FMCAD(Cited By -1) Homepage: http://www.heritage.org/About/Staff/ArielCohen.cfm
Expertise: Model Checking / Hybrid Systems;

13 Barbara Jobstmann (I'm a PhD student in Computer Science at Institute for Softwaretechnology, TU Graz supervised by Roderick Bloem, Barbara Jobstmann Institute for Software Technology Graz University of Technology)
	New Star: 4.13; H-index: 8; Papers: 16; Citation: 213   highest-cited paper: Program Repair as a Game (2005) at CAV(Cited By 44) Homepage: http://www.ist.tugraz.at/staff/jobstmann/
Expertise: Model Checking / Hybrid Systems;

14 Ru-Gang Xu
	New Star: 4.05; H-index: 7; Papers: 9; Citation: 153   highest-cited paper: Directed test generation using symbolic grammars (2007) at ASE(Cited By 32)
Expertise: Model Checking / Hybrid Systems;

15 Thomas Wies
	New Star: 4.05; H-index: 6; Papers: 12; Citation: 234   highest-cited paper: Shape Analysis for Composite Data Structures (2007) at CAV(Cited By 86)
Expertise: Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;

16 Magnus Myreen
	New Star: 3.95; H-index: 7; Papers: 11; Citation: 97   highest-cited paper: The semantics of x86-CC multiprocessor machine code (2009) at POPL(Cited By 37)
Expertise: Model Checking / Hybrid Systems;

17 Leo Freitas (Senior Research Associate, Circus model checking High integrity software engineering Department of Computer Science University of York)
	New Star: 3.95; H-index: 6; Papers: 16; Citation: 94   highest-cited paper: POSIX file store in Z/Eves: an experiment in the verified software repository (2007) at ICECCS(Cited By 18) Homepage: http://www.cs.york.ac.uk/~leo
Expertise: Model Checking / Hybrid Systems;

18 Mike Hinchey
	New Star: 3.94; H-index: 6; Papers: 26; Citation: 161   highest-cited paper: NASA's Swarm Missions: The Challenge of Building Autonomous Software. (2004) at IT Professional(Cited By 72)
Expertise: Search Technology / News Brief;   Model Checking / Hybrid Systems;

19 Bjorn Wachter
	New Star: 3.79; H-index: 5; Papers: 10; Citation: 111   highest-cited paper: Probabilistic CEGAR (2008) at CAV(Cited By 48)
Expertise: Model Checking / Hybrid Systems;   Real-Time Systems;

20 Osman Hasan
	New Star: 3.78; H-index: 4; Papers: 11; Citation: 51   highest-cited paper: Formalization of Continuous Probability Distributions (2007) at CADE(Cited By 15)
Expertise: Theorem Proving / General-Purpose Automated Reasoning;   Model Checking / Hybrid Systems;

21 Himanshu Jain (Computer Science Department Carnegie Mellon University)
	New Star: 3.75; H-index: 7; Papers: 14; Citation: 154   highest-cited paper: Word level predicate abstraction and refinement for verifying RTL verilog (2005) at DAC(Cited By 49) Homepage: http://www.cs.cmu.edu/~hjain/
Expertise: Model Checking / Hybrid Systems;

22 Pallavi Joshi
	New Star: 3.74; H-index: 5; Papers: 9; Citation: 42   highest-cited paper: A randomized dynamic program analysis technique for detecting real deadlocks (2009) at PLDI(Cited By 16)
Expertise: Low power design / Behavioral Synthesis;   Model Checking / Hybrid Systems;   Software Engineering / Business Maintenance Model;

23 Paolo Milazzo (Research fellow, Department of Computer Science of the University of Pisa)
	New Star: 3.72; H-index: 8; Papers: 23; Citation: 170   highest-cited paper: A Calculus of Looping Sequences for Modelling Microbiological Systems (2006) at Fundam. Inform.(Cited By 42) Homepage: http://www.di.unipi.it/~milazzo/
Expertise: Logic Programs / Algebraic Semantics;   Model Checking / Hybrid Systems;

24 Ahmed Rezine
	New Star: 3.61; H-index: 7; Papers: 13; Citation: 158   highest-cited paper: Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) (2007) at TACAS(Cited By 39)
Expertise: Model Checking / Hybrid Systems;

25 Pavol Cerny
	New Star: 3.53; H-index: 4; Papers: 7; Citation: 186   highest-cited paper: Synthesis of interface specifications for Java classes (2005) at POPL(Cited By 141)
Expertise: Model Checking / Hybrid Systems;   Signature Schemes / Authenticated Key Exchange Secure;

26 Marcus Groser
	New Star: 3.41; H-index: 8; Papers: 19; Citation: 163   highest-cited paper: On Probabilistic Computation Tree Logic (2004) at Validation of Stochastic Systems(Cited By 50)
Expertise: Logic Programs / Algebraic Semantics;   Model Checking / Hybrid Systems;

27 Alexey Gotsman
	New Star: 3.37; H-index: 5; Papers: 6; Citation: 188   highest-cited paper: Interprocedural Shape Analysis with Separated Heap Abstractions (2006) at SAS(Cited By 66)
Expertise: Functional Programming / Binding-Time Analysis;   Model Checking / Hybrid Systems;

28 Peter Lammich
	New Star: 3.35; H-index: 3; Papers: 4; Citation: 22   highest-cited paper: Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures (2007) at CONCUR(Cited By 9)
Expertise: Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;

30 Sarvani S. Vakkalanka
	New Star: 3.33; H-index: 6; Papers: 11; Citation: 97   highest-cited paper: Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings (2008) at CAV(Cited By 29)
Expertise: Parallel Systems / MPI Implementation;   Model Checking / Hybrid Systems;

31 Ashutosh Gupta
	New Star: 3.30; H-index: 4; Papers: 7; Citation: 38   highest-cited paper: Proving non-termination (2008) at POPL(Cited By 25)
Expertise: Rough Set;   Model Checking / Hybrid Systems;

32 Yu Yang
	New Star: 3.28; H-index: 6; Papers: 11; Citation: 96   highest-cited paper: Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software (2007) at SPIN(Cited By 0)
Expertise: Model Checking / Hybrid Systems;

33 Sebastian Burckhardt
	New Star: 3.20; H-index: 5; Papers: 8; Citation: 63   highest-cited paper: CheckFence: checking consistency of concurrent data types on relaxed memory models (2007) at PLDI(Cited By 42)
Expertise: Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;

34 Aditya Kanade
	New Star: 3.05; H-index: 5; Papers: 7; Citation: 43   highest-cited paper: Symbolic analysis for improving simulation coverage of Simulink/Stateflow models (2008) at EMSOFT(Cited By 12)
Expertise: Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;

35 Michal Moskal
	New Star: 3.01; H-index: 7; Papers: 9; Citation: 105   highest-cited paper: VCC: A Practical System for Verifying Concurrent C (2009) at TPHOLs(Cited By 37)
Expertise: Model Checking / Hybrid Systems;

36 Nicholas Kidd
	New Star: 2.91; H-index: 7; Papers: 11; Citation: 165   highest-cited paper: Verifying Concurrent Message-Passing C Programs with Recursive Calls (2006) at TACAS(Cited By 43)
Expertise: Functional Programming / Binding-Time Analysis;   Model Checking / Hybrid Systems;   Security Views / New Denial;

37 Benny Godlin
	New Star: 2.89; H-index: 4; Papers: 10; Citation: 53   highest-cited paper: Computing Graph Polynomials on Graphs of Bounded Clique-Width (2006) at WG(Cited By 21)
Expertise: Model Checking / Hybrid Systems;   Approximation Algorithms / Perfect Graphs;

38 Yu-Fang Chen
	New Star: 2.85; H-index: 3; Papers: 6; Citation: 37   highest-cited paper: Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages (2008) at TACAS(Cited By 19)
Expertise: Model Checking / Hybrid Systems;

39 Zvonimir Rakamaric
	New Star: 2.82; H-index: 4; Papers: 9; Citation: 90   highest-cited paper: A Reachability Predicate for Analyzing Low-Level Software (2007) at TACAS(Cited By 46)
Expertise: Model Checking / Hybrid Systems;

40 Peter van Rossum (assistant professor, Faculty of Science University of Nijmegen)
	New Star: 2.76; H-index: 8; Papers: 17; Citation: 351   highest-cited paper: An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic (2005) at TACAS(Cited By 69) Homepage: http://www.cs.ru.nl/~petervr/
Expertise: Signature Schemes / Authenticated Key Exchange Secure;   Model Checking / Hybrid Systems;   Wireless Networks / Algorithmic Complexity;   Theorem Proving / General-Purpose Automated Reasoning;   Security Views / New Denial;

41 Jan Wen Voung
	New Star: 2.75; H-index: 2; Papers: 3; Citation: 35   highest-cited paper: RELAY: static race detection on millions of lines of code (2007) at ESEC/SIGSOFT FSE(Cited By 28)
Expertise: Model Checking / Hybrid Systems;

42 Laura Kovacs
	New Star: 2.73; H-index: 5; Papers: 10; Citation: 74   highest-cited paper: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover (2009) at FASE(Cited By 18)
Expertise: Theorem Proving / General-Purpose Automated Reasoning;   Model Checking / Hybrid Systems;

43 Jun Pang (Faculty of Sciences, Technology and Communication, University of Luxembourg, Luxembourg L-1359 )
	New Star: 2.72; H-index: 3; Papers: 5; Citation: 18   highest-cited paper: PAT: Towards Flexible Verification under Fairness (2009) at CAV(Cited By 28)
Expertise: Model Checking / Hybrid Systems;

44 Neha Rungta
	New Star: 2.71; H-index: 4; Papers: 9; Citation: 55   highest-cited paper: Generating Counter-Examples Through Randomized Guided Search (2007) at SPIN(Cited By 15)
Expertise: Model Checking / Hybrid Systems;

45 Susmit Jha
	New Star: 2.69; H-index: 2; Papers: 8; Citation: 14   highest-cited paper: Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic (2009) at CAV(Cited By 10)
Expertise: Computing Systems / Fault-Tolerant Real-Time;   Model Checking / Hybrid Systems;

46 Sylvain Halle
	New Star: 2.65; H-index: 5; Papers: 16; Citation: 58   highest-cited paper: Automated Validation of Service Configuration on Network Devices (2004) at MMNS(Cited By 12) Homepage: http://www.leduotang.com/sylvain/index-fr.php
Expertise: Neural Networks / Biometric Hand-Geometry Recognition;   Service management;   Model Checking / Hybrid Systems;

47 Arie Matsliah
	New Star: 2.62; H-index: 6; Papers: 11; Citation: 59   highest-cited paper: Testing Graph Isomorphism (2008) at SIAM J. Comput.(Cited By 15)
Expertise: Communication Complexity / Lower Bounds;   Model Checking / Hybrid Systems;

48 Santiago Zanella Beguelin
	New Star: 2.58; H-index: 2; Papers: 5; Citation: 27   highest-cited paper: Formal certification of code-based cryptographic proofs (2009) at POPL(Cited By 21)
Expertise: Model Checking / Hybrid Systems;   Functional Programming / Binding-Time Analysis;   Logic Programs / Algebraic Semantics;

49 Tayfun Elmas
	New Star: 2.57; H-index: 4; Papers: 10; Citation: 96   highest-cited paper: Goldilocks: a race and transaction-aware java runtime (2007) at PLDI(Cited By 37)
Expertise: Model Checking / Hybrid Systems;

50 Sven Schewe (The University of Liverpool Department of Computer Science)
	New Star: 2.54; H-index: 7; Papers: 19; Citation: 132   highest-cited paper: Solving Parity Games in Big Steps (2007) at FSTTCS(Cited By 30) Homepage: http://www.csc.liv.ac.uk/~sven/
Expertise: Logic Programs / Algebraic Semantics;   Model Checking / Hybrid Systems;