| 期刊全称 | Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | | 期刊简称 | Essays Dedicated to | | 影响因子2023 | Pedro Lopez-Garcia,John P. Gallagher,Roberto Giaco | | 视频video | | | 发行地址 | Honorary volume dedicated to Manuel Hermenegildo on the occasion of his 60th birthday.Contributions by leading researchers in the domain.Features a broad range of academic research and implementation | | 学科分类 | Lecture Notes in Computer Science | | 图书封面 |  | | 影响因子 | This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an endowed chair in Information Science and Technology at the University of New Mexico. In 2007 he became the founding director of the IMDEA Software Institute, where he is now a Distinguished Professor, while also a full professor at Universidad Politécnica de Madrid (UPM)..He has published more than 300 scientific publications, given numerous keynotes and invited talks at major conferences, coordinated many national and international projects, and served the community in major conference roles, on journal boards, and on funding, scientific, and research committees. Among his awards are the Julio Rey Pastor prize in Mathematics and Information Science and Technologyand the Aritmel prize in Computer Science; he is an elected member of the Academia Europaea; and in 2022 he was elected a Fellow of the ACM for contributions to program analysis, verification, parallelism, logic programming, and t | | Pindex | Book 2023 |
The information of publication is updating
书目名称Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems影响因子(影响力)
书目名称Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems影响因子(影响力)学科排名
书目名称Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems网络公开度
书目名称Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems网络公开度学科排名
书目名称Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems被引频次
书目名称Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems被引频次学科排名
书目名称Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems年度引用
书目名称Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems年度引用学科排名
书目名称Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems读者反馈
书目名称Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems读者反馈学科排名
|
|
|
发表于 2025-3-21 18:56:40
