Peter Van Roy

Cited by

	All	Since 2019
Citations	4778	831
h-index	35	11
i10-index	73	14

260

130

195

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 20 23 26 30 64 45 111 69 83 52 103 114 145 79 118 98 98 180 167 256 158 136 165 152 180 175 173 171 180 141 185 162 200 131 130 120 88

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Seif HaridiProfessor of Computer Systems, KTH, RISEVerified email at ri.se
Jean VanderdoncktFull Professor of Computer Science, Université catholique de LouvainVerified email at uclouvain.be
Donatien GrolauxLecturer of Computer Sciences, ICHEC Brussels Management SchoolVerified email at ichec.be
Gert SmolkaProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at ps.uni-saarland.de
Christopher MeiklejohnPh.D. StudentVerified email at cs.cmu.edu
Fred SpiessensVerified email at evoluware.eu
Christian SchulteProfessor of Computer Science, KTH Royal Institute of TechnologyVerified email at kth.se
Manuel BravoResearcher at Informal SystemsVerified email at informal.systems
Zhongmiao LiMicrosoftVerified email at microsoft.com
Luís VeigaAssociate Professor, Instituto Superior Técnico (U.Lisboa) & INESC-IDVerified email at ist.utl.pt
Pradeeban KathiraveluAssistant Professor, University of Alaska AnchorageVerified email at alaska.edu
Seyed Hossein HAERIDepartment of Informatics, University of Bergen & Formal Methods Group, IOHKVerified email at uib.no
Luis RodriguesINESC-ID, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Sébastien CombéfisMinistère de la Fédération Wallonie-Bruxelles (MFWB)Verified email at combefis.be
Jean-Bernard StefaniSenior Scientist, INRIAVerified email at inria.fr
Paolo RomanoINESC-ID/Instituto Superior Técnico, University of LisbonVerified email at gsd.inesc-id.pt
Yves DevilleProfessor of Computer Science, Université catholique de Louvain, ICTEAM, EPLVerified email at uclouvain.be
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Carlos BaqueroProfessor at DEI, FEUP, University of Porto. Researcher at HASLab, INESC TEC.Verified email at fe.up.pt
Vladimir VlassovProfessor in Computer Systems, KTH Royal Institute of TechnologyVerified email at kth.se

Peter Van Roy

Professor of Computing Science and Engineering, ICTEAM, EPL, Université catholique de Louvain

Verified email at uclouvain.be - Homepage

Programming Languages Distributed Computing Internet of Things Programming Education Constraint Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Concepts, techniques, and models of computer programming P Van-Roy, S Haridi The MIT Press, 2004	808	2004
High-performance logic programming with the Aquarius Prolog compiler P Van Roy, AM Despain Computer 25 (1), 54-68, 1992	258	1992
Can logic programming execute as fast as imperative programming? PL Van Roy University of California at Berkeley, 1990	234	1990
Mobile objects in distributed oz P Van Roy, S Haridi, P Brand, G Smolka, M Mehl, R Scheidhauer ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (5), 804-851, 1997	185	1997
1983-1993: The wonder years of sequential Prolog implementation P Van Roy The Journal of Logic Programming 19, 385-441, 1994	146	1994
Programming paradigms for dummies: What every programmer should know P Van Roy New computational paradigms for computer music 104, 616-621, 2009	145	2009
Programming languages for distributed applications S Haridi, P Van Roy, P Brand, C Schulte New Generation Computing 16 (3), 223-261, 1998	128	1998
Improving the execution speed of compiled Prolog with modes, clause selection, and determinism P Van Roy, B Demoen, YD Willems TAPSOFT'87: Proceedings of the International Joint Conference on Theory and …, 1987	123	1987
Saturn: A distributed metadata service for causal consistency M Bravo, L Rodrigues, P Van Roy Proceedings of the Twelfth European Conference on Computer Systems, 111-126, 2017	106	2017
A toolkit for peer-to-peer distributed user interfaces: concepts, implementation, and applications J Melchior, D Grolaux, J Vanderdonckt, P Van Roy Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009	106	2009
Lasp: A language for distributed, coordination-free programming C Meiklejohn, P Van Roy Proceedings of the 17th International Symposium on Principles and Practice …, 2015	99	2015
Efficient logic variables for distributed computing S Haridi, P Van Roy, P Brand, M Mehl, R Scheidhauer, G Smolka ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 569-626, 1999	88	1999
An overview of the design of Distributed Oz S Haridi, P Van Roy, G Smolka Proceedings of the second international symposium on parallel symbolic …, 1997	80	1997
The benefits of global dataflow analysis for an optimizing Prolog compiler PV Roy, AM Despain Proceedings of the 1990 North American conference on Logic programming, 501-515, 1990	77	1990
Logic programming in the context of multiparadigm programming: the Oz experience P Van Roy, P Brand, D Duchier, S Haridi, C Schulte, M Henz Theory and practice of logic programming 3 (6), 717-763, 2003	76	2003
Fast Prolog with an extended general purpose architecture BK Holmer, B Sano, M Carlton, P Van Roy, R Haygood, WR Bush, ... ACM SIGARCH Computer Architecture News 18 (2SI), 282-291, 1990	72	1990
A model-based approach for distributed user interfaces J Melchior, J Vanderdonckt, P Van Roy Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011	70	2011
A Prolog Compiler for the PLM PL Van Roy University of California at Berkeley, 1984	67*	1984
Automatic grading of programming exercises in a MOOC using the INGInious platform G Derval, A Gego, P Reinbold, B Frantzen, P Van Roy European Stakeholder Summit on experiences and best practices in and around …, 2015	66	2015
The role of language paradigms in teaching programming P Van Roy, J Armstrong, M Flatt, B Magnusson ACM SIGCSE Bulletin 35 (1), 269-270, 2003	63	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors