dblp.uni-trier.dewww.uni-trier.de

Alexander Moshe Rabinovich Vis

Alexander Rabinovich

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
87EEJoël Ouaknine, Alexander Rabinovich, James Worrell: Time-Bounded Verification. CONCUR 2009: 496-510
86EEVince Bárány, Lukasz Kaiser, Alexander Rabinovich: Cardinality Quantifiers in MLO over Trees. CSL 2009: 117-131
85EEAlexander Rabinovich: Decidable Extensions of Church's Problem. CSL 2009: 424-439
2008
84 Arnon Avron, Nachum Dershowitz, Alexander Rabinovich: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday Springer 2008
83EEAlexander Rabinovich: Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities. FORMATS 2008: 93-108
82EEArnon Avron, Nachum Dershowitz, Alexander Rabinovich: Boris A. Trakhtenbrot: Academic Genealogy and Publications. Pillars of Computer Science 2008: 46-57
81EEAlexander Rabinovich, Amit Shomrat: Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey. Pillars of Computer Science 2008: 571-588
80EEYoram Hirshfeld, Alexander Moshe Rabinovich: Decidable metric logics. Inf. Comput. 206(12): 1425-1442 (2008)
79EEAlexander Rabinovich: The Church Problem for Countable Ordinals Logical Methods in Computer Science 5(2): (2008)
78EEAlexander Rabinovich: Arity hierarchy for temporal logics. Theor. Comput. Sci. 403(2-3): 373-381 (2008)
2007
77EEAlexander Rabinovich, Wolfgang Thomas: Logical Refinements of Church's Problem. CSL 2007: 69-83
76EEAharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv: Decidable Fragments of Many-Sorted Logic. LPAR 2007: 17-31
75EEStéphane Demri, Alexander Rabinovich: The Complexity of Temporal Logic with Until and Since over Ordinals. LPAR 2007: 531-545
74EEAlexander Rabinovich: On compositionality and its limitations. ACM Trans. Comput. Log. 8(1): (2007)
73EEGreta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani: A Logic of Reachable Patterns in Linked Data-Structures CoRR abs/0705.3610: (2007)
72EEAlexander Rabinovich: The Church Synthesis Problem with Parameters CoRR abs/0708.3477: (2007)
71EEAlexander Rabinovich: Composition Theorem for Generalized Sum. Fundam. Inform. 79(1-2): 137-167 (2007)
70EEAlexander Rabinovich: Temporal logics with incommensurable distances are undecidable. Inf. Comput. 205(5): 707-715 (2007)
69EEAlexander Rabinovich: On decidability of monadic logic of order over the naturals extended by monadic predicates. Inf. Comput. 205(6): 870-889 (2007)
68EEGreta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani: A logic of reachable patterns in linked data-structures. J. Log. Algebr. Program. 73(1-2): 111-142 (2007)
67EEYoram Hirshfeld, Alexander Rabinovich: Expressiveness of Metric modalities for continuous time. Logical Methods in Computer Science 3(1): (2007)
66EEAlexander Rabinovich: The Church Synthesis Problem with Parameters. Logical Methods in Computer Science 3(4): (2007)
2006
65EEAlexander Moshe Rabinovich: Church Synthesis Problem with Parameters. CSL 2006: 546-561
64EEAlexander Moshe Rabinovich, Wolfgang Thomas: Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. CSL 2006: 562-574
63EEYoram Hirshfeld, Alexander Moshe Rabinovich: Expressiveness of Metric Modalities for Continuous Time. CSR 2006: 211-220
62EEAlexander Moshe Rabinovich: Decidability and Expressive Power of Real Time Logics. FORMATS 2006: 32
61EEGreta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani: A Logic of Reachable Patterns in Linked Data-Structures. FoSSaCS 2006: 94-110
60EEYoram Hirshfeld, Alexander Moshe Rabinovich: An Expressive Temporal Logic for Real Time. MFCS 2006: 492-504
59EEYoram Hirshfeld, Alexander Rabinovich: Expressiveness of Metric modalities for continuous time CoRR abs/cs/0611119: (2006)
58EEAlexander Rabinovich: Quantitative analysis of probabilistic lossy channel systems. Inf. Comput. 204(5): 713-740 (2006)
57EEAlexander Rabinovich, Ph. Schnoebelen: BTL2 and the expressive power of ECTL+. Inf. Comput. 204(7): 1023-1044 (2006)
56EEDanièle Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko: A Logic of Probability with Decidable Model Checking. J. Log. Comput. 16(4): 461-487 (2006)
2005
55EEAlexander Moshe Rabinovich: Composition Theorems for Generalized Sum and Recursively Defined Types. Electr. Notes Theor. Comput. Sci. 123: 209-211 (2005)
54EEYoram Hirshfeld, Alexander Moshe Rabinovich: Timer formulas and decidable metric temporal logic. Inf. Comput. 198(2): 148-178 (2005)
53EEParosh Aziz Abdulla, Nathalie Bertrand, Alexander Moshe Rabinovich, Ph. Schnoebelen: Verification of probabilistic systems with faulty communication. Inf. Comput. 202(2): 141-165 (2005)
2004
52EENeil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh: Verification via Structure Simulation. CAV 2004: 281-294
51EENeil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh: The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. CSL 2004: 160-174
50EEYoram Hirshfeld, Alexander Moshe Rabinovich: Logics for Real Time: Decidability and Complexity. Fundam. Inform. 62(1): 1-28 (2004)
49EED. Pardo, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot: Synchronous Circuits over Continuous Time: Feedback Reliability and mpleteness. Fundam. Inform. 62(1): 123-137 (2004)
48EEAlexander Moshe Rabinovich: Selection and Uniformization in Generalized Product. Logic Journal of the IGPL 12(2): 125-134 (2004)
2003
47EEParosh Aziz Abdulla, Alexander Moshe Rabinovich: Verification of Probabilistic Systems with Faulty Communication. FoSSaCS 2003: 39-53
46EEAlexander Moshe Rabinovich: Quantitative Analysis of Probabilistic Lossy Channel Systems. ICALP 2003: 1008-1021
45EEFaron Moller, Alexander Moshe Rabinovich: Counting on CTL*: on the expressive power of monadic path logic. Inf. Comput. 184(1): 147-159 (2003)
44EEYoram Hirshfeld, Alexander Moshe Rabinovich: Future temporal logic needs infinitely many modalities. Inf. Comput. 187(2): 196-208 (2003)
43EEAlexander Moshe Rabinovich: Automata over continuous time. Theor. Comput. Sci. 300(1-3): 331-363 (2003)
2002
42EEAlexander Moshe Rabinovich: Expressive Power of Temporal Logics. CONCUR 2002: 57-75
41EEDanièle Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko: A Logic of Probability with Decidable Model-Checking. CSL 2002: 306-321
40EEDanièle Beauquier, Yoram Hirshfeld, Alexander Moshe Rabinovich, Anatol Slissenko: The Probability Nesting Game. Electr. Notes Theor. Comput. Sci. 68(2): (2002)
39EEY. Abramson, Alexander Moshe Rabinovich: Decidability of Split Equivalence. Inf. Comput. 173(1): 15-39 (2002)
38EEYuri Gurevich, Alexander Moshe Rabinovich: Definability in Rationals with Real Order in the Background. J. Log. Comput. 12(1): 1-11 (2002)
37EEDanièle Beauquier, Alexander Moshe Rabinovich: Monadic Logic of Order over Naturals has no Finite Base. J. Log. Comput. 12(2): 243-253 (2002)
36 Albert R. Meyer, Alexander Moshe Rabinovich: Valid Identity Problem for Shuffle Regular Expressions. Journal of Automata, Languages and Combinatorics 7(1): 109-125 (2002)
35EEAlexander Moshe Rabinovich: Finite variability interpretation of monadic logic of order. Theor. Comput. Sci. 275(1-2): 111-125 (2002)
2001
34EEAlexander Moshe Rabinovich, Shahar Maoz: An Infinite Hierarchy of Temporal Logics over Branching Time. Inf. Comput. 171(2): 306-332 (2001)
2000
33EEAlexander Moshe Rabinovich, Shahar Maoz: Why so Many Temporal Logics Climb up the Trees? MFCS 2000: 629-639
32 Alexander Moshe Rabinovich: Succinctness Gap between Monadic Logic and Duration Calculus. Fundam. Inform. 42(2): 201-210 (2000)
31 Alexander Moshe Rabinovich: Expressive Completeness of Duration Calculus. Inf. Comput. 156(1-2): 320-344 (2000)
30 Yuri Gurevich, Alexander Moshe Rabinovich: Definability and Undefinability with Real Order at The Background. J. Symb. Log. 65(2): 946-958 (2000)
29EEAlexander Moshe Rabinovich: Star free expressions over the reals. Theor. Comput. Sci. 233(1-2): 233-245 (2000)
28EEAlexander Moshe Rabinovich: Symbolic model checking for µ-calculus requires exponential time. Theor. Comput. Sci. 243(1-2): 467-475 (2000)
1999
27EEYoram Hirshfeld, Alexander Moshe Rabinovich: Quantitative Temporal Logic. CSL 1999: 172-187
26EEYoram Hirshfeld, Alexander Moshe Rabinovich: A Framework for Decidable Metrical Logics. ICALP 1999: 422-432
25EEFaron Moller, Alexander Moshe Rabinovich: On the Expressive Power of CTL. LICS 1999: 360-369
1998
24EEAlexander Moshe Rabinovich: Expressive Completeness of Temporal Logic of Action. MFCS 1998: 229-238
23EEAlexander Moshe Rabinovich: Modularity and Expressibility for Nets of Relations. Acta Inf. 35(4): 293-327 (1998)
22EEAlexander Moshe Rabinovich: Non-Elementary Lower Bound for Propositional Duration Calculus. Inf. Process. Lett. 66(1): 7-11 (1998)
21 Alexander Moshe Rabinovich: On the Decidability of Continuous Time Specification Formalisms. J. Log. Comput. 8(5): 669-678 (1998)
20EEAlexander Moshe Rabinovich: On Translations of Temporal Logic of Actions Into Monadic Second-Order Logic. Theor. Comput. Sci. 193(1-2): 197-214 (1998)
1997
19 Alexander Moshe Rabinovich, Boris A. Trakhtenbrot: From Finite Automata toward Hybrid Systems (Extended Abstract). FCT 1997: 411-422
18EEAlexander Moshe Rabinovich: On expressive completeness of duration and mean value calculi. Electr. Notes Theor. Comput. Sci. 7: (1997)
17 Alexander Moshe Rabinovich: On Schematological Equivalence of Partially Interpreted Dataflow Networks. Inf. Comput. 138(1): 49-87 (1997)
16 Alexander Moshe Rabinovich: Complexity of Equivalence Problems for Concurrent Systems of Finite Agents. Inf. Comput. 139(2): 111-129 (1997)
1996
15 Alexander Moshe Rabinovich: On Schematological Equivalence of Dataflow Networks. Inf. Comput. 124(2): 154-167 (1996)
1995
14 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 41(2): 441-447 (1995)
13 A. Robert Calderbank, Peter C. Fishburn, Alexander Moshe Rabinovich: Covering properties of convolutional codes and associated lattices. IEEE Transactions on Information Theory 41(3): 732-746 (1995)
1993
12EEA. Robert Calderbank, Peter C. Fishburn, Alexander Moshe Rabinovich: Sequence Based Methods for Data Transmission and Source Compression. AAECC 1993: 1-12
11EEAlexander Moshe Rabinovich: A Complete Axiomatisation for Trace Congruence of Finite State Behaviors. MFPS 1993: 530-543
1992
10EEAlexander Moshe Rabinovich: Logic of Trace Languages (Extended Abstract). CONCUR 1992: 504-517
9EEAlexander Moshe Rabinovich: Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract). ICALP 1992: 696-707
8 Alexander Moshe Rabinovich: Non Modularity and Expressibility for Nets of Relations. LFCS 1992: 394-405
1991
7 Alexander Moshe Rabinovich, Boris A. Trakhtenbrot: On Nets, Algebras and Modularity. TACS 1991: 176-203
6 Antoni W. Mazurkiewicz, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot: Connectedness and Synchronization. Theor. Comput. Sci. 90(1): 171-184 (1991)
1990
5EEAlexander Moshe Rabinovich, Boris A. Trakhtenbrot: Communication among Relations (Extended Abstract). ICALP 1990: 294-307
1989
4 Alexander Moshe Rabinovich, Boris A. Trakhtenbrot: Nets and Data Flow Interpreters LICS 1989: 164-174
3EEYoram Hirshfeld, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot: Discerning Causality in Interleaving Behavior. Logic at Botik 1989: 146-162
1988
2EEAlexander Moshe Rabinovich, Boris A. Trakhtenbrot: Nets of processes and data flow. REX Workshop 1988: 574-602
1987
1 Alexander Moshe Rabinovich: Pomset semantics is consistenct with data flow semantics. Bulletin of the EATCS 32: 107-117 (1987)

Coauthor Index

1Aharon Abadi [76]
2Parosh Aziz Abdulla [47] [53]
3Y. Abramson [39]
4Arnon Avron [82] [84]
5Vince Bárány [86]
6Danièle Beauquier [37] [40] [41] [56]
7Nathalie Bertrand [53]
8M. R. Best [14]
9Ahmed Bouajjani [61] [68] [73]
10Marat V. Burnashev [14]
11A. Robert Calderbank [12] [13] [14]
12Daniel J. Costello Jr. [14]
13Stéphane Demri [75]
14Nachum Dershowitz [82] [84]
15Peter C. Fishburn [12] [13] [14]
16Yuri Gurevich [30] [38]
17Yoram Hirshfeld [3] [26] [27] [40] [44] [50] [54] [59] [60] [63] [67] [80]
18Neil Immerman [51] [52]
19Lukasz Kaiser [86]
20Y. Levy [14]
21Shahar Maoz [33] [34]
22Antoni W. Mazurkiewicz [6]
23Albert R. Meyer [36]
24Antoine Meyer [61] [68] [73]
25Faron Moller [25] [45]
26Joël Ouaknine [87]
27D. Pardo [49]
28Thomas W. Reps [51] [52]
29Shmuel Sagiv (Mooly Sagiv) [51] [52] [61] [68] [73] [76]
30Ph. Schnoebelen [53] [57]
31Amit Shomrat [81]
32Anatol Slissenko [40] [41] [56]
33Wolfgang Thomas [64] [77]
34Boris A. Trakhtenbrot [2] [3] [4] [5] [6] [7] [19] [49]
35James Worrell [87]
36Greta Yorsh [51] [52] [61] [68] [73]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)