Nóra Szász

663 total citations
29 papers, 403 citations indexed

About

Nóra Szász is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics. According to data from OpenAlex, Nóra Szász has authored 29 papers receiving a total of 403 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Artificial Intelligence, 9 papers in Software and 7 papers in Computational Theory and Mathematics. Recurrent topics in Nóra Szász's work include Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (9 papers) and Model-Driven Software Engineering Techniques (7 papers). Nóra Szász is often cited by papers focused on Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (9 papers) and Model-Driven Software Engineering Techniques (7 papers). Nóra Szász collaborates with scholars based in Uruguay, United States and Hungary. Nóra Szász's co-authors include Olivér Szász, Stephen B. Trippel, Alan J. Grodzinsky, András Szász, Á. Szász, Robert J. Smith, Paul Fanning, Eliot H. Frank, Teresa I. Morales and Maribel Fernández and has published in prestigious journals such as Journal of Biological Chemistry, SHILAP Revista de lepidopterología and Archives of Biochemistry and Biophysics.

In The Last Decade

Nóra Szász

24 papers receiving 384 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Nóra Szász Uruguay	8	119	112	79	65	60	29	403
T. Wakabayashi Japan	17	104 0.9×	47 0.4×	126 1.6×	92 1.4×	4 0.1×	39	818
Yunlan Zhou China	14	31 0.3×	61 0.5×	259 3.3×	19 0.3×	12 0.2×	43	617
Lei Mao China	15	23 0.2×	38 0.3×	351 4.4×	58 0.9×	5 0.1×	63	820
M. Isaksson Sweden	14	47 0.4×	19 0.2×	189 2.4×	8 0.1×	9 0.1×	39	722
Xiuhui Chen China	15	55 0.5×	13 0.1×	532 6.7×	55 0.8×	10 0.2×	35	914
Sinae Kim South Korea	16	153 1.3×	28 0.3×	528 6.7×	116 1.8×	4 0.1×	37	960
Hiromi Amano Japan	7	36 0.3×	44 0.4×	251 3.2×	139 2.1×	1 0.0×	15	460
Jeremy Marsden United Kingdom	9	25 0.2×	11 0.1×	455 5.8×	15 0.2×	24 0.4×	10	972
Juncheng Wang China	12	24 0.2×	21 0.2×	120 1.5×	37 0.6×	8 0.1×	48	543
Katsumi Sakakibara Japan	10	32 0.3×	7 0.1×	135 1.7×	25 0.4×	14 0.2×	53	466

Countries citing papers authored by Nóra Szász

Since Specialization

Citations

This map shows the geographic impact of Nóra Szász'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 Nóra Szász with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Nóra Szász more than expected).

Fields of papers citing papers by Nóra Szász

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Nóra Szász. 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 Nóra Szász. The network helps show where Nóra Szász may publish in the future.

Co-authorship network of co-authors of Nóra Szász

This figure shows the co-authorship network connecting the top 25 collaborators of Nóra Szász. A scholar is included among the top collaborators of Nóra Szász 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 Nóra Szász. Nóra Szász 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

Szász, Nóra, et al.. (2021). Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention. Mathematical Structures in Computer Science. 31(3). 341–360.

Szász, Nóra, et al.. (2020). Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda. Electronic Notes in Theoretical Computer Science. 351. 187–203.

Szász, Nóra, et al.. (2018). Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory. Electronic Notes in Theoretical Computer Science. 338. 79–95. 3 indexed citations

Mossakowski, Till, et al.. (2016). Heterogeneous verification in the context of model driven engineering. Science of Computer Programming. 126. 3–30. 3 indexed citations

Szász, Nóra, et al.. (2016). Formal metatheory of the Lambda calculus using Stoughton's substitution. Theoretical Computer Science. 685. 65–82. 4 indexed citations

Szász, Nóra, et al.. (2016). Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory. Electronic Notes in Theoretical Computer Science. 323. 109–124. 7 indexed citations

Szász, Nóra, et al.. (2015). Principles of Alpha-Induction and Recursion for the Lambda Calculus in Constructive Type Theory. Chalmers Publication Library (Chalmers University of Technology). 2 indexed citations

Szász, Nóra, et al.. (2015). Institution-based foundations for verification in the context of model-driven engineering. Science of Computer Programming. 107-108. 41–63. 1 indexed citations

Fernández, Maribel, et al.. (2015). Dependent Types for Nominal Terms with Atom Substitutions. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 4 indexed citations

10.

Szász, Nóra, et al.. (2015). Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus. Electronic Notes in Theoretical Computer Science. 312. 215–230. 2 indexed citations

11.

Luna, Carlos, et al.. (2013). Automatizacion del Proceso de Instanciacion del Comportamiento de Productos de una Linea de Productos de Software.. Conferencia Iberoamericana de Software Engineering. 99–112. 1 indexed citations

12.

Szász, Nóra, et al.. (2013). Bridging Technological Spaces for the Verification of Model Transformations.. Conferencia Iberoamericana de Software Engineering. 43–56. 1 indexed citations

13.

Szász, Nóra, et al.. (2011). Institutionalising UML 2.0 state machines. Innovations in Systems and Software Engineering. 7(4). 315–323. 1 indexed citations

14.

Szász, Nóra, et al.. (2010). Behavioral refinements of UML-statecharts. LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas). 1 indexed citations

15.

Szász, Nóra, et al.. (2008). Statecharts and Variabilities.. 131–140. 9 indexed citations

16.

Szász, Nóra, et al.. (2004). On the thermal noise limit of cellular membranes. Bioelectromagnetics. 26(1). 28–35. 25 indexed citations

17.

Szász, Á., et al.. (2003). An Energy Analysis of Extracellular Hyperthermia. Electromagnetic Biology and Medicine. 22(2-3). 103–115. 50 indexed citations

18.

Fanning, Paul, et al.. (2003). Mechanical Regulation of Mitogen-activated Protein Kinase Signaling in Articular Cartilage. Journal of Biological Chemistry. 278(51). 50940–50948. 108 indexed citations

19.

Szász, Nóra, et al.. (2003). Transport and binding of insulin-like growth factor I through articular cartilage. Archives of Biochemistry and Biophysics. 415(1). 69–79. 58 indexed citations

20.

Szász, András, Olivér Szász, & Nóra Szász. (2001). Electro-hyperthermia: a New Paradigm in Cancer Therapy. 33(3). 91–99. 20 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