Dana Fisman

Generating author description...

All published works

Action	Title	Year	Authors
+	Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages	2024	Dana Angluin Dana Fisman
+ PDF Chat	Learning Broadcast Protocols	2024	Dana Fisman Noa Izsak Swen Jacobs
+ PDF Chat	Inferring Symbolic Automata	2023	Dana Fisman Hadar Frenkel Sandra Zilles
+ PDF Chat	Learning of Structurally Unambiguous Probabilistic Grammars	2023	Dana Fisman Dolav Nitay Michal Ziv-Ukelson
+	Learning Broadcast Protocols	2023	Dana Fisman Noa Izsak Swen Jacobs
+	A Colorful and Robust Measure for FDFAs	2023	Dana Fisman Emmanuel Goldberg Oded Zimerman
+	Learning of Structurally Unambiguous Probabilistic Grammars	2022	Dana Fisman Dolav Nitay Michal Ziv-Ukelson
+	The Normalized Edit Distance with Uniform Operation Costs is a Metric	2022	Dana Fisman Joshua Grogin Oded Margalit Gera Weiss
+	Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages	2022	Dana Angluin Dana Fisman Yaara Shoval
+ PDF Chat	Inferring Symbolic Automata	2021	Dana Fisman Hadar Frenkel Sandra Zilles
+ PDF Chat	Learning of Structurally Unambiguous Probabilistic Grammars	2021	Dolav Nitay Dana Fisman Michal Ziv-Ukelson
+ PDF Chat	Polynomial Identification of $\omega$-Automata	2021	Dana Fisman
+	Inferring Symbolic Automata	2021	Dana Fisman Hadar Frenkel Sandra Zilles
+	Safety Synthesis Sans Specification.	2020	Roderick Bloem Hana Chockler Masoud Ebrahimi Dana Fisman Heinz Riener
+ PDF Chat	Learning of Structurally Unambiguous Probabilistic Grammars	2020	Dolav Nitay Dana Fisman Michal Ziv-Ukelson
+	Learning Interpretable Models in the Property Specification Language	2020	Rajarshi Roy Dana Fisman Daniel Neider
+	Polynomial time algorithms for inclusion and equivalence of deterministic omega acceptors	2020	Dana Angluin Dana Fisman
+	On the Complexity of Symbolic Finite-State Automata	2020	Dana Fisman Hadar Frenkel Sandra Zilles
+	Learning of Structurally Unambiguous Probabilistic Grammars	2020	Dana Fisman Dolav Nitay Michal Ziv-Ukelson
+	Learning Interpretable Models in the Property Specification Language	2020	Rajarshi Roy Dana Fisman Daniel Neider
+	Safety Synthesis Sans Specification	2020	Roderick Bloem Hana Chockler Masoud Ebrahimi Dana Fisman Heinz Riener
+ PDF Chat	Streamable regular transductions	2019	Rajeev Alur Dana Fisman Konstantinos Mamouras Mukund Raghothaman Caleb Stanford
+	Query learning of derived ωω\omega-tree languages in polynomial time.	2019	Dana Angluin Timos Antonopoulos Dana Fisman
+	SyGuS-Comp 2018: Results and Analysis.	2019	Rajeev Alur Dana Fisman Saswat Padhi Rishabh Singh Abhishek Udupa
+	SyGuS-Comp 2018: Results and Analysis	2019	Rajeev Alur Dana Fisman Saswat Padhi Rishabh Singh Abhishek Udupa
+ PDF Chat	Regular omega-Languages with an Informative Right Congruence	2018	Dana Angluin Dana Fisman
+	Streamable Regular Transductions	2018	Rajeev Alur Dana Fisman Konstantinos Mamouras Mukund Raghothaman Caleb Stanford
+	Query learning of derived $ω$-tree languages in polynomial time	2018	Dana Angluin Timos Antonopoulos Dana Fisman
+	Streamable Regular Transductions	2018	Rajeev Alur Dana Fisman Konstantinos Mamouras Mukund Raghothaman Caleb Stanford
+	Proceedings Sixth Workshop on Synthesis	2017	Dana Fisman Swen Jacobs
+	Proceedings Sixth Workshop on Synthesis	2017	Dana Fisman Swen Jacobs
+ PDF Chat	SyGuS-Comp 2017: Results and Analysis	2017	Rajeev Alur Dana Fisman Rishabh Singh Armando Solar-Lezama
+	Families of DFAs as Acceptors of $\omega$-Regular Languages	2016	Dana Angluin Udi Boker Dana Fisman
+ PDF Chat	SyGuS-Comp 2016: Results and Analysis	2016	Rajeev Alur Dana Fisman Rishabh Singh Armando Solar-Lezama
+ PDF Chat	Results and Analysis of SyGuS-Comp'15	2016	Rajeev Alur Dana Fisman Rishabh Singh Armando Solar-Lezama
+	Families of DFAs as Acceptors of $ω$-Regular Languages	2016	Dana Angluin Udi Boker Dana Fisman
+	Rational Synthesis	2009	Dana Fisman Orna Kupferman Yoad Lustig
+	Rational Synthesis	2009	Dana Fisman Orna Kupferman Yoad Lustig

