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
4022018
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
1202002
A formal approach to architectural design patterns
PSC Alencar, DD Cowan, CJP Lucena
International Symposium of Formal Methods Europe, 576-594, 1996
981996
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
702015
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
472005
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
441986
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
372007
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
362011
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
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
322012
Supporting formal verification of crosscutting concerns
T Nelson, D Cowan, P Alencar
International Conference on Metalevel Architectures and Reflection, 153-169, 2001
322001
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
A metamodel for distributed event based systems
R Blanco, J Wang, P Alencar
Proceedings of the second international conference on Distributed event …, 2008
302008
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
301995
On manageability and robustness of open multi-agent systems
NH Minsky, T Murata
International Workshop on Software Engineering for Large-Scale Multi-agent …, 2003
292003
Formal specification of reusable interface objects
PSC Alencar, DD Cowan, CJP Lucena, LCM Nova
ACM SIGSOFT Software Engineering Notes 20 (SI), 88-96, 1995
271995
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
262016
The system can't perform the operation now. Try again later.
Articles 1–20