Amı́lcar Sernadas

1.9k total citations
73 papers, 631 citations indexed

About

Amı́lcar Sernadas is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Amı́lcar Sernadas has authored 73 papers receiving a total of 631 indexed citations (citations by other indexed papers that have themselves been cited), including 64 papers in Artificial Intelligence, 50 papers in Computational Theory and Mathematics and 10 papers in Computer Networks and Communications. Recurrent topics in Amı́lcar Sernadas's work include Logic, programming, and type systems (41 papers), Logic, Reasoning, and Knowledge (37 papers) and Advanced Algebra and Logic (23 papers). Amı́lcar Sernadas is often cited by papers focused on Logic, programming, and type systems (41 papers), Logic, Reasoning, and Knowledge (37 papers) and Advanced Algebra and Logic (23 papers). Amı́lcar Sernadas collaborates with scholars based in Portugal, Brazil and United Kingdom. Amı́lcar Sernadas's co-authors include Cristina Sernadas, Paulo Mateus, Hans-Dieter Ehrich, José Luiz Fiadeiro, Rohit Chadha, Carlos Caleiro, José Félix Costa, José Carmo, Marcelo E. Coniglio and Luı́s Cruz-Filipe and has published in prestigious journals such as Decision Support Systems, Theoretical Computer Science and Journal of Computer and System Sciences.

In The Last Decade

Amı́lcar Sernadas

71 papers receiving 501 citations

Peers

Amı́lcar Sernadas

CTM

CNC

Peter Gemmell United States

R. D. Tennent Canada

Alessandra Di Pierro Italy

Cristina Sernadas Portugal

Herbert Wiklicky United Kingdom

Ugo Dal Lago Italy

Amy Felty Canada

Paweł Sobociński United Kingdom

Larry Wos United States

Marcelo Fiore United Kingdom

Peter Gemmell United States

Amı́lcar Sernadas

490 ×0.9

227 ×0.6

CTM

234 ×1.4

CNC

158 ×2.8

29 ×0.6

Citations per year, relative to Amı́lcar Sernadas Amı́lcar Sernadas (= 1×) peers Peter Gemmell

Countries citing papers authored by Amı́lcar Sernadas

Since Specialization

Citations

This map shows the geographic impact of Amı́lcar Sernadas's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Amı́lcar Sernadas with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Amı́lcar Sernadas more than expected).

Fields of papers citing papers by Amı́lcar Sernadas

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Amı́lcar Sernadas. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Amı́lcar Sernadas. The network helps show where Amı́lcar Sernadas may publish in the future.

Co-authorship network of co-authors of Amı́lcar Sernadas

This figure shows the co-authorship network connecting the top 25 collaborators of Amı́lcar Sernadas. A scholar is included among the top collaborators of Amı́lcar Sernadas based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Amı́lcar Sernadas. Amı́lcar Sernadas is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Sernadas, Cristina, et al.. (2016). PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS. The Review of Symbolic Logic. 9(4). 641–663. 2 indexed citations

Qiu, Daowen, Lvzhou Li, Paulo Mateus, & Amı́lcar Sernadas. (2014). Exponentially more concise quantum recognition of non-RMM regular languages. Journal of Computer and System Sciences. 81(2). 359–375. 11 indexed citations

Costa, Carlos A. Bana e, P.A.F. Martins, Mónica Duarte Oliveira, Amı́lcar Sernadas, & C.A. Mota Soares. (2010). Faculty evaluation using multicriteria value measurement. 287–290. 1 indexed citations

Qiu, Daowen, Paulo Mateus, Xiangfu Zou, & Amı́lcar Sernadas. (2009). One-way quantum finite automata together with classical states: Equivalence and Minimization. 2 indexed citations

Qiu, Daowen, Paulo Mateus, Xiangfu Zou, & Amı́lcar Sernadas. (2009). One-way quantum finite automata together with classical states. arXiv (Cornell University). 2 indexed citations

Sernadas, Amı́lcar & Cristina Sernadas. (2008). Foundations of Logic and Theory of Computation. 4 indexed citations

Chadha, Rohit, Luı́s Cruz-Filipe, Paulo Mateus, & Amı́lcar Sernadas. (2007). Reasoning about probabilistic sequential programs. Theoretical Computer Science. 379(1-2). 142–165. 18 indexed citations

Mateus, Paulo & Amı́lcar Sernadas. (2006). Weakly complete axiomatization of exogenous quantum propositional logic. Information and Computation. 204(5). 771–794. 20 indexed citations

Caleiro, Carlos, Walter Carnielli, Marcelo E. Coniglio, Amı́lcar Sernadas, & Cristina Sernadas. (2003). Fibring Non-Truth-Functional Logics: Completeness Preservation. Journal of Logic Language and Information. 12(2). 183–211. 18 indexed citations

10.

Schobbens, Pierre‐Yves, Gunter Saake, Amı́lcar Sernadas, & Cristina Sernadas. (2002). A two-level temporal logic for evolving specifications. Information Processing Letters. 83(3). 167–172. 2 indexed citations

11.

Sernadas, Amı́lcar. (2000). Fibring Logics, Dov M. Gabbay. Journal of Logic Language and Information. 9(4). 511–513. 2 indexed citations

12.

Sernadas, Amı́lcar, Cristina Sernadas, Carlos Caleiro, & Till Mossakowski. (1998). Categorial Fibring of Logics with Terms and Binding Operators.. 295–316. 11 indexed citations

13.

Caleiro, Carlos, Gunter Saake, & Amı́lcar Sernadas. (1996). Deriving Liveness Goals from Temporal Logic Specifications. Journal of Symbolic Computation. 22(5-6). 521–553. 3 indexed citations

14.

Costa, José Félix, Amı́lcar Sernadas, Cristina Sernadas, & Hans-Dieter Ehrich. (1992). Object Interaction. 200–208. 5 indexed citations

15.

Ehrich, Hans-Dieter, Amı́lcar Sernadas, & Cristina Sernadas. (1990). From data types to object types. Journal of automata, languages and combinatorics. 26(1). 33–48. 12 indexed citations

16.

Sernadas, Amı́lcar & Hans-Dieter Ehrich. (1990). What is an Object, After All?. 39–69. 14 indexed citations

17.

Sernadas, Cristina, José Luiz Fiadeiro, & Amı́lcar Sernadas. (1988). Object-Oriented Conceptual Modeling from Law.. Discovery Research Portal (University of Dundee). 305–327. 3 indexed citations

18.

Sernadas, Amı́lcar, Cristina Sernadas, & Hans-Dieter Ehrich. (1987). Object-Oriented Specification of Databases: An Algebraic Approach. Very Large Data Bases. 107–116. 40 indexed citations

19.

Sernadas, Amı́lcar & Cristina Sernadas. (1985). The Use of E-R Abstractions for Knowledge Representation. 224–231. 4 indexed citations

20.

Sernadas, Cristina & Amı́lcar Sernadas. (1985). Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions.. 121–140. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact