Calculated based on number of publications stored in Pure and citations from Scopus
20012022

Research activity per year

If you made any changes in Pure these will be visible here soon.

Network

Amin Alipour

  • Oregon State University
  • University of Houston

External person

Rahul Gopinath

  • Oregon State University
  • Helmholtz Center for Information Security
  • Saarland University

External person

Carlos Jensen

  • Oregon State University

External person

Rajeev Joshi

  • Jet Propulsion Laboratory, California Institute of Technology

External person

Chaoqiang Zhang

  • Oregon State University

External person

Iftekhar Ahmed

  • Oregon State University
  • University of California at Irvine

External person

Josie Holmes

  • Pennsylvania State University
  • Pennsylvania State University
  • Northern Arizona University

External person

Gerard Holzmann

  • Jet Propulsion Laboratory, California Institute of Technology

External person

Gustavo Grieco

  • Trail of Bits
  • Trail of Bits
  • Trail of Bits

External person

Arpit Christi

  • Oregon State University
  • Weber State University

External person

E. Clarke

  • Carnegie Mellon University

External person

Yang Chen

  • University of Utah

External person

Klaus Havelund

  • Jet Propulsion Laboratory, California Institute of Technology
  • Laboratory for Reliable Software

External person

Weng Keen Wong

  • Oregon State University

External person

S. Chaki

  • Carnegie Mellon University
  • Jet Propulsion Laboratory, California Institute of Technology

External person

John Regehr

  • University of Utah

External person

Daniel Kroening

  • Carnegie Mellon University
  • Swiss Federal Institute of Technology Zurich

External person

Jervis Pinto

  • Oregon State University

External person

Darko Marinov

  • University of Illinois at Urbana-Champaign

External person

Eric Eide

  • University of Utah

External person

Willem Visser

  • Universities Space Research Association
  • NASA Ames Research Center

External person

O. Strichman

  • Technion
  • Carnegie Mellon University
  • Technion
  • Technion-Israel Institute of Technology

External person

Margaret Smith

  • Software System Engineering
  • Jet Propulsion Laboratory, California Institute of Technology

External person

Josselin Feist

  • Trail of Bits
  • Trail of Bits

External person

Mihalis Yannakakis

  • Columbia University
  • Avaya Inc

External person

Martin Erwig

  • Oregon State University

External person

Margaret Burnett

  • Oregon State University

External person

Howard Barringer

  • University of Manchester
  • School of Computer Science

External person

Todd Kulesza

  • Oregon State University

External person

Amber Shinsel

  • Oregon State University

External person

Xiaoli Fern

  • Oregon State University

External person

Simone Stumpf

  • City, University of London

External person

Doron Peled

  • Bar-Ilan University
  • University of Texas at Austin

External person

Forrest Bice

  • Oregon State University

External person

Caius Brindescu

  • Oregon State University

External person

Goutamkumar Tulajappa Kalburgi

  • Northern Arizona University

External person

Stefan Leue

  • University of Konstanz

External person

Pooria Azimi

  • Oregon State University

External person

Kevin Kellar

  • Crescent Valley High School
  • Oregon State University

External person

Rohan Sharma

  • University of Illinois at Urbana-Champaign

External person

Tim Bauer

  • Oregon State University

External person

Alan Fern

  • Oregon State University

External person

Somesh Jha

  • University of Wisconsin

External person

August Shi

  • Northern Arizona University
  • University of Illinois at Urbana-Champaign

External person

Ru Gang Xu

  • University of California at Los Angeles

External person

Shubhomoy Das

  • Oregon State University

External person

Ali Aburas

  • Oregon State University

External person

Milos Gligoric

  • University of Illinois at Urbana-Champaign

External person

Pranjal Mittal

  • Oregon State University

External person

Helmut Veith

  • Technical University of Munich
  • Vienna University of Technology

External person

Kevin McIntosh

  • Oregon State University

External person

Rijnard Van Tonder

  • Sourcegraph
  • Inc.

External person

Oleg Sokolsky

  • University of Pennsylvania

External person

Louise Travé-Massuyès

  • Laboratoire d'analyse et d'architectures des systèmes

External person

Felipe Manzano

  • Trail of Bits

External person

Rance Cleaveland

  • SUNY Stony Brook

External person

J. Ouaknine

  • Carnegie Mellon University

External person

Akhila Chowdary Kolla

  • Northern Arizona University

External person

Davina Zamanzadeh

  • University of California at Los Angeles

External person

Duc Le

  • Oregon State University

External person

Miroslav Gavrilov

  • California State University Northridge

External person

Chao Wang

  • Virginia Polytechnic Institute and State University

External person

Görschwin Fey

  • University of Bremen

External person

David Rydeheard

  • University of Manchester

External person

Nicolas Blanc

  • Swiss Federal Institute of Technology Zurich

External person

M. Falcão

  • Universidade Federal do Amazonas

External person

Melissa Weston

  • Western University

External person

Michael Colburn

  • Trail of Bits

External person

Yuanli Pei

  • Oregon State University

External person

Eric Hennenfent

  • Trail of Bits

External person

Camden Lopez

  • Oregon State University

External person

Doyeon Kim

  • LINE Plus Corporation

External person

J. Kanda

  • Universidade Federal do Amazonas

External person

Claire Le Goues

  • Carnegie Mellon University

External person

Peter Goodman

  • Trail of Bits

External person

Eric Fabre

  • Institut national de recherche en informatique et en automatique

External person

Kyle Dewey

  • California State University Northridge

External person

James O’Brien

  • Macquarie University

External person

E. Mota

  • Universidade Federal do Amazonas

External person

Shalini Shamasunder

  • Oregon State University

External person

Will Song

  • Trail of Bits

External person

Dejan Nickovic

  • Austrian Institute of Technology

External person

Joseph Halpern

  • Cornell University

External person

Mark Mossberg

  • Trail of Bits

External person

Andy Podgurski

  • Case Western Reserve University

External person

Trent Brunson

  • Trail of Bits

External person

K. Yorav

  • Carnegie Mellon University

External person

Artem Dinaburg

  • Trail of Bits

External person

He Zhang

  • Oregon State University

External person

Salem Benferhat

  • CRIL Université D'Artois

External person

Matthew Lyle Olson

  • Oregon State University

External person

Kush Jain

  • Carnegie Mellon University

External person

W. Oliveira

  • Universidade Federal do Amazonas

External person

Claire Le Goues

  • Carnegie Mellon University

External person

Gregor Gössler

  • Institut national de recherche en informatique et en automatique

External person

Hana Chockler

  • King's College London

External person

Georg Weissenbacher

  • Vienna University of Technology

External person

Sylvain Hallé

  • Université du Québec à Chicoutimi

External person

Ben Hardekopf

  • University of California at Santa Barbara

External person

Artur Cygan

  • Trail of Bits

External person

Lingming Zhang

  • Northern Arizona University

External person

Jean Bernard Stefani

  • Institut national de recherche en informatique et en automatique

External person

Flavio Lerda

  • Carnegie Mellon University

External person

William Curran

  • Oregon State University

External person