Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
713 authors found
quering by "Formal equivalence checking"
.
Showing
the first 25
sort by ONE Index.
|
868
One Index
|
Ryan, Mark PhD 0000-0002-1632-497X |
278 docs (1991 - 2024)
Authentication , Model Checking , Feature (linguistics) , Secure Multi-party Computation , Electronic voting |
|
857
One Index
|
Burgholzer, Lukas PhD 0000-0003-4699-1316 |
81 docs (2019 - 2024)
Quantum Simulation , Quantum Computation , Fault-tolerant Quantum Computation , Quantum circuit , Quantum Error Correction |
|
853
One Index
|
Ying, Mingsheng PhD 0000-0003-4847-702X |
398 docs (1987 - 2024)
Quantum Computation , Quantum Simulation , Fault-tolerant Quantum Computation , Quantum Machine Learning , Quantum Interpretations |
|
848
One Index
|
Woltran, Stefan PhD 0000-0003-1594-8972 |
385 docs (2000 - 2024)
Argumentation Frameworks , Constraint Logic Programming , Answer Set Programming , Dialectical Argumentation , Nonmonotonic Reasoning |
|
847
One Index
|
Ahmed, Amal PhD 0000-0001-7424-572X |
110 docs (2002 - 2024)
Programming Language Semantics , Soundness , Temporal Logic , Model Checking , Type theory |
|
846
One Index
|
Morrisett, John PhD 0000-0002-2619-5614 |
163 docs (1994 - 2023)
Type Inference , Programming Language Semantics , Model Checking , Code (set theory) , Type safety |
|
842
One Index
|
Markov, Igor PhD 0000-0002-3826-527X |
464 docs (1982 - 2024)
Power Optimization , Fault-tolerant Quantum Computation , Quantum Simulation , Quantum Computation , Graph Partitioning |
|
833
One Index
|
Subramanyan, Pramod PhD 0000-0003-2288-3396 |
49 docs (2009 - 2023)
Firmware , Security Analysis , Model Checking , Netlist , Abstraction |
|
832
One Index
|
Gu, Ronghui PhD 0000-0002-6812-6182 |
42 docs (2015 - 2024)
Kernel (algebra) , Abstraction , Multicore Architectures , Fault-tolerant Quantum Computation , Parallel Computing |
|
825
One Index
|
Kauers, Manuel PhD 0000-0001-8641-6661 |
242 docs (2002 - 2024)
Symbolic Computing , Telescoping series , Degree (music) , Sequence (biology) , Lattice (music) |
|
822
One Index
|
Brayton, Robert PhD 0000-0002-3861-1718 |
597 docs (1963 - 2024)
Combinational logic , Power Optimization , Model Checking , Minification , Delay Fault Testing |
|
820
One Index
|
Alina Denisovna Mishchenko PhD |
261 docs (1997 - 2024)
Power Optimization , Model Checking , Lookup table , Combinational logic , Delay Fault Testing |
|
816
One Index
|
Tahar, Sofiene PhD 0000-0002-5537-104X |
446 docs (1990 - 2024)
HOL , Model Checking , Safety Verification , Runtime Verification , Software Reliability Modeling |
|
812
One Index
|
Hu, Alan PhD 0000-0002-4276-0169 |
141 docs (1992 - 2024)
Model Checking , Runtime Verification , Safety Verification , Solver , Abstraction |
|
812
One Index
|
Coopmans, Tim PhD 0000-0002-9780-0949 |
31 docs (2019 - 2024)
Repeater (horology) , Quantum Simulation , Quantum Computation , Fault-tolerant Quantum Computation , Quantum key distribution |
|
810
One Index
|
Gupta, Aarti PhD 0000-0001-6676-9400 |
270 docs (1986 - 2024)
Model Checking , Safety Verification , Runtime Verification , Symbolic Model Checker , Abstraction |
|
805
One Index
|
MR, Murali Prasad PhD 0000-0003-1627-7648 |
84 docs (1999 - 2024)
Model Checking , Software Defect Prediction , Program Repair , Automated Testing , Code (set theory) |
|
803
One Index
|
Feng, Yuan PhD 0000-0002-3097-3896 |
331 docs (1989 - 2024)
Quantum Simulation , Fault-tolerant Quantum Computation , Quantum Computation , Quantum Machine Learning , Quantum Interpretations |
|
803
One Index
|
Peham, Tom PhD 0000-0003-3434-7881 |
13 docs (2021 - 2024)
Quantum Computation , Quantum Simulation , Fault-tolerant Quantum Computation , Quantum circuit , Formal equivalence checking |
|
802
One Index
|
Montalban, Antonio PhD 0000-0002-5068-1444 |
191 docs (1997 - 2024)
Computability , Porphyrazine , Computational Depth , Turing , Structure Determination |
|
801
One Index
|
Hirschi, Lucca PhD 0000-0003-4572-0581 |
38 docs (2014 - 2024)
Authentication , Security Protocols , TRACE (psycholinguistics) , Partial order reduction , E-Voting |
|
799
One Index
|
Cross, Andrew PhD 0000-0001-9786-8196 |
124 docs (2000 - 2024)
Fault-tolerant Quantum Computation , Quantum Computation , Quantum Error Correction , Quantum Simulation , Computation |
|
796
One Index
|
Li, Sanjiang PhD 0000-0002-3332-2546 |
128 docs (1999 - 2024)
Spatial Reasoning , Constraint Optimization , Temporal Reasoning , Spatial intelligence , Fault-tolerant Quantum Computation |
|
790
One Index
|
Matsumoto, Takeshi PhD 0000-0002-1517-0761 |
637 docs (1947 - 2024)
Crystal Structures , Crystallography , Continuous Crystallization , Structure Determination , Ultrasound-Assisted Crystallization |
|
785
One Index
|
Nazarian, Shahin PhD |
157 docs (2003 - 2024)
CMOS Scaling , Statistical Timing Analysis , Power Optimization , Delay Fault Testing , Crosstalk |
