Peter Van Roy

Cited by

	All	Since 2018
Citations	4619	854
h-index	35	13
i10-index	69	14

260

130

195

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202321 21 24 32 62 43 106 57 80 52 101 115 138 80 114 100 99 182 165 258 164 135 166 152 187 183 173 168 174 151 186 162 202 124 138 42

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 VanderdoncktProfessor 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
Sébastien CombéfisMinistère de la Fédération Wallonie-Bruxelles (MFWB)Verified email at combefis.be
Pradeeban KathiraveluIncoming Assistant Professor, University of Alaska AnchorageVerified email at alaska.edu
Luis RodriguesINESC-ID, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Jean-Bernard StefaniSenior Scientist, INRIAVerified email at inria.fr
Seyed Hossein HAERIDepartment of Informatics, University of Bergen & Formal Methods Group, IOHKVerified email at uib.no
Yves DevilleProfessor of Computer Science, Université catholique de Louvain, ICTEAM, EPLVerified email at uclouvain.be
Paolo RomanoINESC-ID/Instituto Superior Técnico, University of LisbonVerified email at gsd.inesc-id.pt
Carlos BaqueroProfessor at DEI, FEUP, University of Porto. Researcher at HASLab, INESC TEC.Verified email at fe.up.pt
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Kim MensUniversité catholique de Louvain, ICTEAM, EPLVerified email at uclouvain.be

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	778	2004
High-performance logic programming with the Aquarius Prolog compiler P Van Roy, AM Despain Computer 25 (1), 54-68, 1992	259	1992
Can logic programming execute as fast as imperative programming? PL Van Roy University of California at Berkeley, 1990	224	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	183	1997
1983-1993: The wonder years of sequential Prolog implementation P Van Roy The Journal of Logic Programming 19, 385-441, 1994	146	1994
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	131	1987
Programming paradigms for dummies: What every programmer should know P Van Roy New computational paradigms for computer music 104, 616-621, 2009	128	2009
Programming languages for distributed applications S Haridi, P Van Roy, P Brand, C Schulte New Generation Computing 16 (3), 223-261, 1998	127	1998
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
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	94	2017
Lasp: A language for distributed, coordination-free programming C Meiklejohn, P Van Roy Proceedings of the 17th International Symposium on Principles and Practice …, 2015	93	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	85	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	79	1997
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	75	2003
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	75	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	71	2011
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	69	1990
A Prolog Compiler for the PLM PL Van Roy University of California at Berkeley, 1984	66	1984
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
Self management and the future of software design P Van Roy Electronic Notes in Theoretical Computer Science 182, 201-217, 2007	59	2007

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