Mark Bickford

695 total citations
40 papers, 301 citations indexed

About

Mark Bickford is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Mark Bickford has authored 40 papers receiving a total of 301 indexed citations (citations by other indexed papers that have themselves been cited), including 25 papers in Artificial Intelligence, 22 papers in Computational Theory and Mathematics and 19 papers in Computer Networks and Communications. Recurrent topics in Mark Bickford's work include Logic, programming, and type systems (22 papers), Distributed systems and fault tolerance (15 papers) and Formal Methods in Verification (15 papers). Mark Bickford is often cited by papers focused on Logic, programming, and type systems (22 papers), Distributed systems and fault tolerance (15 papers) and Formal Methods in Verification (15 papers). Mark Bickford collaborates with scholars based in United States, Luxembourg and France. Mark Bickford's co-authors include Mandayam Srivas, Robert L. Constable, Robbert van Renesse, Christoph Kreitz, Vincent Rahli, Richard G. Eaton, Stuart F. Allen, Liana M. Lorigo, Danny Dolev and Jason Hickey and has published in prestigious journals such as IEEE Software, Journal of Clinical Gastroenterology and Lecture notes in computer science.

In The Last Decade

Mark Bickford

36 papers receiving 268 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Mark Bickford United States	9	148	141	134	94	44	40	301
Ali Ebnenasir United States	10	97 0.7×	70 0.5×	147 1.1×	62 0.7×	41 0.9×	36	228
Ahmed Rezine Sweden	9	70 0.5×	72 0.5×	78 0.6×	81 0.9×	35 0.8×	28	215
Mark B. Josephs United Kingdom	11	199 1.3×	120 0.9×	111 0.8×	194 2.1×	40 0.9×	43	389
Mathai Joseph United Kingdom	8	131 0.9×	71 0.5×	96 0.7×	126 1.3×	29 0.7×	23	250
Mandayam Srivas United States	7	199 1.3×	116 0.8×	38 0.3×	147 1.6×	23 0.5×	32	312
Jeehoon Kang South Korea	13	93 0.6×	269 1.9×	251 1.9×	268 2.9×	42 1.0×	33	442
Bill McCloskey United States	8	71 0.5×	149 1.1×	185 1.4×	185 2.0×	76 1.7×	10	317
Christopher Pulte United Kingdom	7	43 0.3×	123 0.9×	120 0.9×	156 1.7×	29 0.7×	10	229
Lal George United States	7	68 0.5×	125 0.9×	157 1.2×	295 3.1×	20 0.5×	11	340
Keith Wansbrough United Kingdom	10	109 0.7×	231 1.6×	142 1.1×	83 0.9×	63 1.4×	21	321

Countries citing papers authored by Mark Bickford

Since Specialization

Citations

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

Fields of papers citing papers by Mark Bickford

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Mark Bickford

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

Bickford, Mark, et al.. (2018). Implementing Euclid’s straightedge and compass constructions in type theory. Annals of Mathematics and Artificial Intelligence. 85(2-4). 175–192. 1 indexed citations

Rahli, Vincent, Mark Bickford, & Robert L. Constable. (2017). Bar induction: the good, the bad, and the ugly. 1–12.

Rahli, Vincent, et al.. (2017). EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems. Science of Computer Programming. 148. 26–48. 2 indexed citations

Rahli, Vincent & Mark Bickford. (2016). A nominal exploration of intuitionism. Open Repository and Bibliography (University of Luxembourg). 130–141. 8 indexed citations

Constable, Robert L. & Mark Bickford. (2013). Intuitionistic completeness of first-order logic. Annals of Pure and Applied Logic. 165(1). 164–198. 4 indexed citations

Schiper, Nicolas, Vincent Rahli, Robbert van Renesse, Mark Bickford, & Robert L. Constable. (2012). ShadowDB: a replicated database on a synthesized consensus core. Open Repository and Bibliography (University of Luxembourg). 19(11). 7–7. 3 indexed citations

Bickford, Mark, Robert L. Constable, & Vincent Rahli. (2012). The Logic of Events, a framework to reason about distributed systems. eCommons (Cornell University). 6 indexed citations

Bickford, Mark, et al.. (2012). Introduction to EventML. Open Repository and Bibliography (University of Luxembourg). 1 indexed citations

Constable, Robert L., Mark Bickford, & Robbert van Renesse. (2011). Investigating correct-by-construction attack-tolerant systems. Journal of Clinical Gastroenterology. 49(5). 429–37. 5 indexed citations

10.

Bickford, Mark, et al.. (2011). Knowledge-Based Synthesis of Distributed Systems Using Event Structures. Logical Methods in Computer Science. Volume 7, Issue 2. 2 indexed citations

11.

Renesse, Robbert van, et al.. (2008). Nysiad: practical protocol transformation to tolerate Byzantine failures. Networked Systems Design and Implementation. 175–188. 23 indexed citations

12.

Allen, Stuart F., Mark Bickford, Robert L. Constable, et al.. (2005). Innovations in computational type theory using Nuprl. Journal of Applied Logic. 4(4). 428–469. 48 indexed citations

13.

Renesse, Robbert van, et al.. (2002). Protocol switching: exploiting meta-properties. 11. 37–42. 23 indexed citations

14.

Bickford, Mark, Christoph Kreitz, & Robbert van Renesse. (2001). Formally Verifying Hybrid Protocols with the Nuprl Logical Programming Environment. eCommons (Cornell University). 4 indexed citations

15.

Bickford, Mark & Jason Hickey. (1999). Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. Electronic workshops in computing. 7 indexed citations

16.

Bickford, Mark. (1994). Formal semantics for a subset of VHDL and its use in analysis of the FTPP scoreboard circuit. NASA Technical Reports Server (NASA). 113(1). 190–190. 1 indexed citations

17.

Bickford, Mark & Mandayam Srivas. (1992). Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification. 225–251. 1 indexed citations

18.

Srivas, Mandayam & Mark Bickford. (1991). Verification of the FtCayuga fault-tolerant microprocessor system. Volume 1: A case study in theorem prover-based verification. NASA Technical Reports Server (NASA). 5 indexed citations

19.

Bickford, Mark & Mandayam Srivas. (1990). Verification of a pipelined microprocessor using Clio. Lecture notes in computer science. 408. 307–332. 4 indexed citations

20.

Srivas, Mandayam & Mark Bickford. (1990). Formal verification of a pipelined microprocessor. IEEE Software. 7(5). 52–64. 79 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