Подписаться
Alexander Rabinovich
Alexander Rabinovich
Professor of computer sciense tel aviv university
Подтвержден адрес электронной почты в домене tauex.tau.ac.il - Главная страница
Название
Процитировано
Процитировано
Год
BEHAVIOR STRUCTURES AND NETS
A Rabinovich, B Trakhtenbrot
Fundamenta Informaticae 12, 357-403., 1988
2351988
Effects of THC on driving performance, physiological state and subjective feelings relative to alcohol
A Ronen, P Gershon, H Drobiner, A Rabinovich, R Bar-Hamburger, ...
Accident Analysis & Prevention 40 (3), 926-934, 2008
2142008
The effect of alcohol, THC and their combination on perceived effects, willingness to drive and performance of driving and non-driving tasks
A Ronen, HS Chassidim, P Gershon, Y Parmet, A Rabinovich, ...
Accident Analysis & Prevention 42 (6), 1855-1865, 2010
2052010
The postthrombotic syndrome: current evidence and future challenges
A Rabinovich, SR Kahn
Journal of thrombosis and haemostasis 15 (2), 230-241, 2017
1322017
The complexity of multi-mean-payoff and multi-energy games
Y Velner, K Chatterjee, L Doyen, TA Henzinger, A Rabinovich, JF Raskin
Information and Computation 241, 177-196, 2015
1252015
Logics for real time: Decidability and complexity
Y Hirshfeld, A Rabinovich
Fundamenta Informaticae 62 (1), 1-28, 2004
1242004
The boundary between decidability and undecidability for transitive-closure logics
N Immerman, A Rabinovich, T Reps, M Sagiv, G Yorsh
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004
1182004
Inflammation markers and their trajectories after deep vein thrombosis in relation to risk of post‐thrombotic syndrome
A Rabinovich, JM Cohen, M Cushman, PS Wells, MA Rodger, MJ Kovacs, ...
Journal of Thrombosis and Haemostasis 13 (3), 398-408, 2015
992015
A logic of reachable patterns in linked data-structures
G Yorsh, A Rabinovich, M Sagiv, A Meyer, A Bouajjani
The Journal of Logic and Algebraic Programming 73 (1-2), 111-142, 2007
942007
Development of a clinical prediction model for the postthrombotic syndrome in a prospective cohort of patients with proximal deep vein thrombosis
A Rabinovich, T Ducruet, SR Kahn, S Shapiro, V Tagalakis, M Johri, ...
Journal of Thrombosis and Haemostasis 16 (2), 262-270, 2018
622018
Obstetric characteristics and neonatal outcome of unplanned out-of-hospital term deliveries: a prospective, case-control study.
A Hadar, A Rabinovich, E Sheiner, D Landau, M Hallak, M Mazor
The Journal of reproductive medicine 50 (11), 832-836, 2005
572005
Counting on CTL*: on the expressive power of monadic path logic
F Moller, A Rabinovich
Information and Computation 184 (1), 147-159, 2003
572003
Basal cell carcinoma of the vulva
B Piura, A Rabinovich, R Dgani
Journal of surgical oncology 70 (3), 172-176, 1999
571999
A multicenter validation of computerized tomography models as predictors of non-optimal primary cytoreduction of advanced epithelial ovarian cancer
O Gemer, M Gdalevich, M Ravid, B Piura, A Rabinovich, T Gasper, ...
European Journal of Surgical Oncology (EJSO) 35 (10), 1109-1112, 2009
552009
Verification of probabilistic systems with faulty communication
PA Abdulla, N Bertrand, A Rabinovich, P Schnoebelen
Information and Computation 202 (2), 141-165, 2005
542005
Automata over continuous time
A Rabinovich
Theoretical Computer Science 300 (1-3), 331-363, 2003
532003
Heat shock proteins and malignancies of the female genital tract
B Piura, A Rabinovich, V Yavelsky, M Wolfson
Harefuah 141 (11), 969-72, 1010, 1009, 2002
502002
A PROOF OF KAMP'S THEOREM
A Rabinovich
Logical Methods in Computer Science 10 (1), 1:16, 2014
492014
Primary carcinoma of the fallopian tube: study of 11 cases
B Piura, A Rabinovich
European Journal of Obstetrics & Gynecology and Reproductive Biology 91 (2 …, 2000
482000
Complexity of equivalence problems for concurrent systems of finite agents
A Rabinovich
Information and Computation 139 (2), 111-129, 1997
481997
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20