Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
694 authors found
quering by "Pushdown automaton"
.
Showing
the first 25
sort by ONE Index.
|
912
One Index
|
Giles, C Lee PhD 0000-0002-1931-585X |
754 docs (1972 - 2024)
Web Data Extraction , Web Crawling , Information Retrieval , Recurrent Neural Networks , Backpropagation Learning |
|
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 |
|
894
One Index
|
Worrell, James PhD 0000-0001-8151-2443 |
325 docs (1998 - 2024)
Temporal Logic , Undecidable problem , Model Checking , Synchronizing Automata , Probabilistic Systems |
|
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 |
|
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 |
|
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) |
|
859
One Index
|
Might, Matthew PhD 0000-0002-8430-5316 |
188 docs (2006 - 2024)
Abstract Interpretation , Static Analysis , Control flow , Programming Language Semantics , Source Code Analysis |
|
856
One Index
|
Etessami, Kousha PhD 0000-0001-5700-3462 |
125 docs (1994 - 2021)
Probabilistic Systems , Temporal Logic , Model Checking , Runtime Verification , Undecidable problem |
|
850
One Index
|
Abdulla, Parosh Aziz PhD 0000-0001-6832-6611 |
408 docs (1990 - 2024)
Model Checking , Runtime Verification , Undecidable problem , Symbolic Model Checker , Safety Verification |
|
850
One Index
|
Jancar, Petr PhD 0000-0002-8738-9850 |
193 docs (1987 - 2024)
Bisimulation , Stochastic Petri Nets , Undecidable problem , Model Checking , Petri Nets |
|
846
One Index
|
Srba, Jiri PhD 0000-0001-5551-6547 |
206 docs (1998 - 2024)
Model Checking , Stochastic Petri Nets , Bisimulation , Temporal Logic , Process calculus |
|
845
One Index
|
Engelfriet, Joost PhD |
204 docs (1972 - 2021)
Tree (set theory) , Nondeterministic algorithm , Combinatorics on Words , Indexed grammar , Transducers |
|
840
One Index
|
Policriti, Alberto PhD 0000-0001-8502-5896 |
280 docs (1988 - 2024)
Temporal Logic , Nonmonotonic Reasoning , String Matching , Combinatorics on Words , Modal Logics |
|
839
One Index
|
Yu, Sheng Sheng PhD 0009-0006-1228-4516 |
234 docs (1984 - 2024)
State Complexity , Combinatorics on Words , Regular language , Formal Languages , Synchronizing Automata |
|
833
One Index
|
Xu, Jianliang PhD 0000-0001-9404-5848 |
511 docs (1982 - 2024)
Top-k Query Processing , Location Prediction , Caching , Graph Matching , Location Privacy |
|
832
One Index
|
Parlato, Gennaro PhD 0000-0002-8697-2980 |
88 docs (2003 - 2024)
Model Checking , Runtime Verification , Nondeterministic algorithm , Temporal Logic , Symbolic Model Checker |
|
828
One Index
|
Brรกzdil, Tomรกลก PhD 0000-0002-4547-3261 |
153 docs (2002 - 2024)
Probabilistic Systems , Stochastic game , Runtime Verification , Model Checking , Undecidable problem |
|
825
One Index
|
Kalra, Nidhi PhD 0000-0003-3013-7369 |
154 docs (2001 - 2024)
Autonomous Vehicle Adoption , Urban Driving , Decision-making , Robust Decision Making , Vehicle safety |
|
825
One Index
|
Rodger, Susan PhD 0000-0002-2524-7718 |
146 docs (1988 - 2023)
Programming Education , Online Learning , Course (navigation) , Scratch Programming , Educational Robotics |
|
825
One Index
|
Beeri, Catriel PhD |
141 docs (1974 - 2021)
Relational Database Systems , Column-oriented Database Systems , Description Logics , Probabilistic Databases , Query Optimization |
|
823
One Index
|
Winkler, Tobias PhD 0000-0003-1084-6408 |
21 docs (2019 - 2024)
Probabilistic Systems , Model Checking , Lexicographical order , Probabilistic Learning , Precondition |
|
822
One Index
|
Chiang, David PhD 0000-0002-0435-4864 |
217 docs (1969 - 2024)
Neural Machine Translation , Language Modeling , Syntax-based Translation Models , Machine Translation , Statistical Machine Translation |
|
819
One Index
|
Tomko, Martin PhD 0000-0002-5736-4679 |
193 docs (2003 - 2024)
Web-based GIS , Location Prediction , Crowdsourced Mapping , Wayfinding , Indoor Localization |
