ONE - Authors

932

One Index

Tabuada, Paulo ^PhD 0000-0002-3417-0951

Control and Systems Engineering - University of California, Los Angeles (UCLA)

378 docs (1999 - 2024)
Constraint Handling , Nonlinear Systems , Cyber-physical system , Model Checking , Distributed Control

926

One Index

Zwaenepoel, Willy ^PhD 0000-0002-4182-6920

Computer Networks and Communications - William Marsh Rice University, Houston

276 docs (1983 - 2023)
Parallel Computing , Performance Optimization , Distributed Systems , Task Scheduling , Distributed shared memory

916

One Index

Vukolic, Marko ^PhD 0000-0002-9898-5383

Computer Networks and Communications - IBM Research - Zurich

117 docs (2004 - 2023)
Blockchain , Byzantine Fault Tolerance , Fault Tolerance , Replication (statistics) , Distributed Systems

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

910

One Index

Yang, Hongseok ^PhD 0000-0003-1502-2942

Artificial Intelligence - University of Oxford

221 docs (2000 - 2024)
Programming Language Semantics , Abstract Interpretation , Separation Logic , Heap (data structure) , Probabilistic Learning

907

One Index

Nir N. Shavit ^PhD 0000-0002-4552-2414

Computer Networks and Communications - Tel Aviv University (TAU), Ramat

261 docs (1986 - 2024)
Parallel Computing , Lock (firearm) , Multicore Architectures , Benchmarking , Software transactional memory

897

One Index

Vafeiadis, Viktor ^PhD 0000-0001-8436-0334

Computer Networks and Communications, Artificial Intelligence, Hardware and Architecture - Max Planck Institute for Software Systems

137 docs (2004 - 2024)
Memory model , x86 , Consistency , Model Checking , Multicore Architectures

892

One Index

Sergey, Ilya ^PhD 0000-0003-4250-5392

Artificial Intelligence - National University of Singapore

111 docs (2009 - 2024)
Blockchain , Model Checking , Smart Contracts , Programming Language Semantics , Heap (data structure)

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)

883

One Index

Aguilera, Marcos ^PhD 0000-0003-3489-2468

Computer Networks and Communications - Microsoft Corporation, Redmond

134 docs (1996 - 2024)
Distributed Systems , Distributed Storage , Parallel Computing , Failure Prediction , Consistency

881

One Index

Tschinkel, Yuri ^PhD 0000-0002-8310-7107

Geometry and Topology - New York University (NYU)

247 docs (1988 - 2024)
Equivariant map , Birational Geometry , Symplectic Geometry , Motivic Cohomology , Fano plane

879

One Index

Attiya, Hagit ^PhD 0000-0002-8017-6457

Computer Networks and Communications - Technion – Israel Institute of Technology

329 docs (1984 - 2024)
Transactional Memory , Consistency , Implementation , Parallel Computing , Distributed Systems

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

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

861

One Index

Sebastian, Burckhardt ^PhD

Computer Networks and Communications - Microsoft Corporation, Redmond

86 docs (2005 - 2022)
Parallel Computing , Consistency , Benchmarking , Multicore Architectures , Memory model

855

One Index

Musuvathi, Madanlal ^PhD 0000-0002-2482-7892

Computer Networks and Communications, Hardware and Architecture - Microsoft Corporation, Redmond

137 docs (2002 - 2024)
Parallel Computing , Performance Optimization , Memory model , Heterogeneous Computing , Multicore Architectures

854

One Index

Cadambe, Viveck ^PhD 0000-0001-6786-8785

Computer Networks and Communications - Pennsylvania State University

150 docs (2007 - 2024)
Regenerating Codes , Distributed data store , Erasure Coding , Erasure code , Network Coding

852

One Index

Urgaonkar, Bhuvan ^PhD 0000-0003-3495-6345

Computer Networks and Communications - Pennsylvania State University

155 docs (2000 - 2024)
Provisioning , Scalability , Cloud Computing , Caching , Distributed Storage

