Nancy A. Day

651 total citations
51 papers, 264 citations indexed

About

Nancy A. Day is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence. According to data from OpenAlex, Nancy A. Day has authored 51 papers receiving a total of 264 indexed citations (citations by other indexed papers that have themselves been cited), including 38 papers in Computational Theory and Mathematics, 31 papers in Software and 28 papers in Artificial Intelligence. Recurrent topics in Nancy A. Day's work include Formal Methods in Verification (37 papers), Model-Driven Software Engineering Techniques (26 papers) and Advanced Software Engineering Methodologies (15 papers). Nancy A. Day is often cited by papers focused on Formal Methods in Verification (37 papers), Model-Driven Software Engineering Techniques (26 papers) and Advanced Software Engineering Methodologies (15 papers). Nancy A. Day collaborates with scholars based in Canada, United States and Austria. Nancy A. Day's co-authors include Joanne M. Atlee, Jianwei Niu, Jeffrey J. Joyce, Byron Cook, Mark D. Aagaard, Jianwei Niu, Robert B. Jones, Ahmad A. Attallah, James B. Lee and Davor Svetinović and has published in prestigious journals such as IEEE Transactions on Software Engineering, Journal of Lightwave Technology and Prostaglandins.

In The Last Decade

Nancy A. Day

48 papers receiving 218 citations

Peers

Nancy A. Day
Craig A. Damon United States
Shoham Ben-David Canada
Tim A. C. Willemse Netherlands
Jean-Luc Richier France
Markus Müller-Olm Germany
Adrian Francalanza Malta
Philippe Schnoebelen France
Viktor Schuppan Switzerland
Henrik Reif Andersen Denmark
David K. Probst United States
Craig A. Damon United States
Nancy A. Day
Citations per year, relative to Nancy A. Day Nancy A. Day (= 1×) peers Craig A. Damon

Countries citing papers authored by Nancy A. Day

Since Specialization
Citations

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

Fields of papers citing papers by Nancy A. Day

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Nancy A. Day

This figure shows the co-authorship network connecting the top 25 collaborators of Nancy A. Day. A scholar is included among the top collaborators of Nancy A. Day 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 Nancy A. Day. Nancy A. Day is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Day, Nancy A., et al.. (2023). WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?. Bulletin of Symbolic Logic. 29(1). 1–18. 1 indexed citations
2.
Day, Nancy A., et al.. (2022). Static Profiling of Alloy Models. IEEE Transactions on Software Engineering. 49(2). 743–759. 4 indexed citations
3.
Day, Nancy A., et al.. (2022). Dash: declarative behavioural modelling in Alloy with control state hierarchy. Software & Systems Modeling. 22(2). 733–749.
4.
Day, Nancy A., et al.. (2021). Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems. UWSpace (University of Waterloo). 12078. 21–29. 1 indexed citations
5.
Day, Nancy A., et al.. (2016). Representing hierarchical state machine models in SMT-LIB. UWSpace (University of Waterloo). 67–73. 2 indexed citations
6.
Day, Nancy A., et al.. (2014). Reducing CTL-live Model Checking to First-Order Logic Validity Checking. 215–218. 5 indexed citations
7.
Day, Nancy A., et al.. (2014). Verifying CTL-live properties of infinite state models using an SMT solver. 1579. 213–223. 3 indexed citations
8.
Day, Nancy A., et al.. (2010). Deconstructing the semantics of big-step modelling languages. Requirements Engineering. 15(2). 235–265. 22 indexed citations
9.
Day, Nancy A., et al.. (2008). Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata. Fundamenta Informaticae. 82(4). 465–512. 1 indexed citations
10.
Day, Nancy A., et al.. (2008). Modelling feature interactions in the automotive domain. 45–50. 17 indexed citations
11.
Day, Nancy A., et al.. (2007). A Preliminary Report on Tool Support and Methodology for Feature Interaction Detection. 2 indexed citations
12.
Day, Nancy A., et al.. (2006). Interface Automata with Complex Actions - Extended Version. 1 indexed citations
13.
Day, Nancy A., et al.. (2005). Development of a Requirements Engineering Method For Pervasive Services. University of Twente Research Information. 1–4. 3 indexed citations
14.
Day, Nancy A., et al.. (2005). The Neurodynamics Of Context Reverberation Learning. 1781–1782. 2 indexed citations
15.
Atlee, Joanne M., et al.. (2004). Model Checking Template-Semantics Specifications. 1 indexed citations
16.
Day, Nancy A., et al.. (2004). High-level optimization of pipeline design. 43–48. 3 indexed citations
17.
Aagaard, Mark D., Byron Cook, Nancy A. Day, & Robert B. Jones. (2003). A framework for superscalar microprocessor correctness statements. International Journal on Software Tools for Technology Transfer. 4(3). 298–312. 23 indexed citations
18.
Day, Nancy A., et al.. (2002). A Formal Analysis of the Will-Retire Correctness Statement. 1 indexed citations
19.
Day, Nancy A., et al.. (1998). Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region. 4 indexed citations
20.
Day, Nancy A.. (1993). An example of linking formal methods with case tools: a model checker for statecharts. Conference of the Centre for Advanced Studies on Collaborative Research. 97–107. 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

Breakdown of academic impact, for papers by Craig A. Damon Breakdown of academic impact, for papers by Shoham Ben-David Breakdown of academic impact, for papers by Tim A. C. Willemse Breakdown of academic impact, for papers by Jean-Luc Richier Breakdown of academic impact, for papers by Markus Müller-Olm Breakdown of academic impact, for papers by Adrian Francalanza Breakdown of academic impact, for papers by Philippe Schnoebelen Breakdown of academic impact, for papers by Viktor Schuppan Breakdown of academic impact, for papers by Henrik Reif Andersen Breakdown of academic impact, for papers by David K. Probst
Rankless by CCL
2026