| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yoram Hirshfeld, Alexander Rabinovich |
Continuous time temporal logic with counting.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
Temporal logics over linear time domains are in PSPACE. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Bès, Alexander Rabinovich |
On countable chains having decidable monadic theory. |
J. Symb. Log. |
2012 |
DBLP BibTeX RDF |
|
| 1 | Vince Bárány, Lukasz Kaiser, Alexander Rabinovich |
Expressing cardinality quantifiers in monadic second-order logic over chains. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alexis Bès, Alexander Rabinovich |
Decidable Expansions of Labelled Linear Orderings |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell |
The Church Synthesis Problem with Metric. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaron Velner, Alexander Rabinovich |
Church Synthesis Problem for Noisy Input. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich |
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
Complexity of metric temporal logics with counting and the Pnueli modalities. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aharon Abadi, Alexander Rabinovich, Mooly Sagiv |
Decidable fragments of many-sorted logic. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
The full binary tree cannot be interpreted in a chain. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alexander Rabinovich, Amit Shomrat |
Selection over classes of ordinals expanded by monadic predicates. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Damian Niwinski, Alexander Rabinovich, Adam Radziwonczyk-Syta, Michal Skrzypczak |
On the Borel Complexity of MSO Definable Sets of Branches. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Demri, Alexander Rabinovich |
The complexity of linear-time temporal logic over the class of ordinals |
Logical Methods in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
Temporal Logics over Linear Time Domains Are in PSPACE. |
RP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Bès, Alexander Rabinovich |
Decidable Expansions of Labelled Linear Orderings. |
Fields of Logic and Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell |
Alternating Timed Automata over Bounded Time. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Church's Problem, Timed Automata, Alternation |
| 1 | Alexander Rabinovich |
The Church Problem for Countable Ordinals |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Joël Ouaknine, Alexander Rabinovich, James Worrell |
Time-Bounded Verification. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
Decidable Extensions of Church's Problem. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vince Bárány, Lukasz Kaiser, Alexander Rabinovich |
Cardinality Quantifiers in MLO over Trees. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
Synthesis of Finite-state and Definable Winning Strategies. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Hirshfeld, Alexander Moshe Rabinovich |
Decidable metric logics. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
Arity hierarchy for temporal logics. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich, Amit Shomrat |
Selection in the monadic theory of a countable ordinal. |
J. Symb. Log. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alexander Rabinovich |
Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnon Avron, Nachum Dershowitz, Alexander Rabinovich |
Boris A. Trakhtenbrot: Academic Genealogy and Publications. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich, Amit Shomrat |
Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.) |
Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday |
Pillars of Computer Science |
2008 |
DBLP BibTeX RDF |
|
| 1 | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |
A logic of reachable patterns in linked data-structures. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |
A Logic of Reachable Patterns in Linked Data-Structures |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv |
Decidable Fragments of Many-Sorted Logic. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
Temporal logics with incommensurable distances are undecidable. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
On decidability of monadic logic of order over the naturals extended by monadic predicates. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
The Church Synthesis Problem with Parameters. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Hirshfeld, Alexander Rabinovich |
Expressiveness of Metric modalities for continuous time. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
Composition Theorem for Generalized Sum. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alexander Rabinovich |
The Church Synthesis Problem with Parameters |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alexander Rabinovich |
On compositionality and its limitations. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
Feferman-Vaught theorem, composition methods, modal logic, Compositional verification |
| 1 | Stéphane Demri, Alexander Rabinovich |
The Complexity of Temporal Logic with Until and Since over Ordinals. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich, Wolfgang Thomas |
Logical Refinements of Church's Problem. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Danièle Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko |
A Logic of Probability with Decidable Model Checking. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Hirshfeld, Alexander Moshe Rabinovich |
Expressiveness of Metric Modalities for Continuous Time. |
CSR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Decidability and Expressive Power of Real Time Logics. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Hirshfeld, Alexander Moshe Rabinovich |
An Expressive Temporal Logic for Real Time. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich, Wolfgang Thomas |
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Church Synthesis Problem with Parameters. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |
A Logic of Reachable Patterns in Linked Data-Structures. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
Quantitative analysis of probabilistic lossy channel systems. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich, Ph. Schnoebelen |
BTL2 and the expressive power of ECTL+. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Hirshfeld, Alexander Rabinovich |
Expressiveness of Metric modalities for continuous time |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yoram Hirshfeld, Alexander Moshe Rabinovich |
Timer formulas and decidable metric temporal logic. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Moshe Rabinovich, Ph. Schnoebelen |
Verification of probabilistic systems with faulty communication. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Composition Theorems for Generalized Sum and Recursively Defined Types. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Selection and Uniformization in Generalized Product. |
Logic Journal of the IGPL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Hirshfeld, Alexander Moshe Rabinovich |
Logics for Real Time: Decidability and Complexity. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | D. Pardo, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |
Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
Verification via Structure Simulation. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Automata over continuous time. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Faron Moller, Alexander Moshe Rabinovich |
Counting on CTL*: on the expressive power of monadic path logic. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Hirshfeld, Alexander Moshe Rabinovich |
Future temporal logic needs infinitely many modalities. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Quantitative Analysis of Probabilistic Lossy Channel Systems. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Alexander Moshe Rabinovich |
Verification of Probabilistic Systems with Faulty Communication. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Finite variability interpretation of monadic logic of order. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Y. Abramson, Alexander Moshe Rabinovich |
Decidability of Split Equivalence. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Danièle Beauquier, Yoram Hirshfeld, Alexander Moshe Rabinovich, Anatol Slissenko |
The Probability Nesting Game. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Danièle Beauquier, Alexander Moshe Rabinovich |
Monadic Logic of Order over Naturals has no Finite Base. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Alexander Moshe Rabinovich |
Definability in Rationals with Real Order in the Background. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert R. Meyer, Alexander Moshe Rabinovich |
Valid Identity Problem for Shuffle Regular Expressions. |
Journal of Automata, Languages and Combinatorics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Expressive Power of Temporal Logics. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Danièle Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko |
A Logic of Probability with Decidable Model-Checking. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich, Shahar Maoz |
An Infinite Hierarchy of Temporal Logics over Branching Time. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Symbolic model checking for µ-calculus requires exponential time. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Star free expressions over the reals. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Expressive Completeness of Duration Calculus. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Alexander Moshe Rabinovich |
Definability and Undefinability with Real Order at The Background. |
J. Symb. Log. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Succinctness Gap between Monadic Logic and Duration Calculus. |
Fundam. Inform. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich, Shahar Maoz |
Why so Many Temporal Logics Climb up the Trees? |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Hirshfeld, Alexander Moshe Rabinovich |
A Framework for Decidable Metrical Logics. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Faron Moller, Alexander Moshe Rabinovich |
On the Expressive Power of CTL. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Hirshfeld, Alexander Moshe Rabinovich |
Quantitative Temporal Logic. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Non-Elementary Lower Bound for Propositional Duration Calculus. |
Inf. Process. Lett. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
On Translations of Temporal Logic of Actions Into Monadic Second-Order Logic. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Modularity and Expressibility for Nets of Relations. |
Acta Inf. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
On the Decidability of Continuous Time Specification Formalisms. |
J. Log. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Expressive Completeness of Temporal Logic of Action. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
On Schematological Equivalence of Partially Interpreted Dataflow Networks. |
Inf. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Complexity of Equivalence Problems for Concurrent Systems of Finite Agents. |
Inf. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
On expressive completeness of duration and mean value calculi. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |
From Finite Automata toward Hybrid Systems (Extended Abstract). |
FCT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
On Schematological Equivalence of Dataflow Networks. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Robert Calderbank, Peter C. Fishburn, Alexander Moshe Rabinovich |
Covering properties of convolutional codes and associated lattices. |
IEEE Transactions on Information Theory |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | M. R. Best, Marat V. Burnashev, Y. Levy, Alexander Moshe Rabinovich, Peter C. Fishburn, A. Robert Calderbank, Daniel J. Costello Jr. |
On a technique to calculate the exact performance of a convolutional code. |
IEEE Transactions on Information Theory |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
A Complete Axiomatisation for Trace Congruence of Finite State Behaviors. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Robert Calderbank, Peter C. Fishburn, Alexander Moshe Rabinovich |
Sequence Based Methods for Data Transmission and Source Compression. |
AAECC |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Logic of Trace Languages (Extended Abstract). |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Non Modularity and Expressibility for Nets of Relations. |
LFCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Moshe Rabinovich |
Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract). |
ICALP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoni W. Mazurkiewicz, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |
Connectedness and Synchronization. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")