ONE - Authors

916

One Index

Yahav, Eran ^PhD 0000-0003-4305-6314

Artificial Intelligence - Technion – Israel Institute of Technology

212 docs (1996 - 2023)
Source Code Analysis , Code (set theory) , Software Defect Prediction , Model Checking , Code Clone Detection

912

One Index

Sen, Koushik ^PhD 0000-0002-4539-9188

Software - University of California (UC), Berkeley

256 docs (2003 - 2024)
Automated Testing , Concolic testing , Model Checking , Code (set theory) , Fuzz testing

906

One Index

Awerbuch, Baruch ^PhD

Computer Networks and Communications - Johns Hopkins University

253 docs (1982 - 2014)
Online Algorithms , Gathering Algorithms , Routing Protocols , Distributed Systems , Networks on Chip

903

One Index

Ackema, Peter ^PhD

Language and Linguistics - University of Edinburgh (ED)

103 docs (1991 - 2020)
Syntax , Language Typology , Language Modeling , Agreement , Semantics

898

One Index

Edmund Melson Clarke ^PhD

Computational Theory and Mathematics - Carnegie Mellon University (CMU), Pittsburgh

283 docs (1977 - 2021)
Model Checking , Symbolic Model Checker , Safety Verification , Runtime Verification , Abstraction

894

One Index

Koenraad M. R. Audenaert ^PhD

- Royal Holloway University of London (RHUL), Egham

232 docs (1993 - 2024)
Self-Compacting Concrete , Sustainable Concrete , Penetration (warfare) , Fiber Reinforced Concrete , Concrete

891

One Index

Herlihy, Maurice ^PhD 0000-0002-3059-8926

Computer Networks and Communications - Brown University, Providence

468 docs (1980 - 2024)
Parallel Computing , Multicore Architectures , Transactional Memory , Distributed Systems , Lock (firearm)

891

One Index

Ansari, Mohammed Yusuf ^PhD 0000-0001-6123-3893

- Hamad Medical Corporation

16 docs (2022 - 2024)
Image Segmentation , Sørensen–Dice coefficient , Pyramid (geometry) , MRI Segmentation , Dice

887

One Index

Andr x E Schiper ^PhD

Computer Networks and Communications - École Polytechnique Fédérale de Lausanne (EPFL)

263 docs (1984 - 2021)
Fault Tolerance , Distributed Systems , Failure Prediction , Consistency , Replication

880

One Index

Vitek, Jan ^PhD 0000-0003-4052-3458

Hardware and Architecture, Artificial Intelligence, Computer Networks and Communications - Northeastern University (NU), Boston

346 docs (1961 - 2024)
Code (set theory) , Performance Optimization , Programming Language Semantics , Model Checking , Parallel Computing

878

One Index

Bouajjani, Ahmed ^PhD 0000-0002-2060-3592

Computational Theory and Mathematics - University of Paris

258 docs (1989 - 2024)
Model Checking , Reachability problem , Undecidable problem , Symbolic Model Checker , Runtime Verification

877

One Index

Mary Jean Harrold ^PhD

Software - Georgia Institute of Technology (GATEC), Atlanta

227 docs (1988 - 2018)
Software Defect Prediction , Software Reliability Modeling , Regression testing , Testing-Effort Dependent Models , Test suite

875

One Index

Bhargava, Bharat ^PhD 0000-0003-3803-8672

Computer Networks and Communications - Purdue University, West Lafayette

484 docs (1971 - 2024)
Distributed Systems , Mobile Ad Hoc Networks , Column-oriented Database Systems , Serializability , Distributed database

874

One Index

Alglave, Jade ^PhD

Hardware and Architecture, Computer Networks and Communications - University College London

62 docs (2009 - 2024)
Multicore Architectures , Benchmarking , Parallel Computing , Performance Optimization , x86

873

One Index

Susan Deborah Rothstein ^PhD

Language and Linguistics - Bar-Ilan University

119 docs (1984 - 2022)
Predicate (mathematical logic) , Semantics , Hebrew , Plural , Denotation (semiotics)

872

One Index

Qadeer, Shaz ^PhD

Artificial Intelligence, Hardware and Architecture - Microsoft Corporation, Redmond

192 docs (1996 - 2023)
Model Checking , Runtime Verification , Parallel Computing , Benchmarking , Symbolic Model Checker

872

One Index

Toueg, Sam ^PhD

Computer Networks and Communications - University of Toronto

167 docs (1979 - 2024)
Failure Prediction , Fault Tolerance , Distributed Systems , Consistency , Parallel Computing

