John Slaney

2.1k total citations
56 papers, 948 citations indexed

About

John Slaney is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, John Slaney has authored 56 papers receiving a total of 948 indexed citations (citations by other indexed papers that have themselves been cited), including 35 papers in Artificial Intelligence, 23 papers in Computational Theory and Mathematics and 10 papers in Computer Networks and Communications. Recurrent topics in John Slaney's work include Logic, Reasoning, and Knowledge (20 papers), Logic, programming, and type systems (20 papers) and Formal Methods in Verification (10 papers). John Slaney is often cited by papers focused on Logic, Reasoning, and Knowledge (20 papers), Logic, programming, and type systems (20 papers) and Formal Methods in Verification (10 papers). John Slaney collaborates with scholars based in Australia, United Kingdom and Japan. John Slaney's co-authors include Sylvie Thiébaux, Toby Walsh, Philip Kilby, Masayuki Fujita, Dov M. Gabbay, Greg Restall, Riichiro Mizoguchi, F.E. Bennett, Robert K. Meyer and M.E. Stickel and has published in prestigious journals such as Artificial Intelligence, Computers & Mathematics with Applications and The Philosophical Quarterly.

In The Last Decade

John Slaney

54 papers receiving 843 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
John Slaney Australia	19	710	388	227	58	58	56	948
Colin de la Higuera France	11	571 0.8×	227 0.6×	93 0.4×	15 0.3×	121 2.1×	49	828
Erez Petrank Israel	27	915 1.3×	361 0.9×	1.3k 5.8×	37 0.6×	86 1.5×	114	2.0k
Setsuo Ohsuga Japan	13	422 0.6×	322 0.8×	112 0.5×	33 0.6×	26 0.4×	61	703
Laurent Hyafil United States	8	416 0.6×	201 0.5×	114 0.5×	15 0.3×	40 0.7×	12	719
Laurent Siklóssy United States	10	376 0.5×	74 0.2×	89 0.4×	25 0.4×	37 0.6×	35	522
Bruce D. Shriver United States	8	306 0.4×	141 0.4×	262 1.2×	20 0.3×	71 1.2×	43	677
Enrico Giunchiglia Italy	19	972 1.4×	325 0.8×	253 1.1×	21 0.4×	109 1.9×	71	1.1k
Gerald Estrin United States	16	222 0.3×	207 0.5×	321 1.4×	67 1.2×	105 1.8×	53	848
Ephraim Korach Israel	14	105 0.1×	259 0.7×	507 2.2×	34 0.6×	23 0.4×	54	703
Jürg Kohlas Switzerland	12	381 0.5×	119 0.3×	66 0.3×	14 0.2×	23 0.4×	32	596

Countries citing papers authored by John Slaney

Since Specialization

Citations

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

Fields of papers citing papers by John Slaney

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of John Slaney

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

Slaney, John. (2025). On a Suggested Logic for Paraconsistent Mathematics. 22(1). 1–7.

Slaney, John. (2017). Logic for Fun: An Online Tool for Logical Modelling.. 4. 1 indexed citations

Thiébaux, Sylvie, Carleton Coffrin, Hassan Hijazi, & John Slaney. (2013). Planning with MIP for supply restoration in power distribution systems. ANU Open Research (Australian National University). 2900–2907. 25 indexed citations

Ali, Asif & John Slaney. (2008). Counting loops with the inverse property. ANU Open Research (Australian National University). 16(1). 13–16. 9 indexed citations

Kowalski, Tomasz & John Slaney. (2008). A FINITE FRAGMENT OF S3. ANU Open Research (Australian National University). 43. 65–72. 1 indexed citations

Kilby, Philip, John Slaney, Sylvie Thiébaux, & Toby Walsh. (2006). Estimating search tree size. ANU Open Research (Australian National University). 1014–1019. 30 indexed citations

Pham, Duc Nghia, et al.. (2005). Old resolution meets modern SLS. ANU Open Research (Australian National University). 354–359. 20 indexed citations

Kilby, Philip, John Slaney, Sylvie Thiébaux, & Toby Walsh. (2005). Backbones and backdoors in satisfiability. National Conference on Artificial Intelligence. 102(8). 1368–1373. 53 indexed citations

Kilby, Philip, John Slaney, & Toby Walsh. (2005). The backbone of the travelling salesperson. ANU Open Research (Australian National University). 175–180. 20 indexed citations

10.

Slaney, John, et al.. (2004). Guiding a theorem prover with soft constraints. ANU Open Research (Australian National University). 221–225. 2 indexed citations

11.

McKay, Bob & John Slaney. (2002). AI 2002 : Advances in Artificial Intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedings. Springer eBooks. 1 indexed citations

12.

Slaney, John, et al.. (2002). TPTP, CASC and the development of a semantically guided theorem prover. AI Communications. 15(2). 135–146. 1 indexed citations

13.

Slaney, John & Toby Walsh. (2001). Backbones in optimization and approximation. ANU Open Research (Australian National University). 254–259. 54 indexed citations

14.

Thiébaux, Sylvie, John Slaney, & Philip Kilby. (2000). Estimating the hardness of optimisation. ANU Open Research (Australian National University). 123–127. 5 indexed citations

15.

Slaney, John, Robert K. Meyer, & Greg Restall. (1996). Linear arithmetic desecsed. Logique et analyse/Logique et analyse. Nouvelle série. 39. 379–387. 4 indexed citations

16.

Slaney, John & Sylvie Thiébaux. (1996). Linear time near-optimal planning in the blocks world. ANU Open Research (Australian National University). 1208–1214. 13 indexed citations

17.

Slaney, John. (1993). SCOTT: a model-guided theorem prover. International Joint Conference on Artificial Intelligence. 109–114. 15 indexed citations

18.

Fujita, Masayuki, John Slaney, & F.E. Bennett. (1993). Automatic generation of some results in finite algebra. International Joint Conference on Artificial Intelligence. 52–57. 41 indexed citations

19.

Slaney, John. (1992). Finite models for some substructural logics. Logique et analyse/Logique et analyse. Nouvelle série. 35. 313–333. 1 indexed citations

20.

Slaney, John. (1991). The implications of paraconsistency. International Joint Conference on Artificial Intelligence. 1052–1057. 8 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