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

911

One Index

Vaandrager, Frits ^PhD 0000-0003-3955-1910

Computational Theory and Mathematics - Radboud University Nijmegen (RU)

237 docs (1986 - 2024)
Model Checking , Temporal Logic , Timed automaton , Bisimulation , Synchronizing Automata

905

One Index

Gordon D. Plotkin ^PhD

- University of Edinburgh (ED)

239 docs (1972 - 2024)
Nonmonotonic Reasoning , Programming Language Semantics , Monad (category theory) , Temporal Logic , Abstract Interpretation

905

One Index

Precup, Doina ^PhD

Artificial Intelligence - McGill University, Montreal

534 docs (1996 - 2024)
Reinforcement Learning , Deep Learning , Representation (politics) , Semi-Supervised Learning , Value (mathematics)

901

One Index

van der Schaft, Arjan ^PhD 0000-0002-2383-9234

Control and Systems Engineering - University of Groningen (RUG)

870 docs (1981 - 2024)
Hamiltonian (control theory) , Nonlinear Systems , Hamiltonian Systems , Passivity , Passivity-Based Control

900

One Index

Baier, Christel ^PhD 0000-0002-5321-9343

Computational Theory and Mathematics - Dresden University of Technology

348 docs (1991 - 2024)
Probabilistic Systems , Model Checking , Temporal Logic , Symbolic Model Checker , Nondeterministic algorithm

897

One Index

Thompson, Simon ^PhD 0000-0002-5274-7814

Cardiology and Cardiovascular Medicine, Pulmonary and Respiratory Medicine - University of Cambridge UK

361 docs (1874 - 2024)
Aneurysm Screening , Aneurysm Rupture , Cardiovascular Evaluation , Cost-effectiveness Analysis , Endovascular aneurysm repair

895

One Index

Cardelli, Luca ^PhD 0000-0002-8705-8488

Molecular Biology, Artificial Intelligence - University of Oxford

359 docs (1982 - 2024)
Biochemical Modeling , Subtyping , Type Inference , Model Checking , Systems Biology

894

One Index

Balle, Borja ^PhD 0009-0003-8726-2803

Artificial Intelligence - DeepMind (United Kingdom)

126 docs (2006 - 2024)
Differential Privacy , Privacy-Preserving Computation , Privacy Preservation , Semi-Supervised Learning , Location Privacy

890

One Index

Shamsizadeh, Morteza ^PhD 0000-0002-8153-5482

Computational Theory and Mathematics, General Health Professions - Hamedan University of Medical Sciences

152 docs (2013 - 2024)
Mathematical Fuzzy Logic , Fuzzy Logic , Global health , Interval Type-2 Fuzzy Logic , Automata Theory

887

One Index

Stoelinga, Marielle ^PhD 0000-0001-6793-8165

Software - University of Twente (UTWENTE), Enschede

250 docs (1998 - 2024)
Software Reliability Modeling , Testing-Effort Dependent Models , Fault Detection and Correction , Model Checking , Probabilistic Systems

882

One Index

Xiang, Weiming ^PhD 0000-0001-9065-8428

Control and Systems Engineering - Southwest Jiaotong University (SWJTU), Chengdu

158 docs (2004 - 2024)
Switched Systems , Stability Analysis , Dwell time , Nonlinear Systems , Time-Delay Systems

881

One Index

Zdancewic, Steve ^PhD 0000-0002-3516-1512

Artificial Intelligence - University of Pennsylvania (UPENN)

171 docs (1999 - 2024)
Programming Language Semantics , Information flow , Security Policies , Memory safety , Type Inference

880

One Index

Steffen, Bernhard ^PhD 0000-0001-9619-1558

Artificial Intelligence - Technical University of Dortmund

618 docs (1985 - 2024)
Model Checking , Active Learning , Runtime Verification , Automated Testing , Service-Oriented Computing

880

One Index

Zamani, Majid ^PhD 0000-0001-6608-3708

Computational Theory and Mathematics - University of Colorado, Boulder

364 docs (2006 - 2024)
Abstraction , Nonlinear Systems , Constraint Handling , Probabilistic Systems , Stability Analysis

879

One Index

Majumdar, Rupak ^PhD 0000-0003-2136-0542

Computational Theory and Mathematics - Max Planck Institute for Software Systems

496 docs (1996 - 2024)
Model Checking , Abstraction , Runtime Verification , Temporal Logic , Probabilistic Systems

878