871

One Index

Leslie B. Lamport ^PhD

Computational Theory and Mathematics, Artificial Intelligence, Computer Networks and Communications - Microsoft Corporation, Redmond

286 docs (1966 - 2022)
Model Checking , Temporal Logic , Distributed Systems , Programming Language Semantics , Parallel Computing

870

One Index

Justin Douglas Tygar ^PhD

Artificial Intelligence - University of California (UC), Berkeley

163 docs (1985 - 2019)
Security Analysis , Authentication , Intrusion Detection , Spam Detection , Adversarial Examples

870

One Index

Lucia, Brandon ^PhD 0000-0003-4130-1099

Computer Networks and Communications - Carnegie Mellon University (CMU), Pittsburgh

122 docs (2008 - 2024)
Wireless Energy Harvesting , RF Energy Harvesting , Performance Optimization , Parallel Computing , Multicore Architectures

869

One Index

Iftode, Liviu ^PhD

Computer Networks and Communications - Rutgers, the State University of New Jersey-New Brunswick Campus

188 docs (1995 - 2017)
Mobile Ad Hoc Networks , Mobility Models , Parallel Computing , Virtualization , Multicore Architectures

868

One Index

Matthew C. B. Hennessy ^PhD

Artificial Intelligence - University of Sussex

214 docs (1976 - 2019)
Bisimulation , Process calculus , Temporal Logic , Preorder , Probabilistic Systems

867

One Index

Gramoli, Vincent ^PhD 0000-0001-5632-8572

Computer Networks and Communications - University of Sydney

244 docs (2005 - 2024)
Blockchain , Parallel Computing , Byzantine Fault Tolerance , Transactional Memory , Distributed Systems

866

One Index

Long, Fan ^PhD 0000-0001-7973-1188

Information Systems - University of Toronto

58 docs (2011 - 2024)
Blockchain , Benchmark (surveying) , Smart Contracts , Code (set theory) , Software Defect Prediction

864

One Index

Pedone, Fernando ^PhD 0000-0002-2256-0901

Computer Networks and Communications - Università della Svizzera Italiana (USI), Lugano

212 docs (1998 - 2024)
Replication (statistics) , Replication , Parallel Computing , Distributed Systems , Fault Tolerance

Author's search

Search query

Career Stage

Gender

Country

Sort by

"Together, we build a more collaborative and fair future for the global scientific community."

authors

