Alexander Moshe Rabinovich

71 papers A* 7B 15C 1Misc 2Journal 36Unranked 9
YearRankTypeTitle / Venue / Authors
2016 J jnl
No Future without (a hint of) Past: A Finite Basis for 'Almost Future' Temporal Logic.
Inf. Comput.
Dorit Pardo, Alexander Moshe Rabinovich
2015 J jnl
The complexity of multi-mean-payoff and multi-energy games.
Inf. Comput.
Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Moshe Rabinovich, Jean-François Raskin
2010 J jnl
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees.
Fundam. Informaticae
Vince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich
2008 J jnl
Decidable metric logics.
Inf. Comput.
Yoram Hirshfeld, Alexander Moshe Rabinovich
2007 J jnl
A Logic of Reachable Patterns in Linked Data-Structures
CoRR
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
2007 J jnl
A logic of reachable patterns in linked data-structures.
J. Log. Algebraic Methods Program.
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
2007 B conf
Decidable Fragments of Many-Sorted Logic.
LPAR
Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv
2006 J jnl
A Logic of Probability with Decidable Model Checking.
J. Log. Comput.
Danièle Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko
2006 B conf
A Logic of Reachable Patterns in Linked Data-Structures.
FoSSaCS
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani
2006 B conf
An Expressive Temporal Logic for Real Time.
MFCS
Yoram Hirshfeld, Alexander Moshe Rabinovich
2006 B conf
Church Synthesis Problem with Parameters.
CSL
Alexander Moshe Rabinovich
2006 — conf
Decidability and Expressive Power of Real Time Logics.
FORMATS
Alexander Moshe Rabinovich
2006 B conf
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates.
CSL
Alexander Moshe Rabinovich, Wolfgang Thomas
2006 Misc conf
Expressiveness of Metric Modalities for Continuous Time.
CSR
Yoram Hirshfeld, Alexander Moshe Rabinovich
2005 J jnl
Timer formulas and decidable metric temporal logic.
Inf. Comput.
Yoram Hirshfeld, Alexander Moshe Rabinovich
2005 J jnl
Verification of probabilistic systems with faulty communication.
Inf. Comput.
Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Moshe Rabinovich, Philippe Schnoebelen
2004 C conf
Composition Theorems for Generalized Sum and Recursively Defined Types.
WoLLIC
Alexander Moshe Rabinovich
2004 J jnl
Logics for Real Time: Decidability and Complexity.
Fundam. Informaticae
Yoram Hirshfeld, Alexander Moshe Rabinovich
2004 J jnl
Selection and Uniformization in Generalized Product.
Log. J. IGPL
Alexander Moshe Rabinovich
2004 J jnl
Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness.
Fundam. Informaticae
Dorit Pardo, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
2004 B conf
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics.
CSL
Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
2004 A* conf
Verification via Structure Simulation.
CAV
Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
2003 J jnl
Automata over continuous time.
Theor. Comput. Sci.
Alexander Moshe Rabinovich
2003 J jnl
Counting on CTL
Inf. Comput.
Faron Moller, Alexander Moshe Rabinovich
2003 J jnl
Future temporal logic needs infinitely many modalities.
Inf. Comput.
Yoram Hirshfeld, Alexander Moshe Rabinovich
2003 A* conf
Quantitative Analysis of Probabilistic Lossy Channel Systems.
ICALP
Alexander Moshe Rabinovich
2003 B conf
Verification of Probabilistic Systems with Faulty Communication.
FoSSaCS
Parosh Aziz Abdulla, Alexander Moshe Rabinovich
2002 B conf
A Logic of Probability with Decidable Model-Checking.
CSL
Danièle Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko
2002 J jnl
Decidability of Split Equivalence.
Inf. Comput.
Y. Abramson, Alexander Moshe Rabinovich
2002 J jnl
Definability in Rationals with Real Order in the Background.
J. Log. Comput.
Yuri Gurevich, Alexander Moshe Rabinovich
2002 B conf
Expressive Power of Temporal Logics.
CONCUR
Alexander Moshe Rabinovich
2002 J jnl
Finite variability interpretation of monadic logic of order.
Theor. Comput. Sci.
Alexander Moshe Rabinovich
2002 J jnl
Monadic Logic of Order over Naturals has no Finite Base.
J. Log. Comput.
Danièle Beauquier, Alexander Moshe Rabinovich
2002 — conf
The Probability Nesting Game.
EXPRESS
Danièle Beauquier, Yoram Hirshfeld, Alexander Moshe Rabinovich, Anatol Slissenko
2001 J jnl
An Infinite Hierarchy of Temporal Logics over Branching Time.
Inf. Comput.
Alexander Moshe Rabinovich, Shahar Maoz
2000 J jnl
Definability and Undefinability with Real Order at The Background.
J. Symb. Log.
Yuri Gurevich, Alexander Moshe Rabinovich
2000 J jnl
Expressive Completeness of Duration Calculus.
Inf. Comput.
Alexander Moshe Rabinovich
2000 J jnl
Star free expressions over the reals.
Theor. Comput. Sci.
Alexander Moshe Rabinovich
2000 J jnl
Succinctness Gap between Monadic Logic and Duration Calculus.
Fundam. Informaticae
Alexander Moshe Rabinovich
2000 J jnl
Symbolic model checking for µ-calculus requires exponential time.
Theor. Comput. Sci.
Alexander Moshe Rabinovich
2000 B conf
Why so Many Temporal Logics Climb up the Trees?
MFCS
Alexander Moshe Rabinovich, Shahar Maoz
1999 A* conf
A Framework for Decidable Metrical Logics.
ICALP
Yoram Hirshfeld, Alexander Moshe Rabinovich
1999 A* conf
On the Expressive Power of CTL.
LICS
Faron Moller, Alexander Moshe Rabinovich
1999 B conf
Quantitative Temporal Logic.
CSL
Yoram Hirshfeld, Alexander Moshe Rabinovich
1998 B conf
Expressive Completeness of Temporal Logic of Action.
MFCS
Alexander Moshe Rabinovich
1998 J jnl
Modularity and Expressibility for Nets of Relations.
Acta Informatica
Alexander Moshe Rabinovich
1998 J jnl
Non-Elementary Lower Bound for Propositional Duration Calculus.
Inf. Process. Lett.
Alexander Moshe Rabinovich
1998 J jnl
On Translations of Temporal Logic of Actions Into Monadic Second-Order Logic.
Theor. Comput. Sci.
Alexander Moshe Rabinovich
1998 J jnl
On the Decidability of Continuous Time Specification Formalisms.
J. Log. Comput.
Alexander Moshe Rabinovich
1997 J jnl
Complexity of Equivalence Problems for Concurrent Systems of Finite Agents.
Inf. Comput.
Alexander Moshe Rabinovich
1997 B conf
From Finite Automata toward Hybrid Systems (Extended Abstract).
FCT
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1997 J jnl
On Schematological Equivalence of Partially Interpreted Dataflow Networks.
Inf. Comput.
Alexander Moshe Rabinovich
1997 — conf
On expressive completeness of duration and mean value calculi.
EXPRESS
Alexander Moshe Rabinovich
1996 — conf
A solution of an interleaving decision problem by a partial order technique.
Partial Order Methods in Verification
Albert R. Meyer, Alexander Moshe Rabinovich
1996 J jnl
On Schematological Equivalence of Dataflow Networks.
Inf. Comput.
Alexander Moshe Rabinovich
1995 J jnl
Covering properties of convolutional codes and associated lattices.
IEEE Trans. Inf. Theory
A. Robert Calderbank, Peter C. Fishburn, Alexander Moshe Rabinovich
1995 J jnl
On a technique to calculate the exact performance of a convolutional code.
IEEE Trans. Inf. Theory
Marc R. Best, Marat V. Burnashev, Yannick Lévy, Alexander Moshe Rabinovich, Peter C. Fishburn, A. Robert Calderbank, Daniel J. Costello Jr.
1993 B conf
A Complete Axiomatisation for Trace Congruence of Finite State Behaviors.
MFPS
Alexander Moshe Rabinovich
1993 — conf
Sequence Based Methods for Data Transmission and Source Compression.
AAECC
A. Robert Calderbank, Peter C. Fishburn, Alexander Moshe Rabinovich
1992 A* conf
Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract).
ICALP
Alexander Moshe Rabinovich
1992 — conf
Covering Properties of Binary Convolutional Codes and Lattice Quantization of Uniform Sources.
Coding And Quantization
A. Robert Calderbank, Peter C. Fishburn, Alexander Moshe Rabinovich
1992 B conf
Logic of Trace Languages (Extended Abstract).
CONCUR
Alexander Moshe Rabinovich
1992 Misc conf
Non Modularity and Expressibility for Nets of Relations.
LFCS
Alexander Moshe Rabinovich
1991 J jnl
Connectedness and Synchronization.
Theor. Comput. Sci.
Antoni W. Mazurkiewicz, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1991 — conf
On Nets, Algebras and Modularity.
TACS
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1990 A* conf
Communication among Relations (Extended Abstract).
ICALP
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1989 — conf
Discerning Causality in Interleaving Behavior.
Logic at Botik
Yoram Hirshfeld, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1989 A* conf
Nets and Data Flow Interpreters
LICS
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1988 — —
Nets and processes
Alexander Moshe Rabinovich
1988 — conf
Nets of processes and data flow.
REX Workshop
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1987 J jnl
Pomset semantics is consistenct with data flow semantics.
Bull. EATCS
Alexander Moshe Rabinovich