Paulo Moura

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 6

Top Topics

Software As A Service

Procedural Semantics

Intelligent Tutoring

Dynamic Resource Allocation

Top Venues

Theory Pract. Log. Program.

Publications

Paul S. Brown, Vania Dimitrova, Glen Hart, Anthony G. Cohn, Paulo Moura
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture. CoRR (2021)
Paul S. Brown, Vania Dimitrova, Glen Hart, Anthony G. Cohn, Paulo Moura
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture. Theory Pract. Log. Program. 21 (6) (2021)
Sergio Castro, Kim Mens, Paulo Moura
JPC: A library for categorising and applying inter-language conversions between Java and Prolog. Sci. Comput. Program. 134 (2017)
Paulo Moura, Fabio Kon, Spyros Voulgaris, Maarten van Steen
Dynamic resource allocation using performance forecasting. HPCS (2016)
Paulo Moura, Fabio Kon, Spyros Voulgaris, Maarten van Steen
Using Performance Forecasting to Accelerate Elasticity. ARMS-CC@PODC (2015)
Felipe M. Besson, Paulo Moura, Fabio Kon, Dejan S. Milojicic
Bringing Test-Driven Development to web service choreographies. J. Syst. Softw. 99 (2015)
Sergio Castro, Kim Mens, Paulo Moura
Customisable Handling of Java References in Prolog Programs. CoRR (2014)
Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura
Tabling, Rational Terms, and Coinduction Finally Together! Theory Pract. Log. Program. 14 (4-5) (2014)
Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura
Tabling, Rational Terms, and Coinduction Finally Together! CoRR (2014)
Paulo Moura, Fabio Kon
Automated scalability testing of software as a service. AST (2013)
Paulo Moura
A Portable and Efficient Implementation of Coinductive Logic Programming. PADL (2013)
Sergio Castro, Kim Mens, Paulo Moura
LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis. PADL (2013)
Sergio Castro, Kim Mens, Paulo Moura
LogicObjects: a linguistic symbiosis approach to bring the declarative power of Prolog to Java. RAM-SE@ECOOP (2012)
Paul Tarau, Arun K. Majumdar, Paulo Moura
Agent spaces: a scalable architecture for distributed logic agents. RACS (2012)
Paulo Moura, Artur Miguel Dias
L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory CoRR (2011)
Paulo Moura
Meta-predicate Semantics. LOPSTR (2011)
Paulo Moura
Towards a Study of Meta-Predicate Semantics CoRR (2010)
Michael Igler, Paulo Moura, Matthias Färber, Michael Zeising, Stefan Jablonski
Modeling and planning collaboration using organizational constraints. CollaborateCom (2010)
Michael Igler, Paulo Moura, Michael Zeising, Stefan Jablonski
ESProNa: Constraint-Based Declarative Business Process Modeling. EDOCW (2010)
Paulo Moura
Secure Implementation of Meta-predicates. PADL (2009)
Paulo Moura
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse. ICLP (2009)
Paulo Moura, Ricardo Rocha, Sara C. Madeira
High Level Thread-Based Competitive Or-Parallelism in Logtalk. PADL (2009)
Paulo Moura
Programming Patterns for Logtalk Parametric Objects. INAP (2009)
Paulo Moura, Ricardo Rocha, Sara C. Madeira
Thread-Based Competitive Or-Parallelism. ICLP (2008)
Paulo Moura, Paul Crocker, Paulo Nunes
High-Level Multi-threading Programming in Logtalk. PADL (2008)
Paulo Moura, Vincent Marchetti
Logtalk Processing of STEP Part 21 Files. ICLP (2006)