David Holmes - RankMe

29 papers A 2C 3Misc 3Journal 10Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation. CoRR Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck, Jeremy Feusi, Tim Gehrunger, Raphael Appenzeller, Jim Bryan, Niklas Canova, Timo de Wolff, Filippo Gaia, Michel van Garrel, Baran Hashemi, David Holmes, Aitor Iribar Lopez, Victor Jaeck, Martina Jørgensen, Steven Kelk, Stefan Kuhlmann, Adam Kurpisz, Chiara Meroni, Ingmar Metzler, Martin Möller, Samuel Muñoz-Echániz, Robert Nowak, Georg Oberdieck, Daniel Platt, Dylan Possamaï, Gabriel Ribeiro, Raul Sanchez Galan, Zheming Sun, Josef Teichmann, Richard P. Thomas, Charles Vial
2023	—	`conf`	Digital Twins and the Future of Their Use Enabling Shift Left and Shift Right Cybersecurity Operations. TPS-ISA Ahmad Mohsin, Helge Janicke, Surya Nepal, David Holmes
2023	J	`jnl`	Digital Twins and the Future of their Use Enabling Shift Left and Shift Right Cybersecurity Operations. CoRR Ahmad Mohsin, Helge Janicke, Surya Nepal, David Holmes
2023	J	`jnl`	Points of non-linearity of functions generated by random neural networks. CoRR David Holmes
2021	—	`conf`	Digital Twins and Cyber Security - solution or challenge? SEEDA-CECNSM David Holmes, Maria Papathanasaki, Leandros Maglaras, Mohamed Amine Ferrag, Surya Nepal, Helge Janicke
2020	J	`jnl`	Explicit arithmetic intersection theory and computation of Néron-Tate heights. Math. Comput. Raymond van Bommel, David Holmes, Jan Steffen Müller
2019	J	`jnl`	Empirical and dynamic approaches for modelling the yield and N content of European grasslands. Environ. Model. Softw. Martha Dellar, Cairistiona F. E. Topp, Guillermo Pardo, Agustin del Prado, Nuala Fitton, David Holmes, Georgios Banos, Eileen Wall
2018	J	`jnl`	The Writeprints of Man: a Stylometric Study of Lafayette's Hand in Paine's 'Rights of Man'. Digit. Humanit. Q. Richard Forsyth, David Holmes
2017	Misc	`conf`	The Good, The Bad, and The Ugly of Deploying and Adopting Machine Learning Based Models in Clinical Practice. AMIA Yin Aphinyanaphongs, David Holmes, Berkman Sahiner, Parsa Mirhaji, Michael Draugelis
2012	C	`conf`	The Importance of Micro-climate Modification for Adaptation of Welsh Housing to Climate Change. IV David Holmes, John Counsell, Andrew Geens
2007	J	`jnl`	A real-time Java virtual machine with applications in avionics. ACM Trans. Embed. Comput. Syst. Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek
2006	—	`conf`	A Real-time Java Virtual Machine for Avionics - An Experience Report. IEEE Real Time Technology and Applications Symposium Jason Baker, Antonio Cunei, Chapman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbruster, Edward Pla, David Holmes
2006	Misc	`conf`	Flexible Indexing Using Signatures. IKE David Holmes
2006	—	`book`	Java Concurrency in Practice. Brian Goetz, Tim Peierls, Joshua J. Bloch, Joseph Bowbeer, David Holmes, Doug Lea
2004	C	`conf`	Cost Enforcement and Deadline Monitoring in the Real-Time Specification for Java. ISORC Andy J. Wellings, Gregory Bollella, Peter C. Dibble, David Holmes
2004	C	`conf`	Real-Time Java Scoped Memory: Design Patterns and Semantics. ISORC Filip Pizlo, J. M. Fox, David Holmes, Jan Vitek
2004	J	`jnl`	Review: Attributing Authorship: An Introduction. Lit. Linguistic Comput. David Holmes
2004	—	`conf`	Transliterated arabic name search. Communications, Internet, and Information Technology David Holmes, Samsum Kashfi, Syed Uzair Aqeel
2003	Misc	`conf`	Data Warehouse Integration Using Best Fit Matching. IKE David Holmes, Donald Maxwell
2003	A	`conf`	SQL text parsing for information retrieval. CIKM David Holmes
2002	J	`jnl`	Transformations in the Mediation of Publicness: Communicative Interaction in the Network Society. J. Comput. Mediat. Commun. David Holmes
2000	—	`conf`	Designing Concurrent Object-Oriented Programs in Java. TOOLS (33) David Holmes, Doug Lea
2000	A	`conf`	Exclusion for composite objects. OOPSLA James Noble, David Holmes, John Potter
2000	—	`conf`	Introduction to Concurrent Object-Oriented Programming in Java. TOOLS (33) David Holmes, Doug Lea
2000	—	`book`	The Java Programming Language, Third Edition Ken Arnold, James Gosling, David Holmes
1998	—	`conf`	Toward Reusable Synchronisation for Object-Oriented Languages. ECOOP Workshops David Holmes, James Noble, John Potter
1997	—	`conf`	Aspects of Synchronization. TOOLS (25) David Holmes, James Noble, John Potter
1997	—	`conf`	Concurrent Programming in Java: Language and Libraries. TOOLS (25) David Holmes
1995	J	`jnl`	Development practices for executive information systems: findings of a field study. Decis. Support Syst. Hugh J. Watson, Richard T. Watson, Sanjay K. Singh, David Holmes