Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
2,576 authors found
quering by "Synchronizing Automata"
.
Showing
the first 25
sort by ONE Index.
|
938
One Index
|
Alur, Rajeev PhD 0000-0003-1733-7083 |
405 docs (1989 - 2024)
Model Checking , Temporal Logic , Symbolic Model Checker , Runtime Verification , Undecidable problem |
|
926
One Index
|
Vardi, Moshe PhD 0000-0002-0661-5773 |
906 docs (1972 - 2024)
Model Checking , Temporal Logic , Satisfiability , Runtime Verification , Satisfiability Modulo Theories |
|
912
One Index
|
Marschall, Tobias PhD 0000-0002-9376-1030 |
192 docs (2006 - 2024)
genome annotation , sequence variation , sequence alignment , Structural variation , Indel |
|
911
One Index
|
Vaandrager, Frits PhD 0000-0003-3955-1910 |
237 docs (1986 - 2024)
Model Checking , Temporal Logic , Timed automaton , Bisimulation , Synchronizing Automata |
|
903
One Index
|
Ullman, Jeffrey PhD 0000-0002-1847-3426 |
457 docs (1899 - 2024)
Relational Database Systems , Column-oriented Database Systems , Query Optimization , Continuous Queries , Approximate Query Processing |
|
900
One Index
|
Hopcroft, John E. PhD 0000-0001-8681-6075 |
317 docs (1965 - 2024)
Community Structure , Representation Learning , Computability , Synchronizing Automata , Adversarial Examples |
|
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 |
|
894
One Index
|
Balle, Borja PhD 0009-0003-8726-2803 |
126 docs (2006 - 2024)
Differential Privacy , Privacy-Preserving Computation , Privacy Preservation , Semi-Supervised Learning , Location Privacy |
|
894
One Index
|
Worrell, James PhD 0000-0001-8151-2443 |
325 docs (1998 - 2024)
Temporal Logic , Undecidable problem , Model Checking , Synchronizing Automata , Probabilistic Systems |
|
890
One Index
|
Shamsizadeh, Morteza PhD 0000-0002-8153-5482 |
152 docs (2013 - 2024)
Mathematical Fuzzy Logic , Fuzzy Logic , Global health , Interval Type-2 Fuzzy Logic , Automata Theory |
|
888
One Index
|
Esparza, Javier PhD 0000-0001-9862-4919 |
380 docs (1989 - 2024)
Model Checking , Stochastic Petri Nets , Petri Nets , Runtime Verification , Safety Verification |
|
883
One Index
|
Kupferman, Orna PhD 0000-0003-4699-6117 |
304 docs (1995 - 2024)
Model Checking , Nondeterministic algorithm , Temporal Logic , Synchronizing Automata , Satisfiability Modulo Theories |
|
882
One Index
|
Flouri, Tomas PhD 0000-0002-8474-9507 |
115 docs (2007 - 2024)
Phylogenetic Analysis , phylogenetic tree , Coalescent theory , Tree (set theory) , sequence alignment |
|
880
One Index
|
Bartholdi, Laurent PhD 0000-0002-1243-6384 |
187 docs (1997 - 2024)
Combinatorics on Words , Group Theory , Topological Entropy , Wreath product , Semigroups |
|
877
One Index
|
COURCELLE, Bruno PhD 0000-0002-5545-8970 |
242 docs (1974 - 2023)
Monadic predicate calculus , Combinatorics on Words , Parameterized Complexity , Tree (set theory) , Graph Theory |
|
876
One Index
|
Arto K. Salomaa PhD |
581 docs (1960 - 2024)
Combinatorics on Words , Formal Languages , DNA Computing , Membrane Computing , Molecular Computation |
|
873
One Index
|
Zvi, Galil PhD |
273 docs (1974 - 2022)
String Matching , Approximate Matching , Pattern Matching , Regular Expression Matching , Combinatorics on Words |
|
871
One Index
|
Walukiewicz, Igor PhD |
191 docs (1990 - 2023)
Model Checking , Temporal Logic , Pushdown automaton , Synchronizing Automata , Tree (set theory) |
|
871
One Index
|
Micciancio, Daniele PhD 0000-0003-3323-9985 |
194 docs (1995 - 2024)
Lattice-based Cryptography , Lattice problem , Lattice (music) , Homomorphic Encryption , Searchable Encryption |
|
869
One Index
|
Viswanathan, Mahesh PhD 0000-0001-7977-0080 |
357 docs (1975 - 2024)
Model Checking , Runtime Verification , Safety Verification , Hybrid Systems , Probabilistic Systems |
|
868
One Index
|
Sadakane, Kunihiko PhD 0000-0002-8212-3682 |
377 docs (1981 - 2024)
String Matching , Approximate Matching , Text Indexing , Data Structures , Compressed suffix array |
|
868
One Index
|
PhD 0000-0002-3197-8736 |
74 docs (2008 - 2023)
Model Checking , Fault Tolerance , Heap (data structure) , Abstraction , Distributed Systems |
|
865
One Index
|
Hulden, Mans PhD |
129 docs (2006 - 2024)
Language Modeling , Inflection , Syntax-based Translation Models , Topic Modeling , Neural Machine Translation |
|
863
One Index
|
Svenonius, Peter PhD 0000-0001-5043-8543 |
71 docs (1993 - 2021)
Language Modeling , Language Typology , Norwegian , Semantics , Description Logics |
|
863
One Index
|
Bouyer, Patricia PhD 0000-0002-2823-0911 |
222 docs (1998 - 2023)
Temporal Logic , Timed automaton , Model Checking , Undecidable problem , Reachability problem |
