编辑配置文件（在新选项卡中打开） 亚历杭德罗·拉索 合著者距离 作者ID： 俄罗斯·阿列詹德罗 发布日期： 亚历杭德罗·拉索 已编制索引的文档： 16出版物自1993年起 合著者： 11位合著者具有8联合出版物 222名Co-Co作者 全部的 前5名合著者 2 单一作者 4 安德烈·萨贝尔菲尔德 三 巴勃罗·布伊拉斯 2 大卫·马齐埃尔 2 约翰·米切尔（John C.Mitchell）。 2 朱利奥·斯塔里塔 2 德伊安·斯特凡 1 马里奥·阿里奥利 1 安德烈·丘德诺夫 1 丹尼尔·法纳罗 1 希施费尔德·卡勒（Nancy Hitschfeld-Kahler） 1 阿米特·利维 1 李克勤 1 埃里克·诺拉德 1 Olate-Sanzana，E。 1 奥尔蒂斯·伯纳丁，A。 1 西尔瓦·瓦伦苏埃拉。 1 马可·瓦塞纳 1 Vytiniotis，迪米特里奥斯 1 韦伊，卢卡斯 全部的 前5名系列 1 卡尔科洛 1 应用数学快报 1 数学和计算机建模 1 数值算法 1 函数编程杂志 1 逻辑与代数程序设计杂志 1 Annali della Scuola Normale Superiore di Pisa公司。科学分类。V系列 全部的 前5名领域 8 计算机科学（68至XX） 4 偏微分方程（35-XX） 4 数值分析（65-XX） 三 流体力学（76-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 势能理论（31日至XX日） 1 欧氏空间的调和分析（42至XX） 1 可变形固体力学（74-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用12中的次12文件 引用人▼ 年份▼ Stokes问题的后验误差估计。 Zbl 0821.65066号 A.拉索。 12 1995 Veamy：虚拟元素方法的可扩展面向对象C++库。 兹比尔1442.65002 奥尔蒂斯·伯纳丁，A。;C·阿尔瓦雷斯。;Hitschfeld-Kahler，N。;A.拉索。;西尔瓦·瓦伦苏埃拉。;Olate-Sanzana，E。 10 2019 迭代方法的停止标准：PDE的应用。 Zbl 1072.65045号 M.阿里奥利。;努拉德，E。;A.拉索。 10 2001 关于大通量Navier-Stokes系统稳态解的存在性。 Zbl 1150.76015号 A.拉索。;G.斯塔里塔。 9 2008 跟踪动态树结构中的信息流。 Zbl 1481.94006号 亚历杭德罗·拉索;安德烈·萨贝尔菲尔德;安德烈·丘德诺夫 4 2009 HLIO：在Haskell中混合静态和动态类型以进行信息流控制。 Zbl 1360.68316号 巴勃罗·布伊拉斯;Vytiniotis，迪米特里奥斯;亚历杭德罗·拉索 三 2015 协同调度下多线程程序的安全性。 Zbl 1185.68230号 亚历杭德罗·拉索;安德烈·萨贝尔菲尔德 2 2007 用改进的勒让德网格近似对流扩散问题。 Zbl 0875.76330号 D.富纳罗。;A.拉索。 2 1993 解决并发信息流系统中的隐蔽终止和定时通道。 Zbl 1291.68057号 德伊安·斯特凡;亚历杭德罗·拉索;巴勃罗·布伊拉斯;阿米特·利维;约翰·米切尔（John C.Mitchell）。;大卫·马齐埃雷斯 2 2012 在同步的情况下确保线程和调度程序之间的交互。 Zbl 1187.68310号 亚历杭德罗·拉索;安德烈·萨贝尔菲尔德 1 2009 定常Navier-Stokes方程的一个混合问题。 Zbl 1165.35430号 A.拉索。;G.斯塔里塔。 1 2009 Veamy：虚拟元素方法的可扩展面向对象C++库。 兹比尔1442.65002 奥尔蒂斯·伯纳丁，A。;C·阿尔瓦雷斯。;Hitschfeld-Kahler，N。;A.拉索。;西尔瓦·瓦伦苏埃拉。;Olate-Sanzana，E。 10 2019 HLIO：在Haskell中混合静态和动态类型以进行信息流控制。 Zbl 1360.68316号 巴勃罗·布伊拉斯;Dimitrios Vytiniotis，迪米特里奥斯;亚历杭德罗·拉索 三 2015 解决并发信息流系统中的隐蔽终止和定时通道。 Zbl 1291.68057号 德伊安·斯特凡;亚历杭德罗·拉索;巴勃罗·布伊拉斯;莱维，阿米特;约翰·米切尔（John C.Mitchell）。;大卫·马齐埃雷斯 2 2012 跟踪动态树结构中的信息流。 Zbl 1481.94006号 亚历杭德罗·拉索;安德烈·萨贝尔菲尔德;安德烈·丘德诺夫 4 2009 在同步状态下确保线程和调度程序之间的交互。 Zbl 1187.68310号 亚历杭德罗·拉索;安德烈·萨贝尔菲尔德 1 2009 定常Navier-Stokes方程的一个混合问题。 Zbl 1165.35430号 A.拉索。;G.斯塔里塔。 1 2009 关于大通量Navier-Stokes系统稳态解的存在性。 Zbl 1150.76015号 A.拉索。;G.斯塔里塔。 9 2008 协同调度下多线程程序的安全性。 Zbl 1185.68230号 亚历杭德罗·拉索;安德烈·萨贝尔菲尔德 2 2007 迭代方法的停止标准：PDE的应用。 Zbl 1072.65045号 M.阿里奥利。;诺拉德，E。;A.拉索。 10 2001 Stokes问题的后验误差估计。 Zbl 0821.65066号 A.拉索。 12 1995 用改进的勒让德网格近似对流扩散问题。 Zbl 0875.76330号 D.富纳罗。;A.拉索。 2 1993 所有引用出版物 前5名被引用出版物 全部的 前5名44位作者引用 2 亚历杭德罗·鲁索 1 哈米达桑·艾哈迈德。 1 沃尔夫冈·阿伦特 1 埃齐奥·巴托西 1 多梅尼科·比安库利 1 娜塔莉亚·比埃洛娃 1 米歇尔·布格列西 1 斯特凡诺·卡尔扎瓦拉 1 伊利亚州卡斯特拉尼 1 克里斯蒂安·科伦坡 1 马里亚纽拉州Dezani-Ciancaglini 1 理查德·艾森伯格。 1 伊利耶斯·法尔科内 1 Mehran S·法拉。 1 里卡多·福卡迪 1 阿德里安·弗兰卡兰扎 1 菲利普·安妮·加德纳 1 伊兰曼内什、泽纳布 1 Sr Djan Krstić 1 劳德，皮特 1 Lourenço，Joáo M。 1 亚历山大·卢克斯 1 海科·曼特尔 1 大卫·马齐埃尔 1 约翰·米切尔（John C.Mitchell）。 1 德扬·尼科维奇 1 Owe、Olaf 1 戈登·佩斯。 1 佩雷斯（Jorge A.Pérez）。 1 马蒂亚斯·佩纳 1 马丁·佩泰 1 杜鹃花拉德 1 托克塔姆，拉梅扎尼法尔卡尼 1 若泽·鲁菲诺 1 安德烈·萨贝尔菲尔德 1 塞萨尔·桑切斯 1 何塞·弗拉戈索·桑托斯 1 杰拉尔多·施奈德 1 辛戈尔斯，朱利安 1 德伊安·斯特凡 1 舒坤，托卡斯 1 德米特里·特拉泰尔 1 斯蒂芬妮·威里奇 1 亚历山大·韦斯 全部的 前5名6篇连载文章中引用 2 逻辑与代数程序设计杂志 2 程序设计中的逻辑和代数方法杂志 1 计算的形式方面 1 系统设计中的形式化方法 1 函数编程杂志 1 计算机语言、系统和结构 在2个字段中引用 12 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文