Dana Fisman | Academic Influence

Dana Fisman's AcademicInfluence.com Rankings

Dana Fisman

Computer Science

#12555

World Rank

#13428

Historical Rank

Computational Linguistics

#3171

World Rank

#3212

Historical Rank

Machine Learning

#5838

World Rank

#5925

Historical Rank

Artificial Intelligence

#6292

World Rank

#6400

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Dana Fisman's Degrees

Bachelors Computer Science Tel Aviv University
Masters Computer Science Tel Aviv University
PhD Computer Science Tel Aviv University

Similar Degrees You Can Earn

Why Is Dana Fisman Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Dana Fisman is an Israeli computer scientist whose research has included work on the reconstruction of automaton-based models in computational learning theory including induction of regular languages, on temporal logic and the Property Specification Language, and on program synthesis. She is an associate professor of computer science at Ben-Gurion University of the Negev.

(See a Problem?)

Dana Fisman's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Reasoning with Temporal Logic on Truncated Paths (2003) (213)
A Practical Introduction to PSL (2006) (157)
The Temporal Logic Sugar (2001) (153)
Rational Synthesis (2009) (137)
A Practical Introduction to PSL (Series on Integrated Circuits and Systems) (2006) (109)
Search-based program synthesis (2018) (69)
Regular Programming for Quantitative Properties of Data Streams (2016) (62)
Learning regular omega languages (2014) (56)
A Framework for Inherent Vacuity (2009) (46)
Learning Regular Languages via Alternating Automata (2015) (42)
Automata Construction for PSL (2005) (38)
for Temporal (2001) (33)
Learning Interpretable Models in the Property Specification Language (2020) (33)
On Verifying Fault Tolerance of Distributed Protocols (2008) (32)
SyGuS-Comp 2016: Results and Analysis (2016) (30)
The Definition of a Temporal Clock Operator (2003) (30)
Beyond Regular Model Checking (2001) (29)
SyGuS-Comp 2017: Results and Analysis (2017) (27)
A topological characterization of weakness (2005) (25)
Results and Analysis of SyGuS-Comp'15 (2016) (21)
Embedding finite automata within regular expressions (2008) (20)
Temporal Antecedent Failure: Refining Vacuity (2007) (18)
Streamable Regular Transductions (2018) (17)
Basic Results on the Semantics of Accellera PSL 1.1 Foundation Language (2004) (17)
Families of DFAs as Acceptors of omega-Regular Languages (2016) (17)
Regular omega-Languages with an Informative Right Congruence (2018) (16)
The Safety Simple Subset (2005) (15)
Augmenting a Regular Expression-Based Temporal Logic with Local Variables (2008) (13)
Inferring regular languages and ω-languages (2018) (13)
Families of DFAs as Acceptors of $ω$-Regular Languages (2016) (11)
Automata construction for onthe-fly Model Checking PSL Safety Simple Subset ? (2005) (11)
SyGuS-Comp 2018: Results and Analysis (2019) (10)
The >, ⊥ approach for truncated semantics (2006) (10)
A Modular Approach for Büchi Determinization (2015) (10)
Automata Construction for Regular Expressions in Model Checking (2004) (10)
Temporal Reasoning on Incomplete Paths (2018) (9)
Colored nested words (2016) (9)
Functional Specification of Hardware via Temporal Logic (2018) (8)
Regular ω-languages with an informative right congruence (2020) (8)
Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries (2020) (8)
Reasoning about Finite-State Switched Systems (2009) (7)
On the Characterization of Until as a Fixed Point Under Clocked Semantics (2007) (6)
Structural Contradictions (2009) (5)
Vacuity in practice: temporal antecedent failure (2015) (4)
Polynomial Identification of ømega-Automata (2020) (4)
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations (2014) (4)
Temporal Logic Made Practical (2014) (4)
Query Learning of Derived Omega-Tree Languages in Polynomial Time (2018) (3)
SVA and PSL Local Variables - A Practical Approach (2013) (3)
Computer Aided Verification (2003) (3)
Polynomial time algorithms for inclusion and equivalence of deterministic omega acceptors (2020) (2)
Proposal for Extending Annex B of PSL with Local Variables , Procedural Blocks , Past Expressions and Clock Alignment Operators (2007) (2)
Inferring Symbolic Automata (2020) (2)
Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata (2022) (2)
Polynomial Identification of omega-Automata (2022) (1)
The Normalized Edit Distance with Uniform Operation Costs is a Metric (2022) (1)
Learning of Structurally Unambiguous Probabilistic Grammars (2020) (1)
On the Complexity of Symbolic Finite-State Automata (2020) (1)
Beyond Regular Model Checking (Extended Abstract) (2001) (1)
IBM Research Report Proposed New Appendix B for IEEE 1850 (PSL) (2008) (1)
Mapping SVA to PSL (2003) (1)
The De nition of a Temporal Clo k (2003) (1)
Query learning of derived ω-tree languages in polynomial time (2018) (1)
Title: the Definition of a Temporal Clock Operator (0)
Proposal for Accellera PSL Temporal Layer Formal Syntax and Semantics (2004) (0)
Proceedings Sixth Workshop on Synthesis (2017) (0)
Learning and Characterizing Fully-Ordered Lattice Automata (2022) (0)
Track 2 : ( Logic , Semantics , Specification and Verification ) Title : Truncating Regular Expressions (0)
Learning Languages of Infinite Words (2022) (0)
Proceedings Sixth Workshop on Synthesis: Preface (2017) (0)
A promising , useful tool for future programming development environments (2018) (0)
A Complexity Measure on Büchi Automata (2016) (0)
Vacuity in practice: temporal antecedent failure (2015) (0)
Polynomial time algorithms for inclusion and equivalence of deterministic parity acceptors (2020) (0)
A Normalized Edit Distance on Infinite Words (2023) (0)
Abstracts of presentations to the Annual Meetings of the Canadian Association of General Surgeons Canadian Association of Thoracic Surgeons Canadian Hepato-Pancreato-Biliary Society Canadian Society of Surgical Oncology Canadian Society of Colon and Rectal Surgeons: Victoria, BC Sept. 10-13, 2009. (2009) (0)
Polynomial Identiﬁcation of ω -Automata (cid:3) (2020) (0)
Reasoning with Temporal Logi on Trun ated (2003) (0)
THE COMPUTATION TREE TO INCLUDE ONLY MODEL BEHAVORS DEFINED SUCCNCTLY BY AUSER VIA REGULAR EXPRESSIONS AS BEING OF INTEREST (2017) (0)
Special Issue on Syntax-Guided Synthesis Preface (2021) (0)
Safety Synthesis Sans Specification (2020) (0)

This paper list is powered by the following services:

Other Resources About Dana Fisman

en.wikipedia.org

What Schools Are Affiliated With Dana Fisman?

Dana Fisman is affiliated with the following schools: