Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
6,616 authors found
quering by "Model Consistency"
.
Showing
the first 25
sort by ONE Index.
|
926
One Index
|
Zwaenepoel, Willy PhD 0000-0002-4182-6920 |
276 docs (1983 - 2023)
Parallel Computing , Performance Optimization , Distributed Systems , Task Scheduling , Distributed shared memory |
|
919
One Index
|
Ganesh, Vijay PhD 0000-0002-6029-2047 |
365 docs (1997 - 2024)
Solver , Satisfiability , Boolean satisfiability problem , Constraint Optimization , Enumeration |
|
913
One Index
|
Dwork, Cynthia PhD 0000-0001-7177-3738 |
240 docs (1982 - 2024)
Differential Privacy , Privacy-Preserving Computation , Privacy Preservation , Zero-knowledge proof , IBM |
|
913
One Index
|
Wฤ sowski, Andrzej PhD 0000-0003-0532-2685 |
227 docs (2001 - 2024)
Feature Models , Feature (linguistics) , Model Transformation , Variability Management , Model Checking |
|
911
One Index
|
Sรกnchez Cuadrado, Jesรบs PhD 0000-0001-9755-5616 |
118 docs (2003 - 2024)
Model Transformation , Model-Driven Engineering , Metamodeling , Software Development , MDE Practices |
|
910
One Index
|
Rodrigues, Rodrigo PhD 0000-0001-8367-4024 |
180 docs (2001 - 2024)
Parallel Computing , Byzantine Fault Tolerance , Consistency , Fault Tolerance , Multi-core processor |
|
910
One Index
|
Yang, Hongseok PhD 0000-0003-1502-2942 |
221 docs (2000 - 2024)
Programming Language Semantics , Abstract Interpretation , Separation Logic , Heap (data structure) , Probabilistic Learning |
|
906
One Index
|
Whittle, Jon PhD 0000-0002-9342-7809 |
306 docs (1996 - 2024)
Feature Models , Model-Driven Engineering , Model Transformation , Aspect-Oriented Programming , Agile Software Development |
|
905
One Index
|
Czarnecki, Krzysztof PhD 0000-0003-1642-1101 |
349 docs (1985 - 2024)
Feature Models , Feature (linguistics) , Software Architecture , Model Transformation , Feature model |
|
903
One Index
|
Malterud, Kirsti PhD 0000-0001-9556-616X |
277 docs (1974 - 2024)
Norwegian , Clinical Practice , Patient Participation , Narrative Medicine , Reflexivity |
|
900
One Index
|
Varrรณ, Dรกniel PhD 0000-0002-8790-252X |
235 docs (2001 - 2024)
Model Transformation , Model-Driven Engineering , Graph Transformation , Metamodeling , Model Consistency |
|
900
One Index
|
Baier, Christel PhD 0000-0002-5321-9343 |
348 docs (1991 - 2024)
Probabilistic Systems , Model Checking , Temporal Logic , Symbolic Model Checker , Nondeterministic algorithm |
|
899
One Index
|
Egyed, Alexander PhD 0000-0003-3128-5427 |
353 docs (1997 - 2024)
Software Architecture , Software Defect Prediction , Traceability , Requirements Traceability , Feature Models |
|
899
One Index
|
Cabot, Jordi PhD 0000-0003-2418-2489 |
427 docs (2000 - 2024)
Random Graphs , Model Transformation , Model-Driven Engineering , Metamodeling , Behavioral Models |
|
898
One Index
|
Edmund Melson Clarke PhD |
283 docs (1977 - 2021)
Model Checking , Symbolic Model Checker , Safety Verification , Runtime Verification , Abstraction |
|
897
One Index
|
Vafeiadis, Viktor PhD 0000-0001-8436-0334 |
137 docs (2004 - 2024)
Memory model , x86 , Consistency , Model Checking , Multicore Architectures |
|
896
One Index
|
Ahlquist, John PhD 0000-0001-8877-3646 |
87 docs (2004 - 2023)
Replication (statistics) , List Experiments , Rainbow , Estimation Methods , Randomized Response Technique |
|
894
One Index
|
Delage, Erick PhD 0000-0002-6740-3600 |
112 docs (2003 - 2024)
Robust Optimization , Portfolio Optimization , Convex Optimization , Uncertain Data , Stochastic Programming |
|
893
One Index
|
Lee, Edward PhD 0000-0002-5663-0584 |
632 docs (1959 - 2024)
System-Level Design , Timing Analysis , Embedded Systems , Multiprocessor Scheduling , Parallel Computing |
|
891
One Index
|
Tabrizchi, Hamed PhD 0000-0001-9250-2232 |
28 docs (2019 - 2024)
Pneumonia Detection , Software Defect Prediction , Bug Localization , Sore throat , Cancer Prognosis |
|
888
One Index
|
Cheng, Betty HC PhD 0000-0001-9825-5359 |
322 docs (1989 - 2024)
Software Architecture , Self-Adaptive Systems , Aspect-Oriented Programming , Feature Models , Software Reliability Modeling |
|
887
One Index
|
Andr x E Schiper PhD |
263 docs (1984 - 2021)
Fault Tolerance , Distributed Systems , Failure Prediction , Consistency , Replication |
|
887
One Index
|
TANG, Tao PhD 0000-0003-2919-2774 |
327 docs (1987 - 2024)
Stabilized Methods , Finite Difference Schemes , Collocation (remote sensing) , Adaptive Mesh Refinement , Spectral method |
|
887
One Index
|
Yang, Jiang PhD 0000-0002-6431-7483 |
51 docs (2013 - 2024)
Robustness (evolution) , AllenโCahn equation , Time-Fractional Diffusion Equation , Phase-Field Models , Stabilized Methods |
|
885
One Index
|
Zelik, Sergey PhD 0000-0002-4884-5040 |
276 docs (1994 - 2024)
Dispersive Equations , Nonlinear Dynamics , Reactionโdiffusion system , CahnโHilliard equation , Attractors |
