Dana Fisman
4 papers · 2015–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (12) π£ Hot Topic Early Bird
π
Renaissance Researcher
(5)
Top co-authors
Research topics
Keywords
grammar learning
(1)
grammar inference
(1)
automata learning
(1)
constraint satisfaction
(1)
query learning
(1)
model inference
(1)
interpretable model
(1)
temporal logic
(1)
probabilistic context-free grammar
(1)
sat solver
(1)
distributed system
(1)
positive negative example
(1)
formula learning
(1)
grammatical inference
(1)
genomic data
(1)
broadcast protocol
(1)
characteristic set
(1)
tree automata
(1)
property specification language
(1)
multiplicity tree automaton
(1)