ONE - Authors

949

One Index

Hubaux, Jean-Pierre ^PhD 0000-0003-1533-6132

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

484 docs (1992 - 2023)
Mobile Ad Hoc Networks , Differential Privacy , Security in Wireless Networks , Location Privacy , Ad Hoc Networks

946

One Index

Liu, Yiheng ^PhD 0000-0002-5939-2278

Computer Vision and Pattern Recognition - Shaanxi Normal University (SNNU), Xi'an

39 docs (2018 - 2024)
Visual Tracking , Person Re-identification , Identification (biology) , Motion Detection , Multiple Object Tracking

938

One Index

Alur, Rajeev ^PhD 0000-0003-1733-7083

Computational Theory and Mathematics - University of Pennsylvania (UPENN)

405 docs (1989 - 2024)
Model Checking , Temporal Logic , Symbolic Model Checker , Runtime Verification , Undecidable problem

934

One Index

Li, Tianjing ^PhD 0000-0001-5371-4558

Ophthalmology, Statistics, Probability and Uncertainty - University of Colorado Anschutz Medical Campus

288 docs (2006 - 2024)
Ophthalmic Manifestations , Research Methodology , Guideline , Primary Open-Angle Glaucoma , Glaucoma

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

930

One Index

P. A. M. Diamond ^PhD

Economics and Econometrics - Massachusetts Institute of Technology (MIT)

360 docs (1912 - 2023)
Retirement Planning , Optimal Taxation , Taxation , Savings Behavior , Asset Pricing

929

One Index

M. Kholid Baror Abadi ^PhD

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

295 docs (1985 - 2023)
Security Protocols , Nonmonotonic Reasoning , Temporal Logic , Programming Language Semantics , Soundness

927

One Index

Curran, Henry ^PhD 0000-0002-5124-8562

Fluid Flow and Transfer Processes, Computational Mechanics - Ollscoil na Gaillimhe – University of Galway

359 docs (1982 - 2024)
Fuel Chemistry , Autoignition temperature , Premixed Combustion , Combustion Dynamics , Laminar Flame Speeds

927

One Index

Vechev, Martin ^PhD 0000-0002-0054-9568

Artificial Intelligence - Swiss Federal Institute of Technology Zurich (ETH Zurich)

309 docs (2003 - 2024)
Robustness , Code (set theory) , Leverage (statistics) , Robustness (evolution) , Software Defect Prediction

924

One Index

Visser, Willem ^PhD 0000-0002-0913-3091

Software - University of Stellenbosch (SU)

216 docs (1993 - 2024)
Model Checking , Software Reliability Modeling , Symbolic Model Checker , Automated Testing , Concolic testing

922

One Index

Sarathy, S. Mani ^PhD 0000-0002-3975-6206

Fluid Flow and Transfer Processes, Computational Mechanics - King Abdullah University of Science and Technology (KAUST), Thuwal

453 docs (2003 - 2024)
Fuel Chemistry , Premixed Combustion , Octane rating , Engine Performance , Autoignition temperature

922

One Index

Hugh Francis Durrant‐Whyte ^PhD

Artificial Intelligence - University of Sydney

397 docs (1986 - 2024)
Localization , Sensor Fusion , 3D Mapping , Representation (politics) , Decentralized Estimation

920

One Index

Barros, João ^PhD 0000-0003-0465-1751

Computer Networks and Communications - Universidade do Porto (UP)

212 docs (1999 - 2024)
Network Coding , Linear network coding , Physical Layer Network Coding , Space-Time Coding , Secrecy Capacity

920

One Index

Biere, Armin ^PhD 0000-0001-7170-9242

Computational Theory and Mathematics, Artificial Intelligence - Johannes Kepler University of Linz (JKU)

295 docs (1997 - 2024)
Model Checking , Solver , Boolean satisfiability problem , Satisfiability , Symbolic Model Checker

919

One Index

Baresi, Luciano ^PhD 0000-0001-6467-837X

Information Systems - Politecnico di Milano

339 docs (1993 - 2024)
Service-Oriented Computing , Service-Oriented Architecture , Software Architecture , Web Service Composition , Service Selection Algorithms

919

One Index

Nicholas J. Turro ^PhD

- Columbia University

1155 docs (1961 - 2019)
Icon , Altmetrics , Photochemical Synthesis , Flash photolysis , Photoinduced Proton Transfer

919

One Index

Boutilier, Craig ^PhD 0000-0001-9330-4545

