Derek Rayside
- Software top 2%
- Software Testing and Debugging Techniques 7
- Information Systems top 1%
- Software Engineering Research 22
- Artificial Intelligence top 2%
- Advanced Software Engineering Methodologies 17
- Logic, programming, and type systems 12
- Hardware and Architecture top 5%
- Parallel Computing and Optimization Techniques 7
-
- Software System Performance and Reliability 8
-
- Formal Methods in Verification 7
-
- Autonomous Vehicle Technology and Safety 6
- Co-authors
- Krzysztof CzarneckiKostas KontogiannisWilliam MelekDaniel JacksonLin TanJianmei GuoThibaud LutellierJoshua Garcia
- Journals
- ACM SIGPLAN Notices (3 papers)Advanced Engineering Informatics (2 papers)IEEE Transactions on Intelligent Transportation Systems (2 papers)
- Partner nations
- CanadaUnited StatesDenmark
In The Last Decade
Derek Rayside
60 papers receiving 892 citations
Peers
Comparison fields: 5 of 61
- Software 256
- Information Systems 490
- Artificial Intelligence 511
- Hardware and Architecture 95
- Computer Networks and Communications 292
Countries citing papers authored by Derek Rayside
This map shows the geographic impact of Derek Rayside'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 Derek Rayside with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Derek Rayside more than expected).
Fields of papers citing papers by Derek Rayside
This network shows the impact of papers produced by Derek Rayside. 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 Derek Rayside. The network helps show where Derek Rayside may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Derek Rayside, 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 | 2023 | 38 | |
| 2 | 2019 | 1 | |
| 3 | 2018 | 1 | |
| 4 | 2016 | 3 | |
| 5 | Manifold: an SMT-based declarative language for electronic and microfluidic design synthesis | 2016 | 1 |
| 6 | 2015 | 38 | |
| 7 | 2014 | 2 | |
| 8 | 2013 | 15 | |
| 9 | 2013 | 9 | |
| 10 | 2012 | 4 | |
| 11 | 2012 | 5 | |
| 12 | 2007 | 52 | |
| 13 | 2005 | 6 | |
| 14 | Adopting GILD: An Integrated Learning and Development Environment for Programming | 2003 | 3 |
| 15 | 2002 | 25 | |
| 16 | 2001 | 6 | |
| 17 | Integrating SHriMP with the IBM websphere studio workbench | 2001 | 9 |
| 18 | 2000 | 15 | |
| 19 | Compact Java binaries for embedded systems | 1999 | 21 |
| 20 | Change And Adaptive Maintenance in Java Software Systems. | 1998 | 2 |
About Derek Rayside
Derek Rayside is a scholar working on Software, Hardware and Architecture, Information Systems, Artificial Intelligence and Automotive Engineering, having authored 62 papers that have together received 944 indexed citations. Recurring topics across this work include Software Engineering Research (22 papers), Advanced Software Engineering Methodologies (17 papers), Logic, programming, and type systems (12 papers), Software System Performance and Reliability (8 papers), Software Testing and Debugging Techniques (7 papers), Parallel Computing and Optimization Techniques (7 papers), Formal Methods in Verification (7 papers) and Autonomous Vehicle Technology and Safety (6 papers). The work is most often cited by research in Software (256 citations), Information Systems (490 citations), Artificial Intelligence (511 citations), Hardware and Architecture (95 citations) and Computer Networks and Communications (292 citations). Derek Rayside has collaborated with scholars based in Canada, United States and Denmark. Frequent co-authors include Krzysztof Czarnecki, Kostas Kontogiannis, William Melek, Daniel Jackson, Lin Tan, Jianmei Guo, Thibaud Lutellier, Joshua Garcia, Nenad Medvidović and Mohammad Al-Sharman. Their work appears in journals such as ACM SIGPLAN Notices, Advanced Engineering Informatics, IEEE Transactions on Intelligent Transportation Systems, IEEE Transactions on Automation Science and Engineering and Science of Computer Programming.
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.