Sarai Sheinvald

Area of research

Computational Theory and Mathematics · Artificial Intelligence

Research interest

Research interests include Parameterized complexity, Computer science, Decidability, Undecidable problem, Model checking, and Rotation formalisms in three dimensions.

h-index

—

citations

works

NIH funding

—

primary concept

—

✉ Find email ↗

Recent publications

A Game-Theoretic Approach to Simulation of Data-Parameterized Systems

Lecture notes in computer science 2014cited by 4position: lastdoi

An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications

Lecture notes in computer science 2013cited by 8position: lastdoi

Model Checking Systems and Specifications with Parameterized Atomic Propositions

Lecture notes in computer science 2012cited by 14position: lastdoi

Grants

No grants ingested yet.

Frequent collaborators

— · 3 papers (2012–2014)Orna Kupferman · Hebrew University of Jerusalem3 papers (2012–2014)

Looking for a research collaborator?

Search millions of scientists by field, institution, impact, and funding status — see their work, find their email, and reach out directly.

Find collaborators in Computational Theory and Mathematics · Artificial Intelligence →