Amílcar Sernadas, IST Distinguished Professor 个人学术档案

引用次数

	总计	2019 年至今
引用	3865	277
h 指数	36	8
i10 指数	90	7

200

100

150

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 14 18 43 20 84 185 182 136 195 183 101 122 136 114 92 68 126 96 100 151 87 187 90 103 107 94 80 82 92 86 72 53 49 60 46 53 33 39 46

开放获取的出版物数量

查看全部

6 篇文章

3 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, Portugal在 tecnico.ulisboa.pt 的电子邮件经过验证
Hans-Dieter EhrichProfesoor emeritus of information systems在 tu-bs.de 的电子邮件经过验证
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugal在 math.ist.utl.pt 的电子邮件经过验证
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. Lisboa在 math.ist.utl.pt 的电子邮件经过验证
José Luiz FiadeiroProfessor of Computer Science, University of Dundee在 dundee.ac.uk 的电子邮件经过验证
João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
José Félix CostaProfessor Catedrático de Matemática, Instituto Superior Técnico在 math.tecnico.ulisboa.pt 的电子邮件经过验证
Marcelo Esteban ConiglioProfessor of Logic, University of Campinas在 unicamp.br 的电子邮件经过验证
Gunter SaakeProfessor of Computer Science, Magdeburg University在 ovgu.de 的电子邮件经过验证
Rohit ChadhaUniversity of Missouri在 missouri.edu 的电子邮件经过验证
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's College在 kcl.ac.uk 的电子邮件经过验证
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History of在 cle.unicamp.br 的电子邮件经过验证
Luís Cruz-FilipeUniversity of Southern Denmark在 imada.sdu.dk 的电子邮件经过验证
Till MossakowskiProfessor of Computer Science, University of Magdeburg在 ovgu.de 的电子邮件经过验证
Pedro BaltazarInstituto de Telecomunicações, Technical University of Lisbon在 ist.utl.pt 的电子邮件经过验证
Helder CoelhoFaculty of Sciences, University of Lisbon在 di.fc.ul.pt 的电子邮件经过验证
Yasser OmarInstituto de Telecomunicações & CEMAPRE, ISEG, University of Lisbon在 iseg.ulisboa.pt 的电子邮件经过验证
André SoutoDep. Informática, Faculdade Ciências, Universidade Lisboa, LASIGE e Instituto de Telecomunicações在 fc.ul.pt 的电子邮件经过验证
Pierre Yves SchobbensProfessor of Computer Science, University of Namur (FUNDP)在 unamur.be 的电子邮件经过验证
Carlos A. Bana e CostaCEGIST, Instituto Superior Técnico, Universidade de Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证

关注

Amílcar Sernadas, IST Distinguished Professor

Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa

在 tecnico.ulisboa.pt 的电子邮件经过验证 - 首页

Mathematical Logic Computer Science


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Structuring theories on consequence J Fiadeiro, A Sernadas Workshop on the Specification of Abstract Data Types, 44-72, 1987	202	1987
Fibring of logics as a categorial construction A Sernadas, C Sernadas, C Caleiro Journal of logic and computation 9 (2), 149-179, 1999	154	1999
Object specification logic A Sernadas, C Sernadas, JF Costa Journal of Logic and Computation 5 (5), 603-630, 1995	148	1995
Temporal aspects of logical procedure definition A Sernadas Information systems 5 (3), 167-187, 1980	146	1980
A categorial theory of objects as observed processes HD Ehrich, JA Goguen, A Sernadas Foundations of Object-Oriented Languages: REX School/Workshop …, 1991	120	1991
Fibring: completeness preservation A Zanardo, A Sernadas, C Sernadas The Journal of Symbolic Logic 66 (1), 414-439, 2001	112	2001
The basic building blocks of information systems A Sernadas, J Fiadero, C Sernadas, HD Ehrich, ED Falkenberg Information System Concepts: An In-Depth Analysis, 1989	101	1989
What is an object, after all? A Sernadas, HD Ehrich DS-4, 39-69, 1990	97	1990
Weakly complete axiomatization of exogenous quantum propositional logic P Mateus, A Sernadas Information and Computation 204 (5), 771-794, 2006	81	2006
Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998	71	1998
Reasoning about imperative quantum programs R Chadha, P Mateus, A Sernadas Electronic Notes in Theoretical Computer Science 158, 19-39, 2006	70	2006
Abstract object types: A temporal perspective A Sernadas, J Fiadeiro, C Sernadas, HD Ehrich Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 …, 2005	67	2005
Probabilistic situation calculus P Mateus, A Pacheco, J Pinto, A Sernadas, C Sernadas Annals of Mathematics and Artificial Intelligence 32, 393-431, 2001	66	2001
Algebraic implementation of objects over objects HD Ehrich, A Sernadas Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990	65	1990
Fibring non-truth-functional logics: Completeness preservation C Caleiro, WA Carnielli, ME Coniglio, A Sernadas, C Sernadas Journal of Logic, Language and Information 12, 183-211, 2003	64	2003
OBLOG\| Object-Oriented Logic: an informal introduction A Sernadas, C Sernadas, P Gouveia, P Resende, J Gouveia Techn. Report, INESC, Lisbon, 1991	63	1991
Local specification of distributed families of sequential objects HD Ehrich, A Sernadas Workshop on the Specification of Abstract Data Types, 219-235, 1994	61	1994
Fundamental object concepts and constructions HD Ehrich, A Sernadas Information Systems {Correctness and Reusability, TU Braunschweig …, 1991	61	1991
In-the-large object-oriented design of information systems C Sernadas, P Resende, P Gouveia, A Sernadas The Object-Oriented Approach in Information Systems, 209-232, 1991	59	1991
Objects and their Specification HD Ehrich, M Gogolla, A Sernadas Workshop on the Specification of Abstract Data Types, 40-65, 1991	57	1991

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用