Daniel Matichuk

457 total citations
8 papers, 170 citations indexed

About

Daniel Matichuk is a scholar working on Artificial Intelligence, Signal Processing and Information Systems. According to data from OpenAlex, Daniel Matichuk has authored 8 papers receiving a total of 170 indexed citations (citations by other indexed papers that have themselves been cited), including 8 papers in Artificial Intelligence, 4 papers in Signal Processing and 3 papers in Information Systems. Recurrent topics in Daniel Matichuk's work include Security and Verification in Computing (7 papers), Logic, programming, and type systems (4 papers) and Advanced Malware Detection Techniques (4 papers). Daniel Matichuk is often cited by papers focused on Security and Verification in Computing (7 papers), Logic, programming, and type systems (4 papers) and Advanced Malware Detection Techniques (4 papers). Daniel Matichuk collaborates with scholars based in Australia. Daniel Matichuk's co-authors include Toby Murray, Gerwin Klein, Xin Gao, Timothy Bourke, Peter Gammie, Makarius Wenzel, June Andronick, Ross Jeffery, Mark Staples and Gabriele Keller and has published in prestigious journals such as SHILAP Revista de lepidopterología, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences and Lecture notes in computer science.

In The Last Decade

Daniel Matichuk

8 papers receiving 158 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Daniel Matichuk Australia	5	148	70	67	46	45	8	170
Peter Gammie Australia	5	155 1.0×	74 1.1×	72 1.1×	68 1.5×	36 0.8×	11	178
Roberto Guanciale Sweden	8	199 1.3×	73 1.0×	99 1.5×	69 1.5×	56 1.2×	25	228
Julian Stecklina Germany	3	154 1.0×	51 0.7×	88 1.3×	62 1.3×	35 0.8×	4	176
Jieung Kim United States	6	154 1.0×	101 1.4×	40 0.6×	68 1.5×	34 0.8×	15	205
José Bacelar Almeida Portugal	8	164 1.1×	33 0.5×	91 1.4×	27 0.6×	35 0.8×	16	184
David Terei United States	6	145 1.0×	141 2.0×	55 0.8×	129 2.8×	76 1.7×	10	240
Tom Ridge United Kingdom	6	126 0.9×	117 1.7×	25 0.4×	108 2.3×	25 0.6×	11	199
Gordon Stewart United States	7	191 1.3×	73 1.0×	34 0.5×	60 1.3×	19 0.4×	24	226
Jérémie Koenig United States	9	222 1.5×	138 2.0×	39 0.6×	75 1.6×	34 0.8×	14	259
Ashay Rane United States	5	146 1.0×	49 0.7×	68 1.0×	74 1.6×	52 1.2×	7	183

Countries citing papers authored by Daniel Matichuk

Since Specialization

Citations

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

Fields of papers citing papers by Daniel Matichuk

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Daniel Matichuk

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

8 of 8 papers shown

1.

Klein, Gerwin, et al.. (2017). Provably trustworthy systems. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 375(2104). 20150404–20150404. 6 indexed citations

2.

Gao, Xin, et al.. (2016). Finite Machine Word Library.. 2016. 2 indexed citations

3.

Matichuk, Daniel, Toby Murray, & Makarius Wenzel. (2016). Eisbach: A Proof Method Language for Isabelle. Journal of Automated Reasoning. 56(3). 261–282. 17 indexed citations

4.

Matichuk, Daniel, Toby Murray, June Andronick, et al.. (2015). Empirical study towards a leading indicator for cost of formal software verification. International Conference on Software Engineering. 1. 722–732. 10 indexed citations

5.

Matichuk, Daniel, Toby Murray, June Andronick, et al.. (2015). Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. 722–732. 9 indexed citations

6.

Murray, Toby, Daniel Matichuk, Peter Gammie, et al.. (2013). seL4: From General Purpose to a Proof of Information Flow Enforcement. Minerva Access (University of Melbourne). 415–429. 122 indexed citations

7.

Murray, Toby, et al.. (2012). Noninterference for operating system kernels. Lecture notes in computer science. 3 indexed citations

8.

Matichuk, Daniel. (2012). Automatic Function Annotations for Hoare Logic. SHILAP Revista de lepidopterología. 102. 46–56. 1 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