850

One Index

Petrank, Erez ^PhD 0000-0002-6353-956X

Computer Networks and Communications - Technion – Israel Institute of Technology

192 docs (1990 - 2024)
Lock (firearm) , Parallel Computing , Multicore Architectures , Heap (data structure) , Concurrent data structure

846

One Index

Jeannette Marie. Wing ^PhD

Artificial Intelligence - Carnegie Mellon University (CMU), Pittsburgh

262 docs (1970 - 2024)
Programming Language Semantics , Model Checking , Attack Graphs , Software Reliability Modeling , Data Science

843

One Index

Michels, Dominik ^PhD 0000-0002-1621-325X

- King Abdullah University of Science and Technology (KAUST), Thuwal

139 docs (2011 - 2024)
Simulations , Solver , Optimal Motion Planning , Robustness (evolution) , End-to-end principle

843

One Index

Cheltsov, Ivan ^PhD 0000-0002-6820-8073

- University of Edinburgh (ED)

307 docs (1996 - 2024)
Fano plane , Fano Manifolds , Birational Geometry , Degree (music) , Hypersurface

839

One Index

Parkinson, Matthew John ^PhD 0009-0004-3937-1260

Artificial Intelligence - Microsoft Research (United Kingdom)

88 docs (2003 - 2024)
Separation Logic , Model Checking , Temporal Logic , Parallel Computing , Programming Language Semantics

837

One Index

Tsigas, Philippas ^PhD 0000-0001-9635-9154

Computer Networks and Communications - Chalmers University of Technology

312 docs (1991 - 2024)
Parallel Computing , Multicore Architectures , Lock (firearm) , Concurrent data structure , Performance Optimization

836

One Index

Jagannathan, Suresh ^PhD 0000-0001-6871-2424

Computer Networks and Communications - Purdue University, West Lafayette

258 docs (1984 - 2024)
Parallel Computing , Multicore Architectures , Consistency , Programming Language Semantics , Performance Optimization

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

932 One Index	Tabuada, Paulo ^PhD 0000-0002-3417-0951 Control and Systems Engineering - University of California, Los Angeles (UCLA)	378 docs (1999 - 2024) Constraint Handling , Nonlinear Systems , Cyber-physical system , Model Checking , Distributed Control
926 One Index	Zwaenepoel, Willy ^PhD 0000-0002-4182-6920 Computer Networks and Communications - William Marsh Rice University, Houston	276 docs (1983 - 2023) Parallel Computing , Performance Optimization , Distributed Systems , Task Scheduling , Distributed shared memory
916 One Index	Vukolic, Marko ^PhD 0000-0002-9898-5383 Computer Networks and Communications - IBM Research - Zurich	117 docs (2004 - 2023) Blockchain , Byzantine Fault Tolerance , Fault Tolerance , Replication (statistics) , Distributed Systems
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
910 One Index	Yang, Hongseok ^PhD 0000-0003-1502-2942 Artificial Intelligence - University of Oxford	221 docs (2000 - 2024) Programming Language Semantics , Abstract Interpretation , Separation Logic , Heap (data structure) , Probabilistic Learning
907 One Index	Nir N. Shavit ^PhD 0000-0002-4552-2414 Computer Networks and Communications - Tel Aviv University (TAU), Ramat	261 docs (1986 - 2024) Parallel Computing , Lock (firearm) , Multicore Architectures , Benchmarking , Software transactional memory
897 One Index	Vafeiadis, Viktor ^PhD 0000-0001-8436-0334 Computer Networks and Communications, Artificial Intelligence, Hardware and Architecture - Max Planck Institute for Software Systems	137 docs (2004 - 2024) Memory model , x86 , Consistency , Model Checking , Multicore Architectures
892 One Index	Sergey, Ilya ^PhD 0000-0003-4250-5392 Artificial Intelligence - National University of Singapore	111 docs (2009 - 2024) Blockchain , Model Checking , Smart Contracts , Programming Language Semantics , Heap (data structure)
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)
883 One Index	Aguilera, Marcos ^PhD 0000-0003-3489-2468 Computer Networks and Communications - Microsoft Corporation, Redmond	134 docs (1996 - 2024) Distributed Systems , Distributed Storage , Parallel Computing , Failure Prediction , Consistency
881 One Index	Tschinkel, Yuri ^PhD 0000-0002-8310-7107 Geometry and Topology - New York University (NYU)	247 docs (1988 - 2024) Equivariant map , Birational Geometry , Symplectic Geometry , Motivic Cohomology , Fano plane
879 One Index	Attiya, Hagit ^PhD 0000-0002-8017-6457 Computer Networks and Communications - Technion – Israel Institute of Technology	329 docs (1984 - 2024) Transactional Memory , Consistency , Implementation , Parallel Computing , Distributed Systems
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
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
861 One Index	Sebastian, Burckhardt ^PhD Computer Networks and Communications - Microsoft Corporation, Redmond	86 docs (2005 - 2022) Parallel Computing , Consistency , Benchmarking , Multicore Architectures , Memory model
855 One Index	Musuvathi, Madanlal ^PhD 0000-0002-2482-7892 Computer Networks and Communications, Hardware and Architecture - Microsoft Corporation, Redmond	137 docs (2002 - 2024) Parallel Computing , Performance Optimization , Memory model , Heterogeneous Computing , Multicore Architectures
854 One Index	Cadambe, Viveck ^PhD 0000-0001-6786-8785 Computer Networks and Communications - Pennsylvania State University	150 docs (2007 - 2024) Regenerating Codes , Distributed data store , Erasure Coding , Erasure code , Network Coding
852 One Index	Urgaonkar, Bhuvan ^PhD 0000-0003-3495-6345 Computer Networks and Communications - Pennsylvania State University	155 docs (2000 - 2024) Provisioning , Scalability , Cloud Computing , Caching , Distributed Storage
850 One Index	Petrank, Erez ^PhD 0000-0002-6353-956X Computer Networks and Communications - Technion – Israel Institute of Technology	192 docs (1990 - 2024) Lock (firearm) , Parallel Computing , Multicore Architectures , Heap (data structure) , Concurrent data structure
846 One Index	Jeannette Marie. Wing ^PhD Artificial Intelligence - Carnegie Mellon University (CMU), Pittsburgh	262 docs (1970 - 2024) Programming Language Semantics , Model Checking , Attack Graphs , Software Reliability Modeling , Data Science
843 One Index	Michels, Dominik ^PhD 0000-0002-1621-325X - King Abdullah University of Science and Technology (KAUST), Thuwal	139 docs (2011 - 2024) Simulations , Solver , Optimal Motion Planning , Robustness (evolution) , End-to-end principle
843 One Index	Cheltsov, Ivan ^PhD 0000-0002-6820-8073 - University of Edinburgh (ED)	307 docs (1996 - 2024) Fano plane , Fano Manifolds , Birational Geometry , Degree (music) , Hypersurface
839 One Index	Parkinson, Matthew John ^PhD 0009-0004-3937-1260 Artificial Intelligence - Microsoft Research (United Kingdom)	88 docs (2003 - 2024) Separation Logic , Model Checking , Temporal Logic , Parallel Computing , Programming Language Semantics
837 One Index	Tsigas, Philippas ^PhD 0000-0001-9635-9154 Computer Networks and Communications - Chalmers University of Technology	312 docs (1991 - 2024) Parallel Computing , Multicore Architectures , Lock (firearm) , Concurrent data structure , Performance Optimization
836 One Index	Jagannathan, Suresh ^PhD 0000-0001-6871-2424 Computer Networks and Communications - Purdue University, West Lafayette	258 docs (1984 - 2024) Parallel Computing , Multicore Architectures , Consistency , Programming Language Semantics , Performance Optimization