John Franco

1.6k total citations
33 papers, 557 citations indexed

About

John Franco is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, John Franco has authored 33 papers receiving a total of 557 indexed citations (citations by other indexed papers that have themselves been cited), including 20 papers in Computational Theory and Mathematics, 17 papers in Artificial Intelligence and 15 papers in Computer Networks and Communications. Recurrent topics in John Franco's work include Constraint Satisfaction and Optimization (10 papers), Logic, Reasoning, and Knowledge (7 papers) and Formal Methods in Verification (7 papers). John Franco is often cited by papers focused on Constraint Satisfaction and Optimization (10 papers), Logic, Reasoning, and Knowledge (7 papers) and Formal Methods in Verification (7 papers). John Franco collaborates with scholars based in United States, Belgium and Germany. John Franco's co-authors include Marvin C. Paull, Allen Van Gelder, John S. Schlipf, Ram Swaminathan, Fred S. Annexstein, Alasdair Urquhart, Charles J. Colbourn, Claude Carlet, Yves Crama and Reinhard Pöschel and has published in prestigious journals such as Information Sciences, SIAM Journal on Computing and Annals of Operations Research.

In The Last Decade

John Franco

32 papers receiving 497 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
John Franco United States	12	334	327	305	96	37	33	557
Desh Ranjan United States	10	187 0.6×	186 0.6×	182 0.6×	58 0.6×	32 0.9×	30	500
Alan Siegel United States	11	230 0.7×	220 0.7×	262 0.9×	48 0.5×	88 2.4×	34	521
J. Flum Germany	5	572 1.7×	197 0.6×	227 0.7×	32 0.3×	34 0.9×	10	714
Andrei Krokhin United Kingdom	15	668 2.0×	542 1.7×	200 0.7×	98 1.0×	22 0.6×	57	847
Funda Ergün United States	14	251 0.8×	251 0.8×	281 0.9×	43 0.4×	74 2.0×	31	565
Prabhakar Ragde Canada	17	411 1.2×	259 0.8×	264 0.9×	41 0.4×	44 1.2×	37	623
Hans van Maaren Netherlands	11	294 0.9×	174 0.5×	274 0.9×	15 0.2×	30 0.8×	33	520
Justin Ward United Kingdom	12	194 0.6×	151 0.5×	142 0.5×	22 0.2×	23 0.6×	26	366
Stavros S. Cosmadakis United States	14	194 0.6×	448 1.4×	480 1.6×	197 2.1×	20 0.5×	34	668
Adam L. Buchsbaum United States	14	202 0.6×	296 0.9×	333 1.1×	96 1.0×	34 0.9×	41	623

Countries citing papers authored by John Franco

Since Specialization

Citations

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

Fields of papers citing papers by John Franco

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of John Franco

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

Pendleton, Marcus, et al.. (2021). vCDS: A Virtualized Cross Domain Solution Architecture. 61–68. 3 indexed citations

Gu, Jun, Paul W. Purdom, John Franco, & Benjamin W. Wah. (2018). Algorithms for the Satisfiability Problem. Experimental Dermatology. 18(1). 91–6. 3 indexed citations

Franco, John, et al.. (2011). ID* Lite. 1364–1369. 4 indexed citations

Crama, Yves, Reinhard Pöschel, Jan C. Bioch, et al.. (2010). Boolean Models and Methods in Mathematics, Computer Science, and Engineering. Cambridge University Press eBooks. 65 indexed citations

Weaver, Sean, John Franco, & John S. Schlipf. (2006). Extending Existential Quantification in Conjunctions of BDDs. 1(2). 89–110. 5 indexed citations

Franco, John. (2005). Typical case complexity of Satisfiability Algorithms and the threshold phenomenon. Discrete Applied Mathematics. 153(1-3). 89–123. 3 indexed citations

Franco, John & Ram Swaminathan. (2003). On good algorithms for determining unsatisfiability of propositional formulas. Discrete Applied Mathematics. 130(2). 129–138. 1 indexed citations

Franco, John & Allen Van Gelder. (2002). A perspective on certain polynomial-time solvable classes of satisfiability. Discrete Applied Mathematics. 125(2-3). 177–214. 34 indexed citations

Franco, John, et al.. (2002). Avoiding Unnecessary Calculations in Robot Navigation. 1 indexed citations

10.

Franco, John. (2001). Results related to threshold phenomena research in satisfiability: lower bounds. Theoretical Computer Science. 265(1-2). 147–157. 19 indexed citations

11.

Franco, John, Judy Goldsmith, John S. Schlipf, Ewald Speckenmeyer, & Ram Swaminathan. (1999). An algorithm for the class of pure implicational formulas. Discrete Applied Mathematics. 96-97. 89–106. 11 indexed citations

12.

Berman, Kenneth A., John Franco, & John S. Schlipf. (1995). Unique satisfiability of Horn sets can be solved in nearly linear time. Discrete Applied Mathematics. 60(1-3). 77–91. 1 indexed citations

13.

Annexstein, Fred S. & John Franco. (1995). Work-preserving emulations of shuffle-exchange networks: An analysis of the complex plane diagram. Discrete Applied Mathematics. 60(1-3). 13–23. 1 indexed citations

14.

Franco, John, et al.. (1992). The analysis of hashing with lazy deletions. Information Sciences. 62(1-2). 13–26. 3 indexed citations

15.

Franco, John, J. Michael Dunn, & William Henry Wheeler. (1992). Recent work at the interface of logic, combinatorics, and computer science. Annals of Mathematics and Artificial Intelligence. 6(1-3). 1–15. 1 indexed citations

16.

Franco, John, Daniel P. Friedman, & Steven Johnson. (1990). Multi-way streams in Scheme. Computer Languages. 15(2). 109–125. 3 indexed citations

17.

Franco, John, et al.. (1990). Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k satisfiability problem. Information Sciences. 51(3). 289–314. 86 indexed citations

18.

Franco, John, et al.. (1987). Correction to probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem. Discrete Applied Mathematics. 17(3). 295–299. 12 indexed citations

19.

Franco, John, et al.. (1986). An approximation algorithm for the maximum independent set problem in cubic planar graphs. Networks. 16(4). 349–356. 4 indexed citations

20.

Franco, John & Marvin C. Paull. (1983). Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem. Discrete Applied Mathematics. 5(1). 77–87. 121 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