Gerard Allwein

601 total citations
29 papers, 273 citations indexed

About

Gerard Allwein is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Gerard Allwein has authored 29 papers receiving a total of 273 indexed citations (citations by other indexed papers that have themselves been cited), including 23 papers in Artificial Intelligence, 14 papers in Computational Theory and Mathematics and 10 papers in Hardware and Architecture. Recurrent topics in Gerard Allwein's work include Security and Verification in Computing (12 papers), Logic, Reasoning, and Knowledge (9 papers) and Logic, programming, and type systems (9 papers). Gerard Allwein is often cited by papers focused on Security and Verification in Computing (12 papers), Logic, Reasoning, and Knowledge (9 papers) and Logic, programming, and type systems (9 papers). Gerard Allwein collaborates with scholars based in United States, Spain and Japan. Gerard Allwein's co-authors include Nik Swoboda, J. Michael Dunn, Jon Barwise, Keye Martin, Michela Becchi, Ira S. Moskowitz, Wendy MacCaull, John McDermott, Yingrui Yang and Pedro N. Safier and has published in prestigious journals such as Theoretical Computer Science, ACM SIGPLAN Notices and Journal of Symbolic Logic.

In The Last Decade

Gerard Allwein

24 papers receiving 244 citations

Peers

Gerard Allwein

AI

CTM

CNC

CVPR

HA

Alessandro Coglio Italy

Steffen Hölldobler Germany

Camilo Rueda Colombia

Oded Padon United States

Martti Penttonen Finland

Viviana Bono Italy

Jiřı Šimša United States

Gregory V. Bard United States

Cyril Allauzen United States

Eitan M. Gurari United States

Alessandro Coglio Italy

Gerard Allwein

140 ×0.8

AI

65 ×0.6

CTM

71 ×1.2

CNC

15 ×0.3

CVPR

37 ×0.9

HA

Citations per year, relative to Gerard Allwein Gerard Allwein (= 1×) peers Alessandro Coglio

Countries citing papers authored by Gerard Allwein

Since Specialization

Citations

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

Fields of papers citing papers by Gerard Allwein

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Gerard Allwein

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

1.

Allwein, Gerard, et al.. (2020). Verifiable Security Templates for Hardware. OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information). 658–661.

2.

Chadha, Rohit, et al.. (2020). Strongly bounded termination with applications to security and hardware synthesis. 1–10.

3.

Allwein, Gerard, et al.. (2019). The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware. ACM Transactions on Embedded Computing Systems. 18(1). 1–26. 2 indexed citations

4.

Allwein, Gerard, et al.. (2018). Semantics-Directed Prototyping of Hardware Runtime Monitors. 42–48. 1 indexed citations

5.

Becchi, Michela, et al.. (2017). A Principled Approach to Secure Multi-core Processor Design with ReWire. ACM Transactions on Embedded Computing Systems. 16(2). 1–25. 7 indexed citations

6.

Becchi, Michela, et al.. (2016). A programming model for reconfigurable computing based in functional concurrency. 1–8. 4 indexed citations

7.

Becchi, Michela, et al.. (2015). Semantics Driven Hardware Design, Implementation, and Verification with ReWire. ACM SIGPLAN Notices. 50(5). 1–10. 2 indexed citations

8.

Allwein, Gerard, et al.. (2013). Qualitative decision theory via channel theory. Logic and Logical Philosophy. 20(1-2). 2 indexed citations

9.

Allwein, Gerard, et al.. (2013). Simulation Logic. Logic and Logical Philosophy. 23(3).

10.

Allwein, Gerard, et al.. (2010). Partially-ordered Modalities.. 1–21. 5 indexed citations

11.

Martin, Keye, Ira S. Moskowitz, & Gerard Allwein. (2010). Algebraic information theory for binary channels. Theoretical Computer Science. 411(19). 1918–1927. 10 indexed citations

12.

McDermott, John & Gerard Allwein. (2006). A formalism for visual security protocol modeling. Journal of Visual Languages & Computing. 19(2). 153–181. 1 indexed citations

13.

Swoboda, Nik & Gerard Allwein. (2005). Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL. Electronic Notes in Theoretical Computer Science. 134. 153–187. 25 indexed citations

14.

Swoboda, Nik & Gerard Allwein. (2004). Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. Software & Systems Modeling. 3(2). 136–149. 37 indexed citations

15.

Allwein, Gerard, Hilmi Volkan Demir, & L.M. Pike. (2004). Logics for Classes of Boolean Monoids. Journal of Logic Language and Information. 13(3). 241–266.

16.

Allwein, Gerard & Wendy MacCaull. (2001). A Kripke Semantics for the Logic of Gelfand Quantales. Studia Logica. 68(2). 173–228. 9 indexed citations

17.

Allwein, Gerard & Jon Barwise. (1996). Logical Reasoning with Diagrams. Oxford University Press eBooks. 58 indexed citations

18.

Allwein, Gerard & J. Michael Dunn. (1993). Kripke models for linear logic. Journal of Symbolic Logic. 58(2). 514–545. 54 indexed citations

19.

Allwein, Gerard & J. Michael Dunn. (1993). A Kripke semantics for linear logic. 4 indexed citations

20.

Allwein, Gerard. (1992). The duality of algebraic and Kripke models for linear logic. 4 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