Artificial Intelligence - University of Toronto

350 docs (1989 - 2024)
Preference elicitation , Reinforcement Learning , Representation (politics) , Probabilistic Learning , Value (mathematics)

919

One Index

Rabaey, Jan ^PhD 0000-0001-6290-4855

Electrical and Electronic Engineering - University of California (UC), Berkeley

633 docs (1979 - 2024)
System-Level Design , Performance Optimization , Power Optimization , Reconfigurable Computing , Wireless Energy Harvesting

919

One Index

Solomon, Edward ^PhD 0000-0003-0291-3199

Materials Chemistry, Inorganic Chemistry - Stanford University, California

1045 docs (1882 - 2024)
Crystal Structures , Structure Determination , Crystallography , Continuous Crystallization , Reactivity (psychology)

919

One Index

Altschul, Drew ^PhD 0000-0001-7053-4209

Social Psychology, Experimental and Cognitive Psychology - University of Edinburgh (ED)

93 docs (2013 - 2024)
Mental Health , Pandemic , Longitudinal study , Depression (economics) , Agreeableness

918

One Index

Douglas, Karen ^PhD 0000-0002-0381-6924

Sociology and Political Science - University of Kent, Canterbury

207 docs (1999 - 2024)
Rumor Detection , Pandemic , Social Intuition , Narrative Persuasion , Social distance

917

One Index

Qian, Guocheng ^PhD 0000-0002-2935-8570

Computer Vision and Pattern Recognition - King Abdullah University of Science and Technology (KAUST), Thuwal

30 docs (2019 - 2024)
Point Set Surfaces , Deep Learning , Point Clouds , Neural Network Architectures , Upsampling

917

One Index

Bellekens, Xavier ^PhD 0000-0003-1849-5788

Computer Networks and Communications - University of Strathclyde, Glasgow

97 docs (2013 - 2024)
Intrusion Detection , Botnet Detection , IoT Security , Detection , Security Analysis

917

One Index

Floridi, Luciano ^PhD 0000-0002-5444-2280

Artificial Intelligence, Safety Research - University of Oxford

882 docs (1990 - 2024)
Ethics , Philosophy of technology , Artificial Intelligences , Skepticism , Scope (computer science)

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

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

