Alexander Rabinovich

73 papers A* 3A 1B 14C 1Misc 1Journal 43Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	On the Expansion of Monadic Second-Order Logic with Cantor-Bendixson Rank and Order Type Predicates. CSL Thomas Colcombet, Alexander Rabinovich
2025	J	`jnl`	Synthesis of Infinite State Systems. CoRR Ohad Drucker, Alexander Rabinovich
2025	J	`jnl`	The Church Synthesis Problem over Continuous Time. Log. Methods Comput. Sci. Alexander Rabinovich, Daniel Fattal
2024	J	`jnl`	Automatic Radar-Based Step Length Measurement in the Home for Older Adults Living with Frailty. Sensors Parthipan Siva, Alexander Wong, Patricia Hewston, George Ioannidis, Jonathan Adachi, Alexander Rabinovich, Andrea Lee, Alexandra Papaioannou
2024	A*	`conf`	Reinforcement Learning with LTL and ω-Regular Objectives via Optimality-Preserving Translation to Average Rewards. NeurIPS Xuan-Bach Le, Dominik Wagner, Leon Witzman, Alexander Rabinovich, Luke Ong
2024	J	`jnl`	Reinforcement Learning with LTL and ω-Regular Objectives via Optimality-Preserving Translation to Average Rewards. CoRR Xuan-Bach Le, Dominik Wagner, Leon Witzman, Alexander Rabinovich, Luke Ong
2024	J	`jnl`	Step length measurement in the wild using FMCW radar. CoRR Parthipan Siva, Alexander Wong, Patricia Hewston, George Ioannidis, Jonathan Adachi, Alexander Rabinovich, Andrea Lee, Alexandra Papaioannou
2024	J	`jnl`	The Church Synthesis Problem over Continuous Time. CoRR Alexander Rabinovich, Daniel Fattal
2022	B	`conf`	On Uniformization in the Full Binary Tree. MFCS Alexander Rabinovich
2022	J	`jnl`	Preface. Fundam. Informaticae Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
2021	J	`jnl`	Ambiguity Hierarchy of Regular Infinite Tree Languages. Log. Methods Comput. Sci. Alexander Rabinovich, Doron Tiferet
2021	B	`conf`	Degrees of Ambiguity for Parity Tree Automata. CSL Alexander Rabinovich, Doron Tiferet
2021	J	`jnl`	On degrees of ambiguity for Büchi tree automata. Inf. Comput. Alexander Rabinovich, Doron Tiferet
2021	J	`jnl`	Some Complexity Results for Stateful Network Verification. CoRR Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
2020	B	`conf`	Ambiguity Hierarchy of Regular Infinite Tree Languages. MFCS Alexander Rabinovich, Doron Tiferet
2020	J	`jnl`	Ambiguity Hierarchy of Regular Infinite Tree Languages. CoRR Alexander Rabinovich, Doron Tiferet
2020	—	`conf`	The Expressive Power of Temporal and First-Order Metric Logics. Fields of Logic and Computation III Alexander Rabinovich
2019	—	`conf`	Degrees of Ambiguity of Büchi Tree Automata. FSTTCS Alexander Rabinovich, Doron Tiferet
2019	J	`jnl`	Some complexity results for stateful network verification. Formal Methods Syst. Des. Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
2018	J	`jnl`	A Proof of Stavi's Theorem. Log. Methods Comput. Sci. Alexander Rabinovich
2018	C	`conf`	Complementation of Finitely Ambiguous Büchi Automata. DLT Alexander Rabinovich
2017	J	`jnl`	A Proof of Stavi's Theorem. CoRR Alexander Rabinovich
2016	J	`jnl`	Foreword. J. Log. Comput. Ofer Arieli, Beata Konikowska, Alexander Rabinovich, Anna Zamansky
2016	Misc	`conf`	On Expressive Power of Regular Expressions over Infinite Orders. CSR Alexander Rabinovich
2016	A	`conf`	Some Complexity Results for Stateful Network Verification. TACAS Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham
2015	—	`conf`	On Almost Future Temporal Logics. Fields of Logic and Computation II Alexander Rabinovich
2014	J	`jnl`	A Proof of Kamp's theorem. Log. Methods Comput. Sci. Alexander Rabinovich
2013	B	`conf`	An Unusual Temporal Logic. MFCS Alexander Rabinovich
2012	B	`conf`	A Finite Basis for 'Almost Future' Temporal Logic over the Reals. MFCS Dorit Pardo Ordentlich, Alexander Rabinovich
2012	B	`conf`	A Proof of Kamp's theorem. CSL Alexander Rabinovich
2012	J	`jnl`	Continuous time temporal logic with counting. Inf. Comput. Yoram Hirshfeld, Alexander Rabinovich
2012	A*	`conf`	Interpretations in Trees with Countably Many Branches. LICS Alexander Rabinovich, Sasha Rubin
2012	J	`jnl`	On countable chains having decidable monadic theory. J. Symb. Log. Alexis Bès, Alexander Rabinovich
2012	J	`jnl`	Temporal logics over linear time domains are in PSPACE. Inf. Comput. Alexander Rabinovich
2012	J	`jnl`	The Church problem for expansions of (N, <) by unary predicates. Inf. Comput. Alexander Rabinovich
2012	J	`jnl`	The Complexity of Multi-Mean-Payoff and Multi-Energy Games CoRR Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Rabinovich, Jean-François Raskin
2011	B	`conf`	Church Synthesis Problem for Noisy Input. FoSSaCS Yaron Velner, Alexander Rabinovich
2011	J	`jnl`	Decidable Expansions of Labelled Linear Orderings Log. Methods Comput. Sci. Alexis Bès, Alexander Rabinovich
2011	J	`jnl`	Expressing cardinality quantifiers in monadic second-order logic over chains. J. Symb. Log. Vince Bárány, Lukasz Kaiser, Alexander Rabinovich
2011	B	`conf`	The Church Synthesis Problem with Metric. CSL Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell
2010	A*	`conf`	Alternating Timed Automata over Bounded Time. LICS Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell
2010	J	`jnl`	Complexity of metric temporal logics with counting and the Pnueli modalities. Theor. Comput. Sci. Alexander Rabinovich
2010	—	`conf`	Decidable Expansions of Labelled Linear Orderings. Fields of Logic and Computation Alexis Bès, Alexander Rabinovich
2010	J	`jnl`	Decidable fragments of many-sorted logic. J. Symb. Comput. Aharon Abadi, Alexander Rabinovich, Mooly Sagiv
2010	J	`jnl`	On the Borel Complexity of MSO Definable Sets of Branches. Fundam. Informaticae Mikolaj Bojanczyk, Damian Niwinski, Alexander Rabinovich, Adam Radziwonczyk-Syta, Michal Skrzypczak
2010	J	`jnl`	Selection over classes of ordinals expanded by monadic predicates. Ann. Pure Appl. Log. Alexander Rabinovich, Amit Shomrat
2010	—	`conf`	Temporal Logics over Linear Time Domains Are in PSPACE. RP Alexander Rabinovich
2010	J	`jnl`	The complexity of linear-time temporal logic over the class of ordinals Log. Methods Comput. Sci. Stéphane Demri, Alexander Rabinovich
2010	J	`jnl`	The full binary tree cannot be interpreted in a chain. J. Symb. Log. Alexander Rabinovich
2009	B	`conf`	Cardinality Quantifiers in MLO over Trees. CSL Vince Bárány, Lukasz Kaiser, Alexander Rabinovich
2009	B	`conf`	Decidable Extensions of Church's Problem. CSL Alexander Rabinovich
2009	—	`conf`	Synthesis of Finite-state and Definable Winning Strategies. FSTTCS Alexander Rabinovich
2009	J	`jnl`	The Church Problem for Countable Ordinals Log. Methods Comput. Sci. Alexander Rabinovich
2009	B	`conf`	Time-Bounded Verification. CONCUR Joël Ouaknine, Alexander Rabinovich, James Worrell
2008	J	`jnl`	Arity hierarchy for temporal logics. Theor. Comput. Sci. Alexander Rabinovich
2008	—	`conf`	Boris A. Trakhtenbrot: Academic Genealogy and Publications. Pillars of Computer Science Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
2008	—	`conf`	Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities. FORMATS Alexander Rabinovich
2008	—	`ed.`	Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday Pillars of Computer Science Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
2008	—	`conf`	Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey. Pillars of Computer Science Alexander Rabinovich, Amit Shomrat
2008	J	`jnl`	Selection in the monadic theory of a countable ordinal. J. Symb. Log. Alexander Rabinovich, Amit Shomrat
2007	J	`jnl`	Composition Theorem for Generalized Sum. Fundam. Informaticae Alexander Rabinovich
2007	J	`jnl`	Expressiveness of Metric modalities for continuous time. Log. Methods Comput. Sci. Yoram Hirshfeld, Alexander Rabinovich
2007	B	`conf`	Logical Refinements of Church's Problem. CSL Alexander Rabinovich, Wolfgang Thomas
2007	J	`jnl`	On compositionality and its limitations. ACM Trans. Comput. Log. Alexander Rabinovich
2007	J	`jnl`	On decidability of monadic logic of order over the naturals extended by monadic predicates. Inf. Comput. Alexander Rabinovich
2007	J	`jnl`	Temporal logics with incommensurable distances are undecidable. Inf. Comput. Alexander Rabinovich
2007	J	`jnl`	The Church Synthesis Problem with Parameters CoRR Alexander Rabinovich
2007	J	`jnl`	The Church Synthesis Problem with Parameters. Log. Methods Comput. Sci. Alexander Rabinovich
2007	B	`conf`	The Complexity of Temporal Logic with Until and Since over Ordinals. LPAR Stéphane Demri, Alexander Rabinovich
2006	J	`jnl`	BTL Inf. Comput. Alexander Rabinovich, Philippe Schnoebelen
2006	J	`jnl`	Expressiveness of Metric modalities for continuous time CoRR Yoram Hirshfeld, Alexander Rabinovich
2006	J	`jnl`	Quantitative analysis of probabilistic lossy channel systems. Inf. Comput. Alexander Rabinovich
2002	J	`jnl`	Valid Identity Problem for Shuffle Regular Expressions. J. Autom. Lang. Comb. Albert R. Meyer, Alexander Rabinovich