Gerardo Schneider

2.1k total citations
83 papers, 484 citations indexed

About

Gerardo Schneider is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Gerardo Schneider has authored 83 papers receiving a total of 484 indexed citations (citations by other indexed papers that have themselves been cited), including 46 papers in Artificial Intelligence, 33 papers in Computational Theory and Mathematics and 19 papers in Information Systems. Recurrent topics in Gerardo Schneider's work include Formal Methods in Verification (32 papers), Logic, programming, and type systems (18 papers) and Security and Verification in Computing (11 papers). Gerardo Schneider is often cited by papers focused on Formal Methods in Verification (32 papers), Logic, programming, and type systems (18 papers) and Security and Verification in Computing (11 papers). Gerardo Schneider collaborates with scholars based in Sweden, Norway and Spain. Gerardo Schneider's co-authors include Gordon J. Pace, Christian Colombo, David Sands, Hamid Ebadi, Gilles Barthe, Eugène Asarin, Wolfgang Ahrendt, Alberto Pardo, Sergio Yovine and Olaf Owe and has published in prestigious journals such as SHILAP Revista de lepidopterología, Information Sciences and IEEE Transactions on Software Engineering.

In The Last Decade

Gerardo Schneider

78 papers receiving 446 citations

Peers

Gerardo Schneider

CTM

SOFTW

CNC

Thomas A. Alspaugh United States

Eerke Boiten United Kingdom

Gordon J. Pace Malta

Panagiotis Katsaros Greece

Juan Bicarregui United Kingdom

Tom Maibaum Canada

Achim D. Brucker United Kingdom

Bernhard Beckert Germany

Thomas Arts Sweden

Christophe Ponsard Belgium

Thomas A. Alspaugh United States

Gerardo Schneider

261 ×0.9

92 ×0.6

CTM

305 ×2.7

159 ×1.4

SOFTW

72 ×0.9

CNC

Citations per year, relative to Gerardo Schneider Gerardo Schneider (= 1×) peers Thomas A. Alspaugh

Countries citing papers authored by Gerardo Schneider

Since Specialization

Citations

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

Fields of papers citing papers by Gerardo Schneider

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Gerardo Schneider. 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 Gerardo Schneider. The network helps show where Gerardo Schneider may publish in the future.

Co-authorship network of co-authors of Gerardo Schneider

This figure shows the co-authorship network connecting the top 25 collaborators of Gerardo Schneider. A scholar is included among the top collaborators of Gerardo Schneider 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 Gerardo Schneider. Gerardo Schneider 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

Arshad, Hamed, et al.. (2023). Attribute-based encryption with enforceable obligations. Journal of Cryptographic Engineering. 13(3). 343–371. 1 indexed citations

Sánchez, César, et al.. (2021). Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. 6824–6830. 5 indexed citations

Schneider, Gerardo, et al.. (2020). A collaborative access control framework for online social networks. Journal of Logical and Algebraic Methods in Programming. 114. 100562–100562. 5 indexed citations

Sánchez, César, Gerardo Schneider, Wolfgang Ahrendt, et al.. (2019). A survey of challenges for runtime verification from advanced application domains (beyond software). Chalmers Research (Chalmers University of Technology). 38 indexed citations

Sánchez, César, Gerardo Schneider, Wolfgang Ahrendt, et al.. (2019). Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design. 55(1). 72–72. 1 indexed citations

Pelliccione, Patrizio, et al.. (2018). MoVEMo: A Structured Approach for Engineering Reward Functions. Chalmers Research (Chalmers University of Technology). 250–257. 5 indexed citations

Schneider, Gerardo, et al.. (2017). Modelling and analysis of normative documents. Journal of Logical and Algebraic Methods in Programming. 91. 33–59. 3 indexed citations

Angelov, Krasimir, et al.. (2013). A framework for conflict analysis of normative texts written in controlled natural language. The Journal of Logic and Algebraic Programming. 82(5-7). 216–240. 9 indexed citations

Schneider, Gerardo, et al.. (2013). Characterization of multispectral aerial images of sugarcane. Journal of Physics Conference Series. 477. 12016–12016. 1 indexed citations

10.

Schneider, Gerardo, et al.. (2013). Reachability analysis of complex planar hybrid systems. Science of Computer Programming. 78(12). 2511–2536. 2 indexed citations

11.

Asarin, Eugène, et al.. (2012). Low dimensional hybrid systems – decidable, undecidable, donʼt know. Information and Computation. 211. 138–159. 9 indexed citations

12.

Schneider, Gerardo, et al.. (2012). A dynamic deontic logic for complex contracts. The Journal of Logic and Algebraic Programming. 81(4). 458–490. 22 indexed citations

13.

Asarin, Eugène, Gordon J. Pace, Gerardo Schneider, & Sergio Yovine. (2007). Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. Theoretical Computer Science. 390(1). 1–26. 1 indexed citations

14.

Asarin, Eugène, Gerardo Schneider, & Sergio Yovine. (2007). Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Theoretical Computer Science. 379(1-2). 231–265. 16 indexed citations

15.

Owe, Olaf, et al.. (2007). Towards integration of XML in the Creol object-oriented language. Duo Research Archive (University of Oslo).

16.

Jensen, Thomas Wiben, et al.. (2005). Certified memory usage analysis. 5 indexed citations

17.

Schneider, Gerardo. (2004). Computing invariance kernels of polygonal hybrid systems. Nordic journal of computing. 11(2). 194–210. 5 indexed citations

18.

Asarin, Eugène & Gerardo Schneider. (2002). Widening the Boundary Between Decidable and Undecidable Hybrid Systems. 2 indexed citations

19.

Asarin, Eugène, Gordon J. Pace, Gerardo Schneider, & Sergio Yovine. (2002). SPeeDI - a Verification Tool for Polygonal Hybrid Systems.

20.

Shaya, E., et al.. (1999). XML at the ADC: Steps to a Next Generation Data Archive. AAS. 194. 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