Alexander Moshe Rabinovich
Orcid: 0000000214602358Affiliations:
 Tel Aviv University, Israel
According to our database^{1},
Alexander Moshe Rabinovich
authored at least 118 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2024
Automatic RadarBased Step Length Measurement in the Home for Older Adults Living with Frailty.
Sensors, February, 2024
CoRR, 2024
CoRR, 2024
2022
Fundam. Informaticae, 2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
2021
Log. Methods Comput. Sci., 2021
Inf. Comput., 2021
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
2020
Proceedings of the Fields of Logic and Computation III, 2020
2019
Formal Methods Syst. Des., 2019
2018
Log. Methods Comput. Sci., 2018
Proceedings of the Developments in Language Theory  22nd International Conference, 2018
2016
J. Log. Comput., 2016
No Future without (a hint of) Past: A Finite Basis for 'Almost Future' Temporal Logic.
Inf. Comput., 2016
Proceedings of the Computer Science  Theory and Applications, 2016
2015
Inf. Comput., 2015
Proceedings of the Fields of Logic and Computation II, 2015
2014
Log. Methods Comput. Sci., 2014
2013
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
2012
J. Symb. Log., 2012
Inf. Comput., 2012
Inf. Comput., 2012
Inf. Comput., 2012
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
2011
J. Symb. Log., 2011
Log. Methods Comput. Sci., 2011
Proceedings of the Foundations of Software Science and Computational Structures, 2011
Proceedings of the Computer Science Logic, 2011
2010
Theor. Comput. Sci., 2010
J. Symb. Log., 2010
J. Symb. Comput., 2010
Fundam. Informaticae, 2010
Fundam. Informaticae, 2010
Log. Methods Comput. Sci., 2010
Ann. Pure Appl. Log., 2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
2009
Log. Methods Comput. Sci., 2009
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009
Proceedings of the CONCUR 2009  Concurrency Theory, 20th International Conference, 2009
2008
Theor. Comput. Sci., 2008
J. Symb. Log., 2008
Inf. Comput., 2008
Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey.
Proceedings of the Pillars of Computer Science, 2008
Proceedings of the Pillars of Computer Science, 2008
2007
ACM Trans. Comput. Log., 2007
Log. Methods Comput. Sci., 2007
Log. Methods Comput. Sci., 2007
J. Log. Algebraic Methods Program., 2007
On decidability of monadic logic of order over the naturals extended by monadic predicates.
Inf. Comput., 2007
Inf. Comput., 2007
Fundam. Informaticae, 2007
Proceedings of the Logic for Programming, 2007
Proceedings of the Computer Science Logic, 21st International Workshop, 2007
2006
J. Log. Comput., 2006
Inf. Comput., 2006
Inf. Comput., 2006
Proceedings of the Mathematical Foundations of Computer Science 2006, 2006
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
2005
Inf. Comput., 2005
Inf. Comput., 2005
2004
Log. J. IGPL, 2004
Fundam. Informaticae, 2004
Fundam. Informaticae, 2004
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004
The Boundary Between Decidability and Undecidability for TransitiveClosure Logics.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
2003
Theor. Comput. Sci., 2003
Inf. Comput., 2003
Inf. Comput., 2003
Proceedings of the Foundations of Software Science and Computational Structures, 2003
2002
Theor. Comput. Sci., 2002
J. Log. Comput., 2002
J. Log. Comput., 2002
J. Autom. Lang. Comb., 2002
Inf. Comput., 2002
Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002
Proceedings of the CONCUR 2002, 2002
2001
Inf. Comput., 2001
2000
Theor. Comput. Sci., 2000
Theor. Comput. Sci., 2000
J. Symb. Log., 2000
Inf. Comput., 2000
Fundam. Informaticae, 2000
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000
1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999
Proceedings of the Automata, 1999
Proceedings of the Computer Science Logic, 13th International Workshop, 1999
1998
Theor. Comput. Sci., 1998
J. Log. Comput., 1998
Inf. Process. Lett., 1998
Acta Informatica, 1998
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998
1997
Inf. Comput., 1997
Inf. Comput., 1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997
1996
Inf. Comput., 1996
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996
1995
IEEE Trans. Inf. Theory, 1995
IEEE Trans. Inf. Theory, 1995
1993
Proceedings of the Mathematical Foundations of Programming Semantics, 1993
Proceedings of the Applied Algebra, 1993
1992
Proceedings of the Logical Foundations of Computer Science, 1992
Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
Covering Properties of Binary Convolutional Codes and Lattice Quantization of Uniform Sources.
Proceedings of the Coding And Quantization, 1992
Proceedings of the CONCUR '92, 1992
1991
Theor. Comput. Sci., 1991
Proceedings of the Theoretical Aspects of Computer Software, 1991
1990
Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990
1989
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989
Proceedings of the Logic at Botik '89, 1989
1988
PhD thesis, 1988
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988
1987
Pomset semantics is consistenct with data flow semantics.
Bull. EATCS, 1987