949 One Index	Hubaux, Jean-Pierre ^PhD 0000-0003-1533-6132 Computer Networks and Communications - École Polytechnique Fédérale de Lausanne (EPFL)	484 docs (1992 - 2023) Mobile Ad Hoc Networks , Differential Privacy , Security in Wireless Networks , Location Privacy , Ad Hoc Networks
946 One Index	Liu, Yiheng ^PhD 0000-0002-5939-2278 Computer Vision and Pattern Recognition - Shaanxi Normal University (SNNU), Xi'an	39 docs (2018 - 2024) Visual Tracking , Person Re-identification , Identification (biology) , Motion Detection , Multiple Object Tracking
938 One Index	Alur, Rajeev ^PhD 0000-0003-1733-7083 Computational Theory and Mathematics - University of Pennsylvania (UPENN)	405 docs (1989 - 2024) Model Checking , Temporal Logic , Symbolic Model Checker , Runtime Verification , Undecidable problem
934 One Index	Li, Tianjing ^PhD 0000-0001-5371-4558 Ophthalmology, Statistics, Probability and Uncertainty - University of Colorado Anschutz Medical Campus	288 docs (2006 - 2024) Ophthalmic Manifestations , Research Methodology , Guideline , Primary Open-Angle Glaucoma , Glaucoma
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
930 One Index	P. A. M. Diamond ^PhD Economics and Econometrics - Massachusetts Institute of Technology (MIT)	360 docs (1912 - 2023) Retirement Planning , Optimal Taxation , Taxation , Savings Behavior , Asset Pricing
929 One Index	M. Kholid Baror Abadi ^PhD Artificial Intelligence - University of California, Santa Cruz (UCSC)	295 docs (1985 - 2023) Security Protocols , Nonmonotonic Reasoning , Temporal Logic , Programming Language Semantics , Soundness
927 One Index	Curran, Henry ^PhD 0000-0002-5124-8562 Fluid Flow and Transfer Processes, Computational Mechanics - Ollscoil na Gaillimhe – University of Galway	359 docs (1982 - 2024) Fuel Chemistry , Autoignition temperature , Premixed Combustion , Combustion Dynamics , Laminar Flame Speeds
927 One Index	Vechev, Martin ^PhD 0000-0002-0054-9568 Artificial Intelligence - Swiss Federal Institute of Technology Zurich (ETH Zurich)	309 docs (2003 - 2024) Robustness , Code (set theory) , Leverage (statistics) , Robustness (evolution) , Software Defect Prediction
924 One Index	Visser, Willem ^PhD 0000-0002-0913-3091 Software - University of Stellenbosch (SU)	216 docs (1993 - 2024) Model Checking , Software Reliability Modeling , Symbolic Model Checker , Automated Testing , Concolic testing
922 One Index	Sarathy, S. Mani ^PhD 0000-0002-3975-6206 Fluid Flow and Transfer Processes, Computational Mechanics - King Abdullah University of Science and Technology (KAUST), Thuwal	453 docs (2003 - 2024) Fuel Chemistry , Premixed Combustion , Octane rating , Engine Performance , Autoignition temperature
922 One Index	Hugh Francis Durrant‐Whyte ^PhD Artificial Intelligence - University of Sydney	397 docs (1986 - 2024) Localization , Sensor Fusion , 3D Mapping , Representation (politics) , Decentralized Estimation
920 One Index	Barros, João ^PhD 0000-0003-0465-1751 Computer Networks and Communications - Universidade do Porto (UP)	212 docs (1999 - 2024) Network Coding , Linear network coding , Physical Layer Network Coding , Space-Time Coding , Secrecy Capacity
920 One Index	Biere, Armin ^PhD 0000-0001-7170-9242 Computational Theory and Mathematics, Artificial Intelligence - Johannes Kepler University of Linz (JKU)	295 docs (1997 - 2024) Model Checking , Solver , Boolean satisfiability problem , Satisfiability , Symbolic Model Checker
919 One Index	Baresi, Luciano ^PhD 0000-0001-6467-837X Information Systems - Politecnico di Milano	339 docs (1993 - 2024) Service-Oriented Computing , Service-Oriented Architecture , Software Architecture , Web Service Composition , Service Selection Algorithms
919 One Index	Nicholas J. Turro ^PhD - Columbia University	1155 docs (1961 - 2019) Icon , Altmetrics , Photochemical Synthesis , Flash photolysis , Photoinduced Proton Transfer
919 One Index	Boutilier, Craig ^PhD 0000-0001-9330-4545 Artificial Intelligence - University of Toronto	350 docs (1989 - 2024) Preference elicitation , Reinforcement Learning , Representation (politics) , Probabilistic Learning , Value (mathematics)
919 One Index	Rabaey, Jan ^PhD 0000-0001-6290-4855 Electrical and Electronic Engineering - University of California (UC), Berkeley	633 docs (1979 - 2024) System-Level Design , Performance Optimization , Power Optimization , Reconfigurable Computing , Wireless Energy Harvesting
919 One Index	Solomon, Edward ^PhD 0000-0003-0291-3199 Materials Chemistry, Inorganic Chemistry - Stanford University, California	1045 docs (1882 - 2024) Crystal Structures , Structure Determination , Crystallography , Continuous Crystallization , Reactivity (psychology)
919 One Index	Altschul, Drew ^PhD 0000-0001-7053-4209 Social Psychology, Experimental and Cognitive Psychology - University of Edinburgh (ED)	93 docs (2013 - 2024) Mental Health , Pandemic , Longitudinal study , Depression (economics) , Agreeableness
918 One Index	Douglas, Karen ^PhD 0000-0002-0381-6924 Sociology and Political Science - University of Kent, Canterbury	207 docs (1999 - 2024) Rumor Detection , Pandemic , Social Intuition , Narrative Persuasion , Social distance
917 One Index	Qian, Guocheng ^PhD 0000-0002-2935-8570 Computer Vision and Pattern Recognition - King Abdullah University of Science and Technology (KAUST), Thuwal	30 docs (2019 - 2024) Point Set Surfaces , Deep Learning , Point Clouds , Neural Network Architectures , Upsampling
917 One Index	Bellekens, Xavier ^PhD 0000-0003-1849-5788 Computer Networks and Communications - University of Strathclyde, Glasgow	97 docs (2013 - 2024) Intrusion Detection , Botnet Detection , IoT Security , Detection , Security Analysis
917 One Index	Floridi, Luciano ^PhD 0000-0002-5444-2280 Artificial Intelligence, Safety Research - University of Oxford	882 docs (1990 - 2024) Ethics , Philosophy of technology , Artificial Intelligences , Skepticism , Scope (computer science)
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