Daniel Matichuk
Impact in
- Hardware and Architecture top 10%
- Physical Unclonable Functions (PUFs) and Hardware Security
- Signal Processing top 5%
- Advanced Malware Detection Techniques
Papers in
-
- Security and Verification in Computing 12
- Logic, programming, and type systems 8
-
- Advanced Malware Detection Techniques 6
- Co-authors
- Toby Murray (9 shared papers)Gerwin Klein (7 shared papers)Peter Gammie (3 shared papers)Timothy Bourke (1 shared paper)Xin Gao (1 shared paper)Makarius Wenzel (2 shared papers)Jasmin Christian Blanchette (1 shared paper)Tobias Nipkow (1 shared paper)
- Journals
- Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences (1 paper)Journal of Automated Reasoning (1 paper)Lecture notes in computer science (6 papers)International Conference on Software Engineering (1 paper)Minerva Access (University of Melbourne) (1 paper)
In The Last Decade
Daniel Matichuk
14 papers receiving 319 citations
Peers
Comparison fields: 5 of 21
- Hardware and Architecture 80
- Signal Processing 116
- Artificial Intelligence 297
- Software 29
- Computer Networks and Communications 112
Countries citing papers authored by Daniel Matichuk
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
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-authors
The 18 scholars most cited alongside Daniel Matichuk, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2013 | 153 | |
| 2 | 2012 | 48 | |
| 3 | 2015 | 35 | |
| 4 | 2016 | 29 | |
| 5 | 2014 | 16 | |
| 6 | 2015 | 15 | |
| 7 | 2015 | 14 | |
| 8 | 2016 | 10 | |
| 9 | 2012 | 6 | |
| 10 | 2017 | 6 | |
| 11 | Noninterference for operating system kernels | 2012 | 3 |
| 12 | Finite Machine Word Library. | 2016 | 2 |
| 13 | 2018 | 1 | |
| 14 | 2012 | 1 |
About Daniel Matichuk
Daniel Matichuk is a scholar working on Artificial Intelligence, Signal Processing, Information Systems, Hardware and Architecture and Computer Networks and Communications, having authored 14 papers that have together received 339 indexed citations. Recurring topics across this work include Security and Verification in Computing (12 papers), Logic, programming, and type systems (8 papers), Advanced Malware Detection Techniques (6 papers), Distributed systems and fault tolerance (3 papers), Software Engineering Research (2 papers), Cloud Data Security Solutions (2 papers), Formal Methods in Verification (2 papers) and Radiation Effects in Electronics (1 paper). The work is most often cited by research in Hardware and Architecture (80 citations), Signal Processing (116 citations), Artificial Intelligence (297 citations), Software (29 citations) and Computer Networks and Communications (112 citations). Daniel Matichuk has collaborated with scholars based in Australia, France and Germany. Frequent co-authors include Toby Murray, Gerwin Klein, Peter Gammie, Timothy Bourke, Xin Gao, Makarius Wenzel, Jasmin Christian Blanchette, Tobias Nipkow, June Andronick and Mark A. Staples. Their work appears in journals such as Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, Journal of Automated Reasoning, Lecture notes in computer science, International Conference on Software Engineering and Minerva Access (University of Melbourne).
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.