编辑配置文件（在新选项卡中打开） Alberto L.Sangiovanni-Vincentelli。 合著者距离 作者ID： sangiovanni-vincentelli.alberto-l公司 发布日期： 阿尔贝托Sangiovanni-Vincentelli；Alberto L.Sangiovanni-Vincentelli。；Sangiovanni Vincentelli，A。；Sangiovanni-Vincentelli，A.L。；阿尔贝托·桑吉奥瓦尼·文森特利；阿尔贝托·桑吉奥瓦尼·文森特利；Sangiovanni-Vincentelli，Alberto L。；阿尔贝托·桑吉奥瓦尼·文森特利；文森特利，A.L.Sangiovanni；Sangiovanni Vincentelli，A。；文森特利，A.Sangiovanni 更多。。。较少的 其他拼写： Alberto Luigi Sangiovanni-Vincentelli 主页： https://www2.eecs.berkeley.edu/Faculty/Homepages/sangiovanni-vicentelli.html 外部链接： 管理程序·ORCID公司 已编制索引的文档： 100种出版物自1973年以来，包括11本书 3作为编辑的贡献 合著者： 149位合著者具有97联合出版物 2970名合作作者 全部的 前5名合著者 6 单作者的 15 安德烈·巴卢奇 12 迪·贝内代托，玛丽亚·多梅尼卡 12 蒂齐亚诺别墅 10 罗伯特·K·布雷顿。 9 卢卡·本维努蒂 8 卢卡·卡洛尼（Luca P.Carloni）。 8 罗伯托·帕塞罗内 6 桑吉特·阿伦库马尔·塞希亚 5 克劳迪奥·皮内洛 5 以利亚·波拉克（吕西安） 4 费利斯·巴拉林 4 安东尼奥·比奇 4 斯蒂法诺·迪·根纳罗 4 卢西亚诺·拉瓦尼奥 4 亚历山德罗·平托 4 维斯瓦纳坦，V。 三 阿尔伯特·本文尼斯特 三 米雷尔·布鲁克（Mireille E.Broucke）。 三 阿尔贝托·法拉利 三 蒂莫西·卡姆 三 伊曼纽尔·马齐 三 皮埃尔路易吉·努佐 三 克劳迪奥·帕塞罗内 三 S.Shankar，萨斯特里 2 阿德南·阿齐兹 2 杰里·伯奇。 2 保罗·卡斯皮 2 埃多尔多·查本 2 Shromona Ghosh公司 2 阿提拉·尤雷克斯卡 2 大卫·Q·梅恩。 2 曼弗雷德·莫拉里 2 威廉·奈伊（William T.Nye）。 2 路易吉·帕洛波利 2 阿尔贝托·普盖利 2 法比奥·罗密欧 2 理查德·塞克斯（Richard E.Saeks）。 2 埃伦·森托维奇 2 加布里埃尔·塞拉 2 马尔科·斯格罗伊 2 亚瑟·舒克利 2 Vigyan Singhal公司 2 马尔科·索马利维科 2 保罗·塔布阿达 2 山雀，安德烈·莱昂 2 渡边洋里 2 Howard Wong-Toi，霍华德 2 尼娜·叶夫图申科 1 莱昂纳多·阿尔贝托尼 1 马西莫·阿利奥托 1 亚伦·D·埃姆斯。 1 马西莫·巴莱尼 1 索米尔·班萨尔 1 巴蒂（M.Asghar） 1 西奥多·比卡特。 1 贝努伊特Caillaud 1 亚历山德罗·卡萨沃拉 1 陈立宽 1 马西米利亚诺·奇奥多 1 乌马坎塔·乔杜里 1 蔡利昂·昂（Leon Ong Chua） 1 马西莫·孔蒂 1 图利奥·库托 1 达姆，沃纳 1 西罗·达皮斯 1 乔瓦尼·德米凯利 1 阿尔珀·德米尔 1 德塞尔，约格 1 马尔科·迪纳塔莱 1 亚历山大·唐泽 1 Laurent Elghaoui 1 塞巴斯蒂安·恩格尔 1 汤米·埃塞博 1 Felt，埃里克 1 瓦莱里奥·弗雷斯科拉 1 马蒂奥·盖塔 1 克劳迪奥·甘贝利 1 托拜厄斯·盖尔 1 兰吉特·加普雷 1 保罗·朱斯托 1 格雷戈·格勒 1 威尔辛·戈斯蒂 1 佐藤，后藤 1 弗朗西斯科·格雷戈雷蒂 1 Guidabassi，Guido O。 1 加里·哈赫特尔（Gary D.Hachtel）。 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 本杰明·霍洛维茨 1 谢，哈里 1 谢学友。 1 Incer，伊尼戈 1 卡尔·亨利克·约翰逊 1 凯伊·R·约翰 1 亚历克斯·孔德拉提耶夫 1 古·T·约翰 1 布鲁斯·H·克罗。 1 Kuh，Ernest Shiu-jen先生 1 肯尼斯·昆德。 1 弗朗索瓦·兰纳比·拉加里格 1 Lelarasmee，E。 ……还有49位合著者 全部的 前5名系列 9 IEEE电路与系统汇刊 4 Automatica公司 4 电气电子工程师学会计算机期刊 4 系统设计中的形式化方法 4 Kluwer国际工程与计算机科学系列 三 国际控制杂志 三 IEEE自动控制汇刊 三 国际鲁棒非线性控制杂志 2 国际电路理论与应用杂志 2 欧洲控制杂志 2 计算机科学课堂讲稿 1 应用概率的进展 1 最优化理论与应用杂志 1 网络 1 SIAM控制与优化杂志 1 SIAM科学与统计计算杂志 1 算法 1 离散事件动态系统 1 IEEE系统、人与控制论汇刊 1 多值逻辑 1 国际应用数学与计算机科学杂志 1 计算机基础理论 1 电子设计自动化的基础与发展趋势 1 IEEE电路与系统汇刊I：常规论文 全部的 前5名领域 47 计算机科学（68至XX） 44 系统论；控制（93至XX） 26 信息与通信理论、电路（94-XX） 15 数值分析（65-XX） 11 运筹学、数学规划（90-XX） 6 变分法与最优控制；最优化（49至XX） 4 组合数学（05-XX） 2 总体主题；集合（00-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 常微分方程（34-XX） 2 概率论与随机过程（60-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 数学逻辑和基础（03-XX） 1 近似和展开（41至XX） 1 可变形固体力学（74-XX） 1 光学、电磁理论（78-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 76出版物有被引用513中的次477文件 引用人▼ 年份▼ 模拟退火的收敛性和有限时间行为。 兹比尔0604.60067 米特拉、德巴西；法比奥·罗密欧；阿尔贝托Sangiovanni-Vincentelli 54 1986 VLSI综合的逻辑最小化算法。 Zbl 0565.94020号 罗伯特·K·布雷顿。；加里·哈赫特尔（Gary D.Hachtel）。；柯蒂斯·麦克马伦。；Sangiovanni-Vincentelli，Alberto L。 54 1984 混合系统观测器的设计。 Zbl 1050.93040号 安德烈·巴卢奇；卢卡·本维努蒂；玛丽亚·迪·贝内代托。；Alberto L.Sangiovanni-Vincentelli。 34 2002 传感器攻击下网络物理系统的安全状态估计：可满足性模理论方法。 Zbl 1390.93532号 亚瑟·舒克利；皮埃尔路易吉·努佐；阿尔贝托·普盖利；Alberto L.Sangiovanni-Vincentelli。；Sanjit A.Seshia。；保罗·塔布阿达 32 2017 模拟和微波电路的稳态方法。 Zbl 0723.94009 肯尼思·昆德特。；雅各布·K·怀特。；阿尔贝托Sangiovanni-Vincentelli 22 1990 一种具有宏模型和延迟的多级牛顿算法，用于时域中大规模非线性电路的分析。 Zbl 0421.94020号 拉巴特，N.B.盖伊；Alberto L.Sangiovanni-Vincentelli。；谢学友。 22 1979 优化设计的理论和计算方面的中心、公差和调整问题。 Zbl 0425.90084号 以利亚·波拉克；阿尔贝托Sangiovanni-Vincentelli 16 1979 模拟退火的理论框架。 Zbl 0717.90061号 法比奥·罗密欧；阿尔贝托Sangiovanni-Vincentelli 16 1991 多值决策图：理论与应用。 Zbl 1025.94515号 蒂莫西·卡姆；蒂齐亚诺别墅；罗伯特·K·布雷顿。；Alberto L.Sangiovanni-Vincentelli。 15 1998 驯服弗兰肯斯坦博士：基于合同的网络物理系统设计。 Zbl 1264.93152号 阿尔贝托Sangiovanni-Vincentelli；达姆，沃纳；罗伯托·帕塞罗内 15 2012 凸不确定性MDP PCTL性质的多项式时间验证。 Zbl 1435.68202号 阿尔贝托·普盖利；李文超；Alberto L.Sangiovanni-Vincentelli。；Sanjit A.Seshia。 14 2013 汽车应用中的混合动力控制：切断控制。 Zbl 1049.93543号 A.巴卢奇。；医学博士Di Benedetto。；C·皮内洛。；罗西，C。；Sangiovanni-Vincentelli，A。 13 1999 混合系统设计的语言和工具。《电子设计自动化基础与趋势》第1卷第1-2期印刷版（2006年）。 Zbl 1107.68385号 卢卡·卡洛尼（Luca P.Carloni）。；罗伯托·帕塞罗内；亚历山德罗·平托；Alberto L.Sangiovanni-Vincentelli。 12 2006 混合系统动态观测器的设计：汽车控制问题的理论和应用。 Zbl 1284.93155号 安德烈·巴卢奇；卢卡·本维努蒂；玛丽亚·迪·贝内代托。；阿尔贝托Sangiovanni-Vincentelli 11 2013 有限状态机的模型匹配。 Zbl 1009.93053号 迪·贝内代托，玛丽亚·多梅尼卡；阿尔贝托Sangiovanni-Vincentelli；蒂齐亚诺别墅 10 2001 一种新的最短路径更新算法。 Zbl 0392.94022号 圣戈托。；Sangiovanni-Vincentelli，A。 8 1978 计算机辅助优化设计：综述。 Zbl 0478.93021号 D.Q.梅恩。；E.波拉克。；Sangiovanni Vincentelli，A。 8 1982 有限状态机的综合：函数优化。 Zbl 0876.94056号 蒂莫西·卡姆；蒂齐亚诺别墅；罗伯特·布雷顿；阿尔贝托Sangiovanni-Vincentelli 8 1997 混合系统：计算和控制。第四届国际研讨会，2001年HSCC，意大利罗马，2001年3月28日至30日。诉讼程序。 Zbl 0990.00076号 7 2002 一种用于撕裂大规模网络的高效启发式聚类算法。 Zbl 0368.94028号 阿尔贝托Sangiovanni-Vincentelli；陈立宽；Chua，Leon O。 7 1977 自动发动机怠速控制的最大安全设置计算。 Zbl 0962.93070号 安德烈·巴卢奇；卢卡·本维努蒂；玛丽亚·迪·贝内代托。；吉多·米科尼。；乌戈·波齐；蒂齐亚诺别墅；Howard Wong-Toi，霍华德；Alberto L.Sangiovanni-Vincentelli。 6 2000 同步FSM方程的组合渐进解。 Zbl 1161.93322号 尼娜·叶夫图申科；蒂齐亚诺别墅；罗伯特·K·布雷顿。；亚历克斯·佩特伦科；Alberto L.Sangiovanni-Vincentelli。 6 2008 根据信号时序逻辑规范进行综合的诊断和修复。 Zbl 1366.68169号 Shromona Ghosh公司；多萨萨迪；皮埃尔路易吉·努佐；瓦苏马提·拉曼；亚历山大·唐泽；Alberto L.Sangiovanni-Vincentelli。；S.Shankar，萨斯特里；Sanjit A.Seshia。 6 2016 实时调度约束下一组系统的稳定半径最大化。 Zbl 1365.90144号 路易吉·帕洛波利；克劳迪奥·皮内洛；安东尼奥·比奇；Sangiovanni Vincentelli，阿尔贝托 6 2005 嵌入式系统的软硬件协同设计。警察局的做法。 Zbl 0878.68133号 费利斯·巴拉林；马西米利亚诺·奇奥多；保罗·朱斯托；谢，哈里；阿提拉·尤雷克斯卡；卢西亚诺·拉瓦尼奥；克劳迪奥·帕塞罗内；阿尔贝托Sangiovanni-Vincentelli；埃伦·森托维奇；Kei铃木；巴萨姆·塔巴拉 5 1997 SMC：可满足性模凸优化。 Zbl 1366.68102号 亚瑟·舒克利；皮埃尔路易吉·努佐；Alberto L.Sangiovanni-Vincentelli。；Sanjit A.Seshia。；乔治·J·帕帕斯。；保罗·塔布阿达 5 2017 共轨喷射系统的混合建模和控制。 Zbl 1129.93306号 A.巴卢奇。；A.比奇。；E.马齐。；文森特利，A.Sangiovanni；塞拉·G·。 5 2007 公平克里普克结构的等效性。 Zbl 1418.68125号 阿德南·阿齐兹；Vigyan Singhal公司；费利斯·巴拉林；罗伯特·K·布雷顿。；Alberto L.Sangiovanni-Vincentelli。 5 1994 事件分离下限混合系统的控制器综合。 Zbl 1048.93051号 安德烈·巴卢奇；卢卡·本维努蒂；蒂齐亚诺别墅；Howard Wong-Toi，霍华德；Alberto L.Sangiovanni-Vincentelli。 4 2003 解决问题的一般学习方法。 Zbl 0376.68062号 Sangiovanni Vincentelli，A。；D.曼德里奥利。；索马利维科，M。 4 1976 未知组件问题。理论和应用。 Zbl 1248.68023号 蒂齐亚诺别墅；尼娜·叶夫图申科；罗伯特·K·布雷顿。；阿兰·米什琴科；亚历山大·佩特伦科；阿尔贝托Sangiovanni-Vincentelli 4 2012 网络化嵌入式系统的混合控制。 Zbl 1293.93407号 A.巴卢奇。；L.本维努蒂。；恩格尔，S。；T·盖尔。；约翰森，K.H。；Lamnabhi-Lagarigue，F。；Lygeros，J。；莫拉里，M。；帕帕福蒂奥（G.Papafotiou）。；Sangiovanni-Vincentelli，A.L。；桑图奇（F.Santucci）。；O.斯图斯伯格。 4 2005 有限状态机的综合：逻辑优化。 Zbl 0876.94057号 蒂齐亚诺别墅；蒂莫西·卡姆；罗伯特·K·布雷顿。；阿尔贝托Sangiovanni-Vincentelli 4 1997 非均匀和不确定离散时间域上的控制器综合。 Zbl 1078.93523号 安德烈·巴卢奇；皮耶保罗·穆里埃里；Alberto L.Sangiovanni-Vincentelli。 4 2005 延迟不敏感协议。 兹比尔1046.68585 卢卡·卡洛尼（Luca P.Carloni）。；肯尼思·麦克米兰。；Alberto L.Sangiovanni-Vincentelli。 三 1999 射频电路的噪声分析。 Zbl 1055.94032号 阿米特·梅赫罗特拉；Sangiovanni Vincentelli，阿尔贝托 三 2004 稀疏矩阵上非对称置换的图论解释。 Zbl 0359.94049号 Sangiovanni-Vincentelli，A.L。 三 1977 状态空间方法在问题求解优化中的应用。 Zbl 0273.68057号 阿尔贝托·桑吉奥瓦尼·文森特利；马尔科·索马利维科 三 1973 汽车发动机怠速控制综合。 Zbl 1135.93327号 安德烈·巴卢奇；费德里科·迪，纳塔尔；阿尔贝托Sangiovanni-Vincentelli；van Schuppen，Jan H。 三 2004 为工程设计问题提供可行方向的增强方法。 Zbl 0581.90077号 蒂茨，A.L。；W.T.奈伊。；Sangiovanni-Vincentelli，A.L。 三 1986 基于松弛的电气模拟。 Zbl 0526.65008号 亚瑟·理查德·牛顿；Alberto L.Sangiovanni-Vincentelli。 三 1983 基于结构属性的Petri网可调度性分析。 兹比尔1167.68401 刘聪；亚历克斯·孔德拉提耶夫；渡边洋里；德塞尔，约格；阿尔贝托Sangiovanni-Vincentelli 三 2008 一种新的仿真度量，用于确定具有未知动态系统的安全环境和控制器。 Zbl 07120154号 Shromona Ghosh公司；索米尔·班萨尔；阿尔贝托Sangiovanni-Vincentelli；Sanjit A.Seshia。；克莱尔·汤姆林 三 2019 建模和设计异构系统。 Zbl 1029.68503号 费利斯·巴拉林；卢西亚诺·拉瓦尼奥；克劳迪奥·帕塞罗内；阿尔贝托Sangiovanni-Vincentelli；马尔科·斯格罗伊；渡边洋里 2 2002 使用互模拟的最优控制理论。 兹伯利0963.93059 米雷尔·布罗基；迪·贝内代托，玛丽亚·多梅尼卡；斯蒂法诺·迪·根纳罗；阿尔贝托Sangiovanni-Vincentelli 2 2000 在嵌入式软件设计中使用多层抽象。 Zbl 1050.68521号 杰里·伯奇。；罗伯托·帕塞罗内；Alberto L.Sangiovanni-Vincentelli。 2 2001 多点喷射发动机力瞬变的混合控制。 Zbl 1123.93312号 安德烈·巴卢奇；卢卡·本维努蒂；迪·贝内代托，玛丽亚·多梅尼卡；Alberto L.Sangiovanni-Vincentelli。 2 2001 实时系统验证的迭代方法。 Zbl 0829.68050号 费利斯·巴拉林；Alberto L.Sangiovanni-Vincentelli。 2 1995 现场可编程门阵列的逻辑综合。 Zbl 0839.68044号 拉杰夫·穆尔盖；罗伯特·K·布雷顿。；阿尔贝托Sangiovanni-Vincentelli 2 1995 BDD表示的FSM编码。 Zbl 1153.68553号 威尔辛·戈斯蒂；蒂齐亚诺别墅；亚历克斯·萨尔达尼亚；Alberto L.Sangiovanni-Vincentelli。 2 2007 同步设计的分布式部署建模框架。 Zbl 1099.68524号 卢卡·卡洛尼（Luca P.Carloni）。；Alberto L.Sangiovanni-Vincentelli。 1 2006 共轨喷射系统的混合建模和控制。 Zbl 1178.93101号 安德烈·巴卢奇；安东尼奥·比奇；伊曼纽尔·马齐；阿尔贝托·桑吉奥瓦尼·文森特利；加布里埃尔·塞拉 1 2006 嵌入式系统异构网络的同构语义保持部署。 兹比尔1112.68395 亚伦·D·埃姆斯。；阿尔贝托Sangiovanni-Vincentelli；Shankar Sastry公司 1 2006 汽车电子设计中的混合动力系统。 Zbl 1113.93080号 A.巴卢奇。；L.本维努蒂。；A.法拉利。；Sangiovanni-Vincentelli，A.L。 1 2006 用于异构系统设计和验证的保持精化的近似。 Zbl 1118.68498号 罗伯托·帕塞罗内；杰里·伯奇。；Alberto L.Sangiovanni-Vincentelli。 1 2007 混合系统应用：矛盾？（摘要）。 Zbl 0991.93518号 阿尔贝托Sangiovanni-Vincentelli；托马斯·亨辛格（Thomas A.Henzinger）。；布鲁斯·H·克罗。；奥德·马勒；曼弗雷德·莫拉里 1 2002 使用互模拟进行最优控制：实现。 Zbl 0995.49021号 米雷尔·布罗基；迪·贝内代托，玛丽亚·多梅尼卡；斯蒂法诺·迪·根纳罗；阿尔贝托Sangiovanni-Vincentelli 1 2002 组合CTL模型检查的依赖于公式的等效性。 Zbl 1019.68064号 阿德南·阿齐兹；托马斯·希普尔；Vigyan Singhal公司；罗伯特·布雷顿；阿尔贝托Sangiovanni-Vincentelli 1 2002 火花喷射发动机的单缸特性估计。 兹比尔1026.93005 L.本维努蒂。；医学博士Di Benedetto。；Di Gennaro，S。；Sangiovanni-Vincentelli，A。 1 2003 基于通信的设计的形式化模型。 Zbl 0999.68527号 阿尔贝托Sangiovanni-Vincentelli；马尔科·斯格罗伊；卢西亚诺·拉瓦尼奥 1 2000 基于平台的多车辆多模态系统嵌入式软件设计。 Zbl 1027.68857号 古·T·约翰；朱迪思·利伯曼；马，塞德里克；本杰明·霍洛维茨；阿尔贝托Sangiovanni-Vincentelli；Shankar Sastry公司 1 2002 大都会的组合建模。 Zbl 1027.68810号 格雷戈·戈斯勒；Sangiovanni Vincentelli，阿尔贝托 1 2002 资源约束下鲁棒控制系统的综合。 Zbl 1081.93509号 路易吉·帕洛波利；克劳迪奥·皮内洛；阿尔贝托·桑吉奥瓦尼·文森特利；Laurent Elghaoui；安东尼奥·比奇 1 2002 撕裂的两级算法。 Zbl 0344.65027号 圭多·加尔达巴西；Sangiovanni Vincentelli，阿尔贝托 1 1976 二部图和矩阵的最优边三角形形式。 Zbl 0416.68040号 阿尔贝托Sangiovanni-Vincentelli；西奥多·比卡特。 1 1979 在松散时间触发的体系结构上实现同步模型。 Zbl 1390.68050号 斯塔夫罗斯·特里帕基斯；克劳迪奥·皮内洛；阿尔伯特·本文尼斯特；阿尔贝托Sangiovanni-Vincentelli；保罗·卡斯皮；马尔科·迪纳塔莱 1 2008 左旋喷射发动机的怠速控制通过多项式方程法。 Zbl 1266.93050号 莱昂纳多·阿尔贝托尼；安德烈·巴卢奇；亚历山德罗·卡萨沃拉；克劳迪奥·甘贝利；埃多亚多·莫斯卡；阿尔贝托·桑吉奥瓦尼·文森特利 1 2007 非线性电路和系统的可诊断性。II： 动力系统。 Zbl 0465.94050号 理查德·塞克斯；阿尔贝托Sangiovanni-Vincentelli；维斯瓦纳坦，V。 1 1981 MOS VLSI电路时序分析的集成算法特性。 Zbl 0492.65046号 乔瓦尼·德米凯利；阿尔贝托Sangiovanni-Vincentelli 1 1982 优化设计理论方面的中心、公差和调整问题。 Zbl 0501.49015号 E.波拉克。；Sangiovanni-Vincentelli，A。 1 1979 混合系统设计的语言和工具。 Zbl 1143.68346号 卢卡·卡洛尼（Luca P.Carloni）。；罗伯托·帕塞罗内；亚历山德罗·平托；Alberto L.Sangiovanni-Vincentelli。 1 2006 闭环混合系统计算和验证的基于合同的设计。 Zbl 1144.93313号 L.本维努蒂。；阿尔贝托·法拉利；E.马齐。；文森特利，A.L.Sangiovanni 1 2008 嵌入式系统设计和混合系统。 Zbl 0875.93005号 Sangiovanni-Vincentelli，A。 1 1997 通过优化进行计算机辅助设计。 Zbl 0464.93026号 D.Q.梅恩。；E.波拉克。；Sangiovanni Vincentelli，A。 1 1980 多级布尔网络的综合。 Zbl 1209.94068号 蒂齐亚诺别墅；罗伯特·K·布雷顿。；Alberto L.Sangiovanni-Vincentelli。 1 2010 使用混合系统有效解决最优控制问题。 Zbl 1098.49027号 米雷尔·布罗基；迪·贝内代托，玛丽亚·多梅尼卡；斯蒂法诺·迪·根纳罗；阿尔贝托Sangiovanni-Vincentelli 1 2005 一种新的仿真度量，用于确定具有未知动态系统的安全环境和控制器。 Zbl 07120154号 Shromona Ghosh公司；索米尔·班萨尔；阿尔贝托Sangiovanni-Vincentelli；Sanjit A.Seshia。；克莱尔·汤姆林 三 2019 传感器攻击下网络物理系统的安全状态估计：可满足性模理论方法。 Zbl 1390.93532号 亚瑟·舒克利；皮埃尔路易吉·努佐；阿尔贝托·普盖利；Alberto L.Sangiovanni-Vincentelli。；Sanjit A.Seshia。；保罗·塔布阿达 32 2017 SMC：可满足性模凸优化。 Zbl 1366.68102号 亚瑟·舒克利；皮埃尔路易吉·努佐；Alberto L.Sangiovanni-Vincentelli。；Sanjit A.Seshia。；乔治·J·帕帕斯。；保罗·塔布阿达 5 2017 根据信号时序逻辑规范进行综合的诊断和修复。 Zbl 1366.68169号 Shromona Ghosh公司；多萨萨迪；皮埃尔路易吉·努佐；瓦苏马提·拉曼；亚历山大·唐泽；Alberto L.Sangiovanni-Vincentelli。；S.Shankar，萨斯特里；Sanjit A.Seshia。 6 2016 凸不确定性MDP PCTL性质的多项式时间验证。 Zbl 1435.68202号 阿尔贝托·普盖利；李文超；Alberto L.Sangiovanni-Vincentelli。；Sanjit A.Seshia。 14 2013 混合系统动态观测器的设计：汽车控制问题的理论和应用。 Zbl 1284.93155号 安德烈·巴卢奇；卢卡·本维努蒂；玛丽亚·迪·贝内代托。；阿尔贝托Sangiovanni-Vincentelli 11 2013 驯服弗兰肯斯坦博士：基于合同的网络物理系统设计。 Zbl 1264.93152号 阿尔贝托Sangiovanni-Vincentelli；达姆，沃纳；罗伯托·帕塞罗内 15 2012 未知组件问题。理论和应用。 Zbl 1248.68023号 蒂齐亚诺别墅；尼娜·叶夫图申科；罗伯特·K·布雷顿。；阿兰·米什琴科；亚历山大·佩特伦科；阿尔贝托Sangiovanni-Vincentelli 4 2012 多级布尔网络的综合。 Zbl 1209.94068号 蒂齐亚诺别墅；罗伯特·K·布雷顿。；Alberto L.Sangiovanni-Vincentelli。 1 2010 同步FSM方程的组合渐进解。 Zbl 1161.93322号 尼娜·叶夫图申科；蒂齐亚诺别墅；罗伯特·K·布雷顿。；亚历克斯·佩特伦科；Alberto L.Sangiovanni-Vincentelli。 6 2008 基于结构属性的Petri网可调度性分析。 兹比尔1167.68401 刘聪；亚历克斯·孔德拉提耶夫；渡边洋里；德塞尔，约格；阿尔贝托Sangiovanni-Vincentelli 三 2008 在松散时间触发的体系结构上实现同步模型。 Zbl 1390.68050号 斯塔夫罗斯·特里帕基斯；克劳迪奥·皮内洛；阿尔伯特·本文尼斯特；阿尔贝托Sangiovanni-Vincentelli；保罗·卡斯皮；马尔科·迪纳塔莱 1 2008 闭环混合系统计算和验证的基于合同的设计。 Zbl 1144.93313号 L.本维努蒂。；阿尔贝托·法拉利；E.马齐。；文森特利，A.L.Sangiovanni 1 2008 共轨喷射系统的混合建模和控制。 Zbl 1129.93306号 A.巴卢奇。；A.比奇。；E.马齐。；文森特利，A.Sangiovanni；塞拉·G·。 5 2007 BDD表示的FSM编码。 Zbl 1153.68553号 威尔辛·戈斯蒂；蒂齐亚诺别墅；亚历克斯·萨尔达尼亚；Alberto L.Sangiovanni-Vincentelli。 2 2007 用于异构系统设计和验证的保持精化的近似。 兹比尔1118.68498 罗伯托·帕塞罗内；杰里·伯奇。；Alberto L.Sangiovanni-Vincentelli。 1 2007 左旋喷射发动机的怠速控制通过多项式方程法。 Zbl 1266.93050号 莱昂纳多·阿尔贝托尼；安德烈·巴卢奇；亚历山德罗·卡萨沃拉；克劳迪奥·甘贝利；埃多亚多·莫斯卡；阿尔贝托·桑吉奥瓦尼·文森特利 1 2007 混合系统设计的语言和工具。印刷版《电子设计自动化基础与趋势》第1卷第1-2期（2006年）。 Zbl 1107.68385号 卢卡·卡洛尼（Luca P.Carloni）。；罗伯托·帕塞罗内；亚历山德罗·平托；Alberto L.Sangiovanni-Vincentelli。 12 2006 同步设计的分布式部署建模框架。 Zbl 1099.68524号 卢卡·卡洛尼（Luca P.Carloni）。；Alberto L.Sangiovanni-Vincentelli。 1 2006 共轨喷射系统的混合建模和控制。 Zbl 1178.93101号 安德烈·巴卢奇；安东尼奥·比奇；伊曼纽尔·马齐；阿尔贝托·桑吉奥瓦尼·文森特利；塞拉，加布里埃尔 1 2006 嵌入式系统异构网络的同构语义保持部署。 Zbl 1112.68395号 亚伦·D·埃姆斯。；阿尔贝托Sangiovanni-Vincentelli；Shankar Sastry公司 1 2006 汽车电子设计中的混合动力系统。 Zbl 1113.93080号 A.巴卢奇。；L.本维努蒂。；A.法拉利。；Sangiovanni-Vincentelli，A.L。 1 2006 混合系统设计的语言和工具。 Zbl 1143.68346号 卢卡·卡洛尼（Luca P.Carloni）。；罗伯托·帕塞罗内；亚历山德罗·平托；Alberto L.Sangiovanni-Vincentelli。 1 2006 实时调度约束下一组系统的稳定半径最大化。 Zbl 1365.90144号 路易吉·帕洛波利；克劳迪奥·皮内洛；安东尼奥·比奇；阿尔贝托Sangiovanni-Vincentelli 6 2005 网络化嵌入式系统的混合控制。 Zbl 1293.93407号 A.巴卢奇。；L.本维努蒂。；恩格尔，S。；T·盖尔。；约翰森，K.H。；Lamnabhi-Lagarigue，F。；Lygeros，J。；莫拉里，M。；帕帕福蒂奥（G.Papafotiou）。；Sangiovanni-Vincentelli，A.L。；桑图奇（F.Santucci）。；O.斯图斯伯格。 4 2005 非均匀和不确定离散时间域上的控制器综合。 Zbl 1078.93523号 安德烈·巴卢奇；皮耶保罗·穆里埃里；Alberto L.Sangiovanni-Vincentelli。 4 2005 使用混合系统的最优控制问题的有效解决方案。 Zbl 1098.49027号 米雷尔·布罗基；迪·贝内代托，玛丽亚·多梅尼卡；斯蒂法诺·迪·根纳罗；阿尔贝托Sangiovanni-Vincentelli 1 2005 射频电路的噪声分析。 Zbl 1055.94032号 阿米特·梅赫罗特拉；阿尔贝托Sangiovanni-Vincentelli 三 2004 汽车发动机怠速控制综合。 Zbl 1135.93327号 安德烈·巴卢奇；费德里科·迪·纳塔莱；阿尔贝托Sangiovanni-Vincentelli；van Schuppen，Jan H。 三 2004 事件分离下限混合系统的控制器综合。 Zbl 1048.93051号 安德烈·巴卢奇；卢卡·本维努蒂；蒂齐亚诺别墅；Howard Wong-Toi，霍华德；Alberto L.Sangiovanni-Vincentelli。 4 2003 火花喷射发动机的单缸特性估计。 Zbl 1026.93005号 L.本维努蒂。；医学博士Di Benedetto。；Di Gennaro，S。；Sangiovanni-Vincentelli，A。 1 2003 混合系统观测器的设计。 Zbl 1050.93040号 安德烈·巴卢奇；卢卡·本维努蒂；玛丽亚·迪·贝内代托。；Alberto L.Sangiovanni-Vincentelli。 34 2002 混合系统：计算和控制。第四届国际研讨会，2001年HSCC，意大利罗马，2001年3月28日至30日。诉讼程序。 Zbl 0990.00076号 7 2002 建模和设计异构系统。 Zbl 1029.68503号 费利斯·巴拉林；卢西亚诺·拉瓦尼奥；克劳迪奥·帕塞罗内；阿尔贝托Sangiovanni-Vincentelli；马尔科·斯格罗伊；渡边洋里 2 2002 混合系统应用：矛盾？（摘要）。 Zbl 0991.93518号 阿尔贝托Sangiovanni-Vincentelli；托马斯·亨辛格（Thomas A.Henzinger）。；布鲁斯·H·克罗。；奥德·马勒；曼弗雷德·莫拉里 1 2002 使用互模拟进行最优控制：实现。 Zbl 0995.49021号 米雷尔·布罗基；迪·贝内代托，玛丽亚·多梅尼卡；斯蒂法诺·迪·根纳罗；阿尔贝托Sangiovanni-Vincentelli 1 2002 组合CTL模型检查的依赖于公式的等效性。 Zbl 1019.68064号 阿德南·阿齐兹；托马斯·希普尔；Vigyan Singhal公司；罗伯特·布雷顿；阿尔贝托Sangiovanni-Vincentelli 1 2002 基于平台的多车辆多模态系统嵌入式软件设计。 Zbl 1027.68857号 古·T·约翰；朱迪思·利伯曼；马，塞德里克；本杰明·霍洛维茨；Sangiovanni Vincentelli，阿尔贝托；Shankar Sastry公司 1 2002 大都会的组合建模。 Zbl 1027.68810号 格雷戈·戈斯勒；阿尔贝托Sangiovanni-Vincentelli 1 2002 资源约束下鲁棒控制系统的综合。 Zbl 1081.93509号 路易吉·帕洛波利；克劳迪奥·皮内洛；阿尔贝托·桑吉奥瓦尼·文森特利；劳伦特·埃尔格维；安东尼奥·比奇 1 2002 有限状态机的模型匹配。 Zbl 1009.93053号 迪·贝内代托，玛丽亚·多梅尼卡；阿尔贝托Sangiovanni-Vincentelli；蒂齐亚诺别墅 10 2001 在嵌入式软件设计中使用多层抽象。 Zbl 1050.68521号 杰里·伯奇。；罗伯托·帕塞罗内；Alberto L.Sangiovanni-Vincentelli。 2 2001 多点喷射发动机力瞬变的混合控制。 Zbl 1123.93312号 安德烈·巴卢奇；卢卡·本维努蒂；迪·贝内代托，玛丽亚·多梅尼卡；Alberto L.Sangiovanni-Vincentelli。 2 2001 自动发动机怠速控制的最大安全设置计算。 Zbl 0962.93070号 安德烈·巴卢奇；卢卡·本维努蒂；玛丽亚·迪·贝内代托。；吉多·米科尼。；乌戈·波齐；蒂齐亚诺别墅；Howard Wong-Toi，霍华德；Alberto L.Sangiovanni-Vincentelli。 6 2000 使用互模拟的最优控制理论。 Zbl 0963.93059号 布鲁克，米雷；迪·贝内代托，玛丽亚·多梅尼卡；斯蒂法诺·迪·根纳罗；阿尔贝托Sangiovanni-Vincentelli 2 2000 基于通信的设计的形式化模型。 Zbl 0999.68527号 阿尔贝托Sangiovanni-Vincentelli；马尔科·斯格罗伊；卢西亚诺·拉瓦尼奥 1 2000 汽车应用中的混合动力控制：切断控制。 Zbl 1049.93543号 A.巴卢奇。；医学博士Di Benedetto。；C·皮内洛。；罗西，C。；Sangiovanni-Vincentelli，A。 13 1999 延迟不敏感协议。 兹比尔1046.68585 卢卡·卡洛尼（Luca P.Carloni）。；肯尼思·麦克米兰。；Alberto L.Sangiovanni-Vincentelli。 三 1999 多值决策图：理论与应用。 Zbl 1025.94515号 蒂莫西·卡姆；蒂齐亚诺别墅；罗伯特·K·布雷顿。；Alberto L.Sangiovanni-Vincentelli。 15 1998 有限状态机的综合：函数优化。 Zbl 0876.94056号 Timothy Kam先生；蒂齐亚诺别墅；罗伯特·布雷顿；阿尔贝托Sangiovanni-Vincentelli 8 1997 嵌入式系统的软硬件协同设计。警察局的做法。 Zbl 0878.68133号 费利斯·巴拉林；马西米利亚诺·奇奥多；保罗·朱斯托；谢，哈里；阿提拉·尤雷克斯卡；卢西亚诺·拉瓦尼奥；克劳迪奥·帕塞罗内；阿尔贝托Sangiovanni-Vincentelli；埃伦·森托维奇；Kei铃木；巴萨姆·塔巴拉 5 1997 有限状态机的综合：逻辑优化。 Zbl 0876.94057号 蒂齐亚诺别墅；蒂莫西·卡姆；罗伯特·K·布雷顿。；阿尔贝托Sangiovanni-Vincentelli 4 1997 嵌入式系统设计和混合系统。 Zbl 0875.93005号 Sangiovanni-Vincentelli，A。 1 1997 实时系统验证的迭代方法。 Zbl 0829.68050号 费利斯·巴拉林；Alberto L.Sangiovanni-Vincentelli。 2 1995 现场可编程门阵列的逻辑综合。 Zbl 0839.68044号 拉杰夫·穆尔盖；罗伯特·K·布雷顿。；阿尔贝托Sangiovanni-Vincentelli 2 1995 公平克里普克结构的等效性。 Zbl 1418.68125号 阿德南·阿齐兹；Vigyan Singhal公司；费利斯·巴拉林；罗伯特·K·布雷顿。；Alberto L.Sangiovanni-Vincentelli。 5 1994 模拟退火的理论框架。 Zbl 0717.90061号 法比奥·罗密欧；阿尔贝托Sangiovanni-Vincentelli 16 1991 模拟和微波电路的稳态方法。 Zbl 0723.94009 肯尼思·昆德特。；雅各布·K·怀特。；阿尔贝托Sangiovanni-Vincentelli 22 1990 模拟退火的收敛性和有限时间行为。 Zbl 0604.60067号 米特拉、德巴西；法比奥·罗密欧；阿尔贝托Sangiovanni-Vincentelli 54 1986 为工程设计问题提供可行方向的增强方法。 Zbl 0581.90077号 蒂茨，A.L。；W.T.奈伊。；Sangiovanni-Vincentelli，A.L。 三 1986 VLSI综合的逻辑最小化算法。 Zbl 0565.94020号 罗伯特·K·布雷顿。；加里·D·哈切特。；柯蒂斯·麦克马伦。；Sangiovanni-Vincentelli，Alberto L。 54 1984 基于松弛的电气模拟。 Zbl 0526.65008号 亚瑟·理查德·牛顿；Alberto L.Sangiovanni-Vincentelli。 三 1983 计算机辅助优化设计：综述。 Zbl 0478.93021号 D.Q.梅恩。；E.波拉克。；Sangiovanni Vincentelli，A。 8 1982 MOS VLSI电路时序分析的集成算法特性。 Zbl 0492.65046号 乔瓦尼·德米凯利；阿尔贝托Sangiovanni-Vincentelli 1 1982 非线性电路和系统的可诊断性。二： 动力系统。 Zbl 0465.94050号 理查德·塞克斯；阿尔贝托Sangiovanni-Vincentelli；维斯瓦纳坦，V。 1 1981 通过优化进行计算机辅助设计。 Zbl 0464.93026号 D.Q.梅恩。；E.波拉克。；Sangiovanni-Vincentelli，A。 1 1980 具有宏建模和延迟的多级牛顿算法，用于时域中大规模非线性电路的分析。 兹比尔0421.94020 拉巴特，N.B.盖伊；Alberto L.Sangiovanni-Vincentelli。；谢学友。 22 1979 优化设计的理论和计算方面的中心、公差和调整问题。 Zbl 0425.90084号 以利亚·波拉克；阿尔贝托Sangiovanni-Vincentelli 16 1979 二部图和矩阵的最优边三角形形式。 Zbl 0416.68040号 阿尔贝托Sangiovanni-Vincentelli；西奥多·比卡特。 1 1979 优化设计理论方面的中心、公差和调整问题。 Zbl 0501.49015号 E.波拉克。；Sangiovanni-Vincentelli，A。 1 1979 一种新的最短路径更新算法。 兹伯利0392.94022 圣戈托。；Sangiovanni-Vincentelli，A。 8 1978 一种用于撕裂大规模网络的高效启发式聚类算法。 Zbl 0368.94028号 阿尔贝托Sangiovanni-Vincentelli；陈立宽；Chua，Leon O。 7 1977 稀疏矩阵上非对称排列的图论解释。 Zbl 0359.94049号 Sangiovanni-Vincentelli，A.L。 三 1977 解决问题的一般学习方法。 Zbl 0376.68062号 Sangiovanni Vincentelli，A。；D.曼德里奥利。；索马利维科，M。 4 1976 撕裂的两级算法。 Zbl 0344.65027号 圭多·加尔达巴西；阿尔贝托Sangiovanni-Vincentelli 1 1976 状态空间方法在问题求解优化中的应用。 Zbl 0273.68057号 阿尔贝托·桑吉奥瓦尼·文森特利；马尔科·索马利维科 三 1973 所有引用的出版物 前5名被引用出版物 全部的 前5名985位作者引用 17 Alberto L.Sangiovanni-Vincentelli。 14 斯特凡·哈特曼 9 杨荣敏 7 安德烈·巴卢奇 7 塞巴斯蒂安·荣格斯 7 伊利亚·波拉克（卢西恩） 7 杨广红 6 Joost-Pieter卡托恩 5 吉安弗兰科·西亚多 5 埃琳娜·德·桑提斯 5 迪·贝内代托，玛丽亚·多梅尼卡 5 雅各布·哈默 5 尼尔斯·詹森 5 卡尔·亨利克·约翰逊 5 保罗·塔布阿达 5 蒂齐亚诺别墅 4 卢卡·本维努蒂 4 戈梅斯·古铁雷斯（David Gomez-Gutiérrez） 4 吉奥瓦尼·吉达 4 艾哈迈德·瓦哈吉·哈姆卡尔 4 金·古德斯特兰·拉森 4 大卫·Q·梅恩。 4 马尔科·索马利维科 4 瓦茨奎兹，卡洛斯·雷纳托 三 亚历山德罗·阿巴特 三 安德烈亚斯·阿尔布雷希特。 三 安、李伟 三 罗伯托·巴布蒂 三 阿尔伯特·本文尼斯特 三 安娜·伯纳斯科尼 三 比比洛，P.N。 三 大卫·布雷索林 三 蒂埃里·弗洛奎特 三 托拜厄斯·盖尔 三 迈克尔·科斯特雷瓦。 三 奥尔纳·库普弗曼 三 Legay、Axel 三 鲁、安阳 三 努雷迪内·马纳曼尼 三 Gilles Millerioux公司 三 安德鲁·米纳（Andrew S.Miner）。 三 曼弗雷德·莫拉里 三 Jorge F.奥利维拉。 三 乔治·J·帕帕斯。 三 维托尔德·佩德里茨 三 Jean-Pierre塔宾 三 拉斐尔·维斯涅夫斯基 三 Wong，Chak-Kuen先生 2 埃米尔·休伯特·莱昂纳多斯·阿尔茨 2 阿利耶夫，T.A。 2 Badings，Thom S。 2 费利斯·巴拉林 2 Jean-Pierre巴伯 2 亚历山大·巴卡洛夫（Alexander A.Barkalov）。 2 马西莫·贝内雷切蒂 2 法布里奇奥·博纳尼 2 蒂莫西·布鲁克 2 贝努伊特Caillaud 2 瓦伦蒂娜·卡斯蒂格利奥尼 2 贝纳迪诺·卡斯蒂略-托莱多 2 安娜·卡瓦尔坎蒂 2 Čelikovský，谢尔盖 2 克劳迪娜·朝义亚 2 穆拉特·库布克特佩 2 Domitilla的Del Vecchio 2 贝诺·德拉哈耶 2 马德哈夫·德赛。 2 查尔斯·德索尔。 2 迪马罗戈纳斯，迪莫斯五世。 2 穆罕默德·杰迈 2 曼弗雷德·德罗斯特 2 埃琳娜·杜布罗瓦 2 约翰·D·埃尔文。 2 塞巴斯蒂安·恩格尔 2 马可·费拉 2 西蒙·福斯特 2 马丁·范策尔 2 劳伦·弗里堡 2 高英辉 2 Adam F.戈壁。 2 罗伯塔·戈里 2 M.M.古拉里。 2 查尔斯·古斯塔夫森。 2 理查德·哈格 2 彼得·拉迪斯劳·哈默 2 何兴康 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 劳伦蒂·赫特尔 2 胡庆杰 2 谢尔登·雅各布森。 2 Julius，A.阿贡 2 达留什·卡尼亚 2 克里莫维奇，A.S。 2 迈克尔·科伦科 2 雅切克·科里基 2 郑武圭 2 伊万·拉内斯 2 阿德里安·勒科恩特 2 保罗·勒格尔尼克 2 李东恩 …还有885位作者 全部的 前5名136篇连载文章中引用 42 Automatica公司 18 理论计算机科学 17 国际控制杂志 16 非线性分析。混合动力系统 15 富兰克林学院学报 15 系统设计中的形式化方法 14 最优化理论与应用杂志 10 国际鲁棒非线性控制杂志 10 欧洲控制杂志 8 国际应用数学与计算机科学杂志 7 人工智能 7 离散应用数学 7 信息科学 7 系统和控制信件 6 应用力学与工程中的计算机方法 6 应用数学与计算 6 非线性分析。理论、方法和应用。系列A：理论与方法 6 信息与计算 6 欧洲运筹学杂志 5 计算机与数学及其应用 5 全球优化杂志 5 离散事件动态系统 4 信息处理信件 4 国际电路理论与应用杂志 4 算法 4 数学和计算机建模 4 运筹学年鉴 4 国际计算机数学杂志 4 控制论与系统分析 4 国际计算机与系统科学杂志 4 扎姆。Zeitschrift für Angewandte Mathematik und Mechanik公司 4 量子信息处理 4 计算机科学中的逻辑方法 三 计算机与系统科学杂志 三 模拟中的数学和计算机 三 计算机与运筹学 三 计算力学 三 线性代数及应用 三 信息计算杂志 三 非线性动力学 三 信号、图像和视频技术VLSI信号处理系统杂志 三 工程与信息科学中的概率论 2 国际系统科学杂志 2 应用数学与优化 2 比特币 2 模糊集与系统 2 麦加尼卡 2 编程和计算机软件 2 计算机程序设计科学 2 电路、系统和信号处理 2 复杂性杂志 2 国际并行程序设计杂志 2 COMPEL公司 2 实时系统 2 MSCS公司。计算机科学中的数学结构 2 应用力学档案 2 启发式杂志 2 动力系统的数学和计算机建模 2 萨达纳 2 自然计算 2 应用逻辑杂志 2 控制科学与工程杂志 1 信息学报 1 澳大利亚数学学会公报 1 国际通用系统杂志 1 国际塑性杂志 1 计算物理学杂志 1 数学分析与应用杂志 1 统计物理学杂志 1 Aplikace Matematiky公司 1 数学档案馆 1 计算 1 应用概率杂志 1 计算与应用数学杂志 1 凯贝内提卡 1 数学程序设计研究 1 数学规划 1 数值泛函分析与优化 1 数值数学 1 Neerlandica统计 1 控制论 1 应用数学进展 1 OR演讲 1 控制论与系统 1 运营研究信件 1 随机分析及其应用 1 数学应用学报 1 国际生产研究杂志 1 美国数学与管理科学杂志 1 应用数值数学 1 应用数学学报。英语系列 1 优化 1 自动推理杂志 1 国际智能系统杂志 1 国际近似推理杂志 1 科学计算杂志 1 计算的形式方面 1 神经计算 1 设计、代码和密码 1 计算统计与数据分析 …还有36部连续剧 全部的 前5名30个领域被引用 183 计算机科学（68至XX） 172 系统论；控制（93至XX） 105 运筹学、数学规划（90-XX） 60 数值分析（65-XX） 50 信息与通信理论、电路（94-XX） 20 可变形固体力学（74-XX） 18 变分法与最优控制；最优化（49至XX） 17 常微分方程（34-XX） 15 数学逻辑和基础（03-XX） 14 概率论与随机过程（60-XX） 14 生物学和其他自然科学（92-XX） 8 组合数学（05-XX） 7 阶、格、有序代数结构（06-XX） 6 线性代数和多线性代数；矩阵理论（15-XX） 6 动力系统和遍历理论（37至XX） 6 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 5 粒子和系统力学（70-XX） 4 统计学（62-XX） 三 量子理论（81-XX） 2 实函数（26年X月X日） 2 偏微分方程（35-XX） 2 算子理论（47-XX） 2 光学、电磁理论（78-XX） 2 统计力学，物质结构（82-XX） 1 范畴理论；同调代数（18-XX） 1 复变量的函数（30年XX月） 1 欧氏空间的调和分析（42至XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 1 相对论和引力理论（83至XX） 按年份列出的引文