916 One Index	Yahav, Eran ^PhD 0000-0003-4305-6314 Artificial Intelligence - Technion – Israel Institute of Technology	212 docs (1996 - 2023) Source Code Analysis , Code (set theory) , Software Defect Prediction , Model Checking , Code Clone Detection
912 One Index	Sen, Koushik ^PhD 0000-0002-4539-9188 Software - University of California (UC), Berkeley	256 docs (2003 - 2024) Automated Testing , Concolic testing , Model Checking , Code (set theory) , Fuzz testing
906 One Index	Awerbuch, Baruch ^PhD Computer Networks and Communications - Johns Hopkins University	253 docs (1982 - 2014) Online Algorithms , Gathering Algorithms , Routing Protocols , Distributed Systems , Networks on Chip
903 One Index	Ackema, Peter ^PhD Language and Linguistics - University of Edinburgh (ED)	103 docs (1991 - 2020) Syntax , Language Typology , Language Modeling , Agreement , Semantics
898 One Index	Edmund Melson Clarke ^PhD Computational Theory and Mathematics - Carnegie Mellon University (CMU), Pittsburgh	283 docs (1977 - 2021) Model Checking , Symbolic Model Checker , Safety Verification , Runtime Verification , Abstraction
894 One Index	Koenraad M. R. Audenaert ^PhD - Royal Holloway University of London (RHUL), Egham	232 docs (1993 - 2024) Self-Compacting Concrete , Sustainable Concrete , Penetration (warfare) , Fiber Reinforced Concrete , Concrete
891 One Index	Herlihy, Maurice ^PhD 0000-0002-3059-8926 Computer Networks and Communications - Brown University, Providence	468 docs (1980 - 2024) Parallel Computing , Multicore Architectures , Transactional Memory , Distributed Systems , Lock (firearm)
891 One Index	Ansari, Mohammed Yusuf ^PhD 0000-0001-6123-3893 - Hamad Medical Corporation	16 docs (2022 - 2024) Image Segmentation , Sørensen–Dice coefficient , Pyramid (geometry) , MRI Segmentation , Dice
887 One Index	Andr x E Schiper ^PhD Computer Networks and Communications - École Polytechnique Fédérale de Lausanne (EPFL)	263 docs (1984 - 2021) Fault Tolerance , Distributed Systems , Failure Prediction , Consistency , Replication
880 One Index	Vitek, Jan ^PhD 0000-0003-4052-3458 Hardware and Architecture, Artificial Intelligence, Computer Networks and Communications - Northeastern University (NU), Boston	346 docs (1961 - 2024) Code (set theory) , Performance Optimization , Programming Language Semantics , Model Checking , Parallel Computing
878 One Index	Bouajjani, Ahmed ^PhD 0000-0002-2060-3592 Computational Theory and Mathematics - University of Paris	258 docs (1989 - 2024) Model Checking , Reachability problem , Undecidable problem , Symbolic Model Checker , Runtime Verification
877 One Index	Mary Jean Harrold ^PhD Software - Georgia Institute of Technology (GATEC), Atlanta	227 docs (1988 - 2018) Software Defect Prediction , Software Reliability Modeling , Regression testing , Testing-Effort Dependent Models , Test suite
875 One Index	Bhargava, Bharat ^PhD 0000-0003-3803-8672 Computer Networks and Communications - Purdue University, West Lafayette	484 docs (1971 - 2024) Distributed Systems , Mobile Ad Hoc Networks , Column-oriented Database Systems , Serializability , Distributed database
874 One Index	Alglave, Jade ^PhD Hardware and Architecture, Computer Networks and Communications - University College London	62 docs (2009 - 2024) Multicore Architectures , Benchmarking , Parallel Computing , Performance Optimization , x86
873 One Index	Susan Deborah Rothstein ^PhD Language and Linguistics - Bar-Ilan University	119 docs (1984 - 2022) Predicate (mathematical logic) , Semantics , Hebrew , Plural , Denotation (semiotics)
872 One Index	Qadeer, Shaz ^PhD Artificial Intelligence, Hardware and Architecture - Microsoft Corporation, Redmond	192 docs (1996 - 2023) Model Checking , Runtime Verification , Parallel Computing , Benchmarking , Symbolic Model Checker
872 One Index	Toueg, Sam ^PhD Computer Networks and Communications - University of Toronto	167 docs (1979 - 2024) Failure Prediction , Fault Tolerance , Distributed Systems , Consistency , Parallel Computing
871 One Index	Leslie B. Lamport ^PhD Computational Theory and Mathematics, Artificial Intelligence, Computer Networks and Communications - Microsoft Corporation, Redmond	286 docs (1966 - 2022) Model Checking , Temporal Logic , Distributed Systems , Programming Language Semantics , Parallel Computing
870 One Index	Justin Douglas Tygar ^PhD Artificial Intelligence - University of California (UC), Berkeley	163 docs (1985 - 2019) Security Analysis , Authentication , Intrusion Detection , Spam Detection , Adversarial Examples
870 One Index	Lucia, Brandon ^PhD 0000-0003-4130-1099 Computer Networks and Communications - Carnegie Mellon University (CMU), Pittsburgh	122 docs (2008 - 2024) Wireless Energy Harvesting , RF Energy Harvesting , Performance Optimization , Parallel Computing , Multicore Architectures
869 One Index	Iftode, Liviu ^PhD Computer Networks and Communications - Rutgers, the State University of New Jersey-New Brunswick Campus	188 docs (1995 - 2017) Mobile Ad Hoc Networks , Mobility Models , Parallel Computing , Virtualization , Multicore Architectures
868 One Index	Matthew C. B. Hennessy ^PhD Artificial Intelligence - University of Sussex	214 docs (1976 - 2019) Bisimulation , Process calculus , Temporal Logic , Preorder , Probabilistic Systems
867 One Index	Gramoli, Vincent ^PhD 0000-0001-5632-8572 Computer Networks and Communications - University of Sydney	244 docs (2005 - 2024) Blockchain , Parallel Computing , Byzantine Fault Tolerance , Transactional Memory , Distributed Systems
866 One Index	Long, Fan ^PhD 0000-0001-7973-1188 Information Systems - University of Toronto	58 docs (2011 - 2024) Blockchain , Benchmark (surveying) , Smart Contracts , Code (set theory) , Software Defect Prediction
864 One Index	Pedone, Fernando ^PhD 0000-0002-2256-0901 Computer Networks and Communications - Università della Svizzera Italiana (USI), Lugano	212 docs (1998 - 2024) Replication (statistics) , Replication , Parallel Computing , Distributed Systems , Fault Tolerance