Common Coauthors

Coauthor	Papers Together
Rajeev Alur	8
Dana Angluin	8
Rishabh Singh	5
Michal Ziv-Ukelson	5
Dolav Nitay	5
Hadar Frenkel	4
Sandra Zilles	4
Swen Jacobs	4
Caleb Stanford	3
Mukund Raghothaman	3
Armando Solar-Lezama	3
Konstantinos Mamouras	3
Abhishek Udupa	2
Heinz Riener	2
Timos Antonopoulos	2
Roderick Bloem	2
Hana Chockler	2
Yoad Lustig	2
Daniel Neider	2
Masoud Ebrahimi	2
Orna Kupferman	2
Saswat Padhi	2
Noa Izsak	2
Udi Boker	2
Rajarshi Roy	1
Yaara Shoval	1
Oded Margalit	1
Joshua Grogin	1
Gera Weiss	1
Oded Zimerman	1
Rajarshi Roy	1
Emmanuel Goldberg	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Language to Specify Syntax-Guided Synthesis Problems	2014	Mukund Raghothaman Abhishek Udupa	4
+	Symbolic Solving of Extended Regular Expression Inequalities.	2014	Matthias Keil Peter Thiemann	3
+ PDF Chat	Regular omega-Languages with an Informative Right Congruence	2018	Dana Angluin Dana Fisman	3
+ PDF Chat	Learning of Structurally Unambiguous Probabilistic Grammars	2023	Dana Fisman Dolav Nitay Michal Ziv-Ukelson	3
+ PDF Chat	Learning of Structurally Unambiguous Probabilistic Grammars	2021	Dolav Nitay Dana Fisman Michal Ziv-Ukelson	3
+ PDF Chat	Nested Weighted Automata	2015	Krishnendu Chatterjee Thomas A. Henzinger Jan Otop	2
+ PDF Chat	Regular combinators for string transformations	2014	Rajeev Alur Adam Freilich Mukund Raghothaman	2
+	Nonnegative ranks, decompositions, and factorizations of nonnegative matrices	1993	Joel E. Cohen Uriel G. Rothblum	2
+ PDF Chat	Results and Analysis of SyGuS-Comp'15	2016	Rajeev Alur Dana Fisman Rishabh Singh Armando Solar-Lezama	2
+ PDF Chat	MSO definable string transductions and two-way finite-state transducers	2001	Joost Engelfriet Hendrik Jan Hoogeboom	2
+	On the expressibility of copyless cost register automata.	2015	Filip Mazowiecki Cristian Riveros	2
+	On the properties of positive spanning sets and positive bases	2015	Rommel G. Regis	2
+ PDF Chat	Streaming Tree Transducers	2017	Rajeev Alur Loris D’Antoni	2
+ PDF Chat	Decision Problems for Additive Regular Functions	2013	Rajeev Alur Mukund Raghothaman	2
+ PDF Chat	SyGuS Techniques in the Core of an SMT Solver	2017	Andrew Reynolds Cesare Tinelli	2
+	An Overview of Machine Teaching	2018	Xiaojin Zhu Adish Singla Sandra Zilles Anna N. Rafferty	2
+ PDF Chat	Learning Linear Temporal Properties	2018	Daniel Neider Ivan Gavran	2
+ PDF Chat	Query Learning Algorithm for Residual Symbolic Finite Automata	2019	Kaizaburo Chubachi Diptarama Hendrian Ryo Yoshinaka Ayumi Shinohara	2
+ PDF Chat	Inferring Symbolic Automata	2023	Dana Fisman Hadar Frenkel Sandra Zilles	2
+	Learning Deterministic Weighted Automata with Queries and Counterexamples	2019	Gail Garfinkel Weiss Yoav Goldberg Eran Yahav	2
+	Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata	2010	Sven Schewe	2
+	Environment Assumptions for Synthesis	2008	Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann	1
+ PDF Chat	Learning Interpretable Temporal Properties from Positive Examples Only	2023	Rajarshi Roy Jean-Raphaël Gaglione Nasim Baharisangari Daniel Neider Zhe Xu Ufuk Topcu	1
+	Families of DFAs as Acceptors of $\omega$-Regular Languages	2016	Dana Angluin Udi Boker Dana Fisman	1
+ PDF Chat	A counterexample-guided abstraction-refinement framework for markov decision processes	2010	Rohit Chadha Mahesh Viswanathan	1
+	Learning Deterministic Weighted Automata with Queries and Counterexamples	2019	Gail Garfinkel Weiss Yoav Goldberg Eran Yahav	1
+ PDF Chat	Parameterized Synthesis	2014	Swen Jacobs Roderick Bloem	1
+	Learning Broadcast Protocols	2023	Dana Fisman Noa Izsak Swen Jacobs	1
+ PDF Chat	Learning Regular Languages over Large Ordered Alphabets	2015	Irini-Eleftheria Mens Oded Maler	1
+ PDF Chat	Horn-ICE learning for synthesizing invariants and contracts	2018	P. Ezudheen Daniel Neider Deepak D’Souza Pranav Garg P. Madhusudan	1
+ PDF Chat	A Proof of Kamp's theorem	2014	Alexander Rabinovich	1
+ PDF Chat	L∗-based learning of Markov decision processes (extended version)	2021	Martin Tappler Bernhard K. Aichernig Giovanni Bacci Maria Eichlseder Kim G. Larsen	1
+ PDF Chat	Transducers with Origin Information	2014	Mikołaj Bojańczyk	1
+ PDF Chat	Active learning for sound negotiations✱	2022	Anca Muscholl Igor Walukiewicz	1
+	Symbolic Solving of Extended Regular Expression Inequalities	2014	Matthias Keil Peter Thiemann	1
+	Learning of Structurally Unambiguous Probabilistic Grammars	2020	Dana Fisman Dolav Nitay Michal Ziv-Ukelson	1
+ PDF Chat	Polynomial Identification of $\omega$-Automata	2021	Dana Fisman	1
+ PDF Chat	Tight Cutoffs for Guarded Protocols with Fairness	2015	Simon Josef Außerlechner Swen Jacobs Ayrat Khalimov	1
+ PDF Chat	Using SyGuS to Synthesize Reactive Motion Plans	2016	Sarah Chasins Julie L. Newcomb	1
+	Data-Driven Loop Invariant Inference with Automatic Feature Synthesis.	2017	Saswat Padhi Todd Millstein	1
+	Learning from positive and negative examples: New proof for binary alphabets	2023	Jonas Lingg Mateus de Oliveira Oliveira Petra Wolf	1
+ PDF Chat	Constructing Deterministic Parity Automata from Positive and Negative Examples	2024	León Bohn Christof Löding	1
+	Constructing Deterministic Parity Automata from Positive and Negative Examples	2023	León Bohn Christof Löding	1
+	LoopInvGen: A Loop Invariant Generator based on Precondition Inference	2017	Saswat Padhi Rahul Sharma Todd Millstein	1