亚历山大·拉比诺维奇 时间和一阶度量逻辑的表达能力。 （英语） Zbl 07614729号 安德烈亚斯·布拉斯（编辑）等人，《逻辑与计算领域III》，纪念尤里·古雷维奇80岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。12180, 226-246 (2020).MSC公司：03B70号 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}，莱克特。注释计算。科学。12180，226--246（2020；Zbl 07614729） 全文： 内政部
亚历山大·拉比诺维奇 具有计数和普努利模态的度量时间逻辑的复杂性。 （英语） Zbl 1196.03029号 西奥。计算。科学。 411，第22-24号，2331-2342（2010）. 审核人：克莱门斯·库普克（伦敦） MSC公司：03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Rabinovich}，Theor。计算。科学。411，No.22--24，2331--2342（2010；Zbl 1196.03029） 全文： 内政部
亚历山大·拉比诺维奇 具有计数和普努利模态的度量时间逻辑的复杂性。 （英语） Zbl 1171.03313号 Cassez，Franck（编辑）等，时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。《计算机科学讲义》5215，93-108（2008）。MSC公司：03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}，莱克特。注释计算。科学。5215，93--108（2008；Zbl 1171.03313） 全文： 内政部
格雷塔·约什;亚历山大·拉比诺维奇;穆利·萨吉夫;安托万·梅耶;艾哈迈德·博阿贾尼 链接数据结构中可访问模式的逻辑。 （英语） Zbl 1121.03040号 J.日志。阿尔盖布。程序。 73，编号1-2，111-142（2007）. 审核人：亚历克斯·纳贝宾（莫斯科） MSC公司：03B70号 03B25号 68第05页 03B15号机组 05年3月 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit｛G.Yorsh｝等人，J.Log。阿尔盖布。程序。73，编号1--2，111-142（2007；Zbl 1121.03040） 全文： 内政部 arXiv公司
亚历山大·拉比诺维奇 具有不可通约距离的时间逻辑是不可判定的。 （英语） 邮编1128.03009 Inf.计算。 205，第5期，707-715（2007）. 审核人：托马斯·斯图德（伯尔尼） MSC公司：03B44号 03天35分 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}，Inf.计算。205，第5号，707--715（2007；Zbl 1128.03009） 全文： 内政部
亚历山大·拉比诺维奇;菲利普·施诺贝伦 \（\text{比特币}_{2} 和（text{ECTL}^{+}）的表达能力。 （英语） Zbl 1110.68076号 Inf.计算。 204，第7期，1023-1044（2006）.MSC公司：第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Rabinovich｝和\textit｛P.Schnoebelen｝，信息计算。204，第7号，1023--1044（2006；Zbl 1110.68076） 全文： 内政部
约拉姆·赫什菲尔德;亚历山大·拉比诺维奇 计时器公式和可判定的度量时态逻辑。 （英语） Zbl 1068.03014号 Inf.计算。 198，第2期，148-178（2005）. 审核人：贾科莫·博纳诺（戴维斯） MSC公司：03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hirshfeld}和\textit{A.Rabinovich}，Inf.Compute。198，第2号，148--178（2005；Zbl 1068.03014） 全文： 内政部
亚历山大·拉比诺维奇;沙哈尔·茂兹 时间逻辑在分支时间上的无限层次。 （英语） Zbl 1005.03022号 Inf.计算。 171，第2期，306-332（2001）.MSC公司：03B44号 第68季度第60季度 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}和\textit{S.Maoz}，Inf.Comput。171，编号2，306--332（2001；Zbl 1005.03022） 全文： 内政部 链接
A.拉比诺维奇。;Trakhtenbrot，学士。 从有限自动机到混合系统（扩展抽象）。 （英语） Zbl 1507.68172号 Chlebus，Bogdan S.（编辑）等人，《计算理论基础》。第11届国际研讨会，1997年9月1日至3日，波兰克拉科夫贾吉略大学FCT’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第127941-422页（1997年）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}和\textit{B.A.Trakhtenbrot}，莱克特。注释计算。科学。1279、411--422（1997；Zbl 1507.68172） 全文： 内政部