☰
Similar researchers to Jose Meseguer: Advanced Search
Name Institution Area Added by Date  
Martin Abadi (Info) UC Santa Cruz Computer Science pq 2016‑03‑28 Sim(0.78)
David Harel (Info) Weizmann Institute Computer Science pq 2016‑03‑24 Sim(0.78)
Amir Pnueli (Info) Weizmann Institute Mathematics, Computer Science pq 2016‑03‑24 Sim(0.78)
Dirk Janssens (Info) Universitaire Instelling Antwerpen (Belgium) Computer Science pq 2016‑03‑23 Sim(0.78)
Rajeev Alur (Info) Penn Hardware and Software Systems: Real-Time, Embedded and Cyber-Physical Systems, Theory: Algorithms and Complexity david 2016‑01‑08 Sim(0.78)
George F. Luger (Info) University of New Mexico, Albuquerque (Neurotree) mdt 2016‑01‑23 Sim(0.78)
Riccardo Pucella (Info) Cornell Computer Science pq 2016‑03‑28 Sim(0.77)
Peter Brooke (Info) Macquarie University (Physics Tree) barrycsanders 2015‑12‑04 Sim(0.77)
Haim Gaifman (Info) Columbia (Philosophy Tree) Logic, Foundations of Probability; Rational Choice, Philosophy of Mathematics, Philosophy of Language, Frege, Russell, Wittgenstein. david 2016‑01‑10 Sim(0.77)
Bharat Jayaraman (Info) SUNY Buffalo Computer Science pq 2016‑03‑24 Sim(0.77)
Joseph A. Goguen (Info) UCSD Computer Science pq 2016‑03‑23 Sim(0.77)
Hillel Kugler (Info) Weizmann Institute Mathematics, Computer Science pq 2016‑03‑24 Sim(0.77)
Mourad Debbabi (Info) Universite Laval (Canada) Computer Science pq 2016‑03‑24 Sim(0.77)
Mohamed Mejri (Info) Universite Laval (Canada) Computer Science pq 2016‑03‑26 Sim(0.76)
Konrad Slind (Info) University of Utah Computer Science pq 2016‑03‑24 Sim(0.76)
Sibylle Schupp (Info) RPI Computer Science pq 2016‑03‑24 Sim(0.76)
Marc Frappier (Info) Université de Sherbrooke Computer Science pq 2016‑03‑24 Sim(0.76)
Mieczyslaw M. Kokar (Info) Northeastern University (E-Tree) Computer Engineering, Artificial Intelligence pq 2016‑03‑28 Sim(0.76)
Vaughan Pratt (Info) Stanford david 2016‑01‑09 Sim(0.76)
C. R. Ramakrishnan (Info) SUNY Stony Brook Logic Programming, Programming Languages, Verification. david 2016‑01‑11 Sim(0.75)
Moshe Y. Vardi (Info) Rice University (MathTree) Computer Science, Computer Engineering, Applied Mathematics pq 2016‑04‑05 Sim(0.75)
Luigi Logrippo (Info) University of Ottawa Computer Science pq 2016‑03‑24 Sim(0.75)
Timothy C. Lethbridge (Info) University of Ottawa Computer Science pq 2016‑03‑24 Sim(0.75)
Victor Vianu (Info) UCSD Mathematics, Computer Science pq 2016‑03‑24 Sim(0.75)
Mark Edward Johnson (Info) Macquarie University (Neurotree) Language Sciences jandh 2015‑03‑20 Sim(0.75)
Sotiene Tahar (Info) Concordia Electronics and Electrical Engineering, Computer Science pq 2016‑03‑24 Sim(0.75)
Zohar Manna (Info) Stanford (Philosophy Tree) Computer Science, Mathematics, Philosophy pq 2016‑03‑12 Sim(0.75)
Anil Nerode (Info) Cornell (MathTree) Mathematics pq 2016‑01‑27 Sim(0.75)
Michael V. Mannino (Info) University of Colorado, Denver Information Technology, Accounting Business Administration pq 2016‑04‑05 Sim(0.75)
Ali Mili (Info) West Virginia University Computer Science pq 2016‑03‑23 Sim(0.75)
Uday S. Reddy (Info) UIUC Computer Science pq 2016‑03‑23 Sim(0.75)
Chitta Baral (Info) Arizona State (Robotree) Computer Science, Logic, Robotics Engineering pq 2016‑02‑05 Sim(0.75)
J R. Cordy (Info) Queen's University, Canada (MathTree) Computer Science, Mathematics pq 2016‑03‑12 Sim(0.75)
Scott Smolka (Info) SUNY Stony Brook Model Checking, Semantics of Concurrency, CASE Tools for Safety-Critical Systems, Distributed Languages and Algorithms. david 2016‑01‑11 Sim(0.75)
James Riely (Info) DePaul University Computer Science pq 2016‑03‑28 Sim(0.75)
Pieter Van Gorp (Info) Universiteit Antwerpen (Belgium) Computer Science pq 2016‑03‑27 Sim(0.75)
Brigitte Pientka (Info) Carnegie Mellon (Robotree) Computer Science, Robotics pq 2016‑01‑21 Sim(0.75)
Sandeep K. Neema (Info) Vanderbilt Electronics and Electrical Engineering, Computer Science, System Science Engineering pq 2016‑03‑25 Sim(0.75)
Clarence A. Ellis (Info) CU Boulder Computer Science pq 2016‑03‑23 Sim(0.75)
Martin Erwig (Info) Oregon State Computer Science pq 2016‑04‑18 Sim(0.75)
Yannis Smaragdakis (Info) Georgia Tech, University of Oregon, U Mass Amherst, University of Athens Computer Science pq 2016‑03‑28 Sim(0.75)
Frank Pfenning (Info) Carnegie Mellon (Robotree) Computer Science, Robotics pq 2016‑01‑20 Sim(0.75)
Shuvendu K. Lahiri (Info) Carnegie Mellon Computer Science, Electronics and Electrical Engineering pq 2016‑03‑25 Sim(0.74)
Michael Kifer (Info) SUNY Stony Brook Declarative Languages for Data and Knowledge Manipulation, The Semantic Web, Integration of Object-oriented and Deductive Paradigms, Object-oriented Databases david 2016‑01‑11 Sim(0.74)
John M. Hatcliff (Info) Kansas State University Computer Science pq 2016‑03‑23 Sim(0.74)
Enrico Pontelli (Info) New Mexico State Computer Science pq 2016‑03‑29 Sim(0.74)
Mitchell Wand (Info) Northeastern University Computer Science pq 2016‑03‑26 Sim(0.74)
Neil Immerman (Info) U Mass Amherst Computer Science pq 2016‑03‑23 Sim(0.74)
Gabor Karsai (Info) Vanderbilt Electronics and Electrical Engineering, Computer Science pq 2016‑03‑29 Sim(0.74)
Gabor Karsai (Info) Vanderbilt Electronics and Electrical Engineering, Computer Science pq 2016‑03‑29 Sim(0.74)
Sign in to add a new person