Follow
Paulo Alencar
Paulo Alencar
Associate Director, CSG; Research Professor, University of Waterloo
Verified email at cs.uwaterloo.ca
Title
Cited by
Cited by
Year
The use of machine learning algorithms in recommender systems: A systematic review
I Portugal, P Alencar, D Cowan
Expert Systems with Applications 97, 205-227, 2018
5772018
Taming agents and objects in software engineering
V Silva, A Garcia, A Brandão, C Chavez, C Lucena, P Alencar
International Workshop on Software Engineering for Large-Scale Multi-agent …, 2002
1252002
A formal approach to architectural design patterns
PSC Alencar, DD Cowan, CJP Lucena
International Symposium of Formal Methods Europe, 576-594, 1996
971996
BPMNt: A BPMN extension for specifying software process tailoring
RM Pillat, TC Oliveira, PSC Alencar, DD Cowan
Information and Software Technology 57, 95-115, 2015
822015
Ensuring structure and behavior correctness in design composition
J Dong, PSC Alencar, DD Cowan
Proceedings Seventh IEEE International Conference and Workshop on the …, 2000
632000
A pattern-based approach to structural design composition
P Alencar, D Cowan, J Dong, C Lucena
Proceedings. Twenty-Third Annual International Computer Software and …, 1999
591999
Specifying laws in open multi-agent systems
R Paes, GR Carvalho, CJP Lucena, PSC Alencar, HO Almeida, VT Silva
Agents, Norms and Institutions for Regulated Multi-agent Systems (ANIREM …, 2005
482005
Event models in distributed event based systems
R Blanco, P Alencar
Principles and Applications of Distributed Event-Based Systems, 19-42, 2010
442010
Anisotropic fluids with multifluid components
PS Letelier, PSC Alencar
Physical Review D 34 (2), 343, 1986
431986
Composing pattern-based components and verifying correctness
J Dong, PSC Alencar, DD Cowan, S Yang
Journal of Systems and Software 80 (11), 1755-1769, 2007
382007
Software engineering for big data projects: Domains, methodologies and gaps
VD Kumar, P Alencar
2016 IEEE International Conference on Big Data (Big Data), 2886-2895, 2016
372016
ReuseTool—An extensible tool support for object-oriented framework reuse
TC Oliveira, P Alencar, D Cowan
Journal of Systems and Software 84 (12), 2234-2252, 2011
372011
A generative approach for multi-agent system development
U Kulesza, A Garcia, C Lucena, P Alencar
International Workshop on Software Engineering for Large-Scale Multi-agent …, 2004
362004
Supporting formal verification of crosscutting concerns
T Nelson, D Cowan, P Alencar
International Conference on Metalevel Architectures and Reflection, 153-169, 2001
322001
Collaborative geomatics and the Mushkegowuk Cree First Nations: Fostering adaptive capacity for community-based sub-arctic natural resource management
DDP McCarthy, GS Whitelaw, S Anderson, D Cowan, F McGarry, ...
Geoforum 43 (2), 305-314, 2012
312012
A behavioral analysis and verification approach to pattern-based design composition
J Dong, PSC Alencar, DD Cowan
Software and Systems Modeling 3 (4), 262-272, 2004
312004
Combining formal techniques and prototyping in user interface construction and verification
P Bumbulis, PSC Alencar, DD Cowan, CJP Lucena
Design, Specification and Verification of Interactive Systems’ 95, 174-192, 1995
311995
A metamodel for distributed event based systems
R Blanco, J Wang, P Alencar
Proceedings of the second international conference on Distributed event …, 2008
302008
A preliminary survey on domain-specific languages for machine learning in big data
I Portugal, P Alencar, D Cowan
2016 IEEE International Conference on Software Science, Technology and …, 2016
292016
Software process representation and analysis for framework instantiation
TC Oliveira, CJP de Lucena, PSC Alencar, DD Cowan
IEEE Transactions on Software Engineering 30 (3), 145-159, 2004
282004
The system can't perform the operation now. Try again later.
Articles 1–20