One Index

Abramsky, Samson ^PhD 0000-0003-3921-6637

- University of Oxford

357 docs (1982 - 2024)
Description Logics , Kochen–Specker theorem , Temporal Logic , Programming Language Semantics , Quantum Interpretations

876

One Index

Janowski, Tomasz ^PhD 0000-0001-8950-5782

Political Science and International Relations - Gdansk University of Technology

175 docs (1993 - 2024)
E-Government , Information Technology Governance , Governance , Digital government , ICTs

874

One Index

Pierce, Benjamin ^PhD 0000-0001-7839-1636

Artificial Intelligence - University of Pennsylvania (UPENN)

345 docs (1931 - 2024)
Subtyping , Programming Language Semantics , Type Inference , Model Checking , Soundness

870

One Index

Pappas, George ^PhD 0000-0001-9081-0637

Computer Networks and Communications, Artificial Intelligence, Control and Systems Engineering - University of Pennsylvania (UPENN)

957 docs (1957 - 2024)
Distributed Optimization , Robustness (evolution) , Temporal Logic , Optimal Motion Planning , Constraint Handling

869

One Index

Zakharyaschev, Michael ^PhD 0000-0002-2210-5183

Artificial Intelligence - Birkbeck (BBK), Bloomsbury

313 docs (1987 - 2024)
Description Logics , Modal Logics , Temporal Logic , Nonmonotonic Reasoning , Conjunctive query

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

866

One Index

Lafortune, Stephane ^PhD 0000-0002-7526-6642

- University of Michigan (UM), Ann Arbor

452 docs (1982 - 2024)
Discrete-Event Systems , Supervisory Control , Supervisor , Diagnosability Analysis , Observability

865

One Index

Abate, Alessandro ^PhD 0000-0002-5627-9093

Computational Theory and Mathematics - University of Oxford

424 docs (2004 - 2024)
Model Checking , Probabilistic Systems , Abstraction , Temporal Logic , Constraint Handling

864

One Index

de Alfaro, Luca ^PhD 0000-0003-3856-4576

Artificial Intelligence - University of California, Santa Cruz (UCSC)

187 docs (1994 - 2024)
Model Checking , Probabilistic Systems , Crowdsourcing , Temporal Logic , Interface (matter)

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
911 One Index	Vaandrager, Frits ^PhD 0000-0003-3955-1910 Computational Theory and Mathematics - Radboud University Nijmegen (RU)	237 docs (1986 - 2024) Model Checking , Temporal Logic , Timed automaton , Bisimulation , Synchronizing Automata
905 One Index	Gordon D. Plotkin ^PhD - University of Edinburgh (ED)	239 docs (1972 - 2024) Nonmonotonic Reasoning , Programming Language Semantics , Monad (category theory) , Temporal Logic , Abstract Interpretation
905 One Index	Precup, Doina ^PhD Artificial Intelligence - McGill University, Montreal	534 docs (1996 - 2024) Reinforcement Learning , Deep Learning , Representation (politics) , Semi-Supervised Learning , Value (mathematics)
901 One Index	van der Schaft, Arjan ^PhD 0000-0002-2383-9234 Control and Systems Engineering - University of Groningen (RUG)	870 docs (1981 - 2024) Hamiltonian (control theory) , Nonlinear Systems , Hamiltonian Systems , Passivity , Passivity-Based Control
900 One Index	Baier, Christel ^PhD 0000-0002-5321-9343 Computational Theory and Mathematics - Dresden University of Technology	348 docs (1991 - 2024) Probabilistic Systems , Model Checking , Temporal Logic , Symbolic Model Checker , Nondeterministic algorithm
897 One Index	Thompson, Simon ^PhD 0000-0002-5274-7814 Cardiology and Cardiovascular Medicine, Pulmonary and Respiratory Medicine - University of Cambridge UK	361 docs (1874 - 2024) Aneurysm Screening , Aneurysm Rupture , Cardiovascular Evaluation , Cost-effectiveness Analysis , Endovascular aneurysm repair
895 One Index	Cardelli, Luca ^PhD 0000-0002-8705-8488 Molecular Biology, Artificial Intelligence - University of Oxford	359 docs (1982 - 2024) Biochemical Modeling , Subtyping , Type Inference , Model Checking , Systems Biology
894 One Index	Balle, Borja ^PhD 0009-0003-8726-2803 Artificial Intelligence - DeepMind (United Kingdom)	126 docs (2006 - 2024) Differential Privacy , Privacy-Preserving Computation , Privacy Preservation , Semi-Supervised Learning , Location Privacy
890 One Index	Shamsizadeh, Morteza ^PhD 0000-0002-8153-5482 Computational Theory and Mathematics, General Health Professions - Hamedan University of Medical Sciences	152 docs (2013 - 2024) Mathematical Fuzzy Logic , Fuzzy Logic , Global health , Interval Type-2 Fuzzy Logic , Automata Theory
887 One Index	Stoelinga, Marielle ^PhD 0000-0001-6793-8165 Software - University of Twente (UTWENTE), Enschede	250 docs (1998 - 2024) Software Reliability Modeling , Testing-Effort Dependent Models , Fault Detection and Correction , Model Checking , Probabilistic Systems
882 One Index	Xiang, Weiming ^PhD 0000-0001-9065-8428 Control and Systems Engineering - Southwest Jiaotong University (SWJTU), Chengdu	158 docs (2004 - 2024) Switched Systems , Stability Analysis , Dwell time , Nonlinear Systems , Time-Delay Systems
881 One Index	Zdancewic, Steve ^PhD 0000-0002-3516-1512 Artificial Intelligence - University of Pennsylvania (UPENN)	171 docs (1999 - 2024) Programming Language Semantics , Information flow , Security Policies , Memory safety , Type Inference
880 One Index	Steffen, Bernhard ^PhD 0000-0001-9619-1558 Artificial Intelligence - Technical University of Dortmund	618 docs (1985 - 2024) Model Checking , Active Learning , Runtime Verification , Automated Testing , Service-Oriented Computing
880 One Index	Zamani, Majid ^PhD 0000-0001-6608-3708 Computational Theory and Mathematics - University of Colorado, Boulder	364 docs (2006 - 2024) Abstraction , Nonlinear Systems , Constraint Handling , Probabilistic Systems , Stability Analysis
879 One Index	Majumdar, Rupak ^PhD 0000-0003-2136-0542 Computational Theory and Mathematics - Max Planck Institute for Software Systems	496 docs (1996 - 2024) Model Checking , Abstraction , Runtime Verification , Temporal Logic , Probabilistic Systems
878 One Index	Abramsky, Samson ^PhD 0000-0003-3921-6637 - University of Oxford	357 docs (1982 - 2024) Description Logics , Kochen–Specker theorem , Temporal Logic , Programming Language Semantics , Quantum Interpretations
876 One Index	Janowski, Tomasz ^PhD 0000-0001-8950-5782 Political Science and International Relations - Gdansk University of Technology	175 docs (1993 - 2024) E-Government , Information Technology Governance , Governance , Digital government , ICTs
874 One Index	Pierce, Benjamin ^PhD 0000-0001-7839-1636 Artificial Intelligence - University of Pennsylvania (UPENN)	345 docs (1931 - 2024) Subtyping , Programming Language Semantics , Type Inference , Model Checking , Soundness
870 One Index	Pappas, George ^PhD 0000-0001-9081-0637 Computer Networks and Communications, Artificial Intelligence, Control and Systems Engineering - University of Pennsylvania (UPENN)	957 docs (1957 - 2024) Distributed Optimization , Robustness (evolution) , Temporal Logic , Optimal Motion Planning , Constraint Handling
869 One Index	Zakharyaschev, Michael ^PhD 0000-0002-2210-5183 Artificial Intelligence - Birkbeck (BBK), Bloomsbury	313 docs (1987 - 2024) Description Logics , Modal Logics , Temporal Logic , Nonmonotonic Reasoning , Conjunctive query
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
866 One Index	Lafortune, Stephane ^PhD 0000-0002-7526-6642 - University of Michigan (UM), Ann Arbor	452 docs (1982 - 2024) Discrete-Event Systems , Supervisory Control , Supervisor , Diagnosability Analysis , Observability
865 One Index	Abate, Alessandro ^PhD 0000-0002-5627-9093 Computational Theory and Mathematics - University of Oxford	424 docs (2004 - 2024) Model Checking , Probabilistic Systems , Abstraction , Temporal Logic , Constraint Handling
864 One Index	de Alfaro, Luca ^PhD 0000-0003-3856-4576 Artificial Intelligence - University of California, Santa Cruz (UCSC)	187 docs (1994 - 2024) Model Checking , Probabilistic Systems , Crowdsourcing , Temporal Logic , Interface (matter)