Paulo Moura

30 papers B 3C 7Journal 9Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — conf
INSPIRE : An INcremental, SPatio-temporal and Immersive approach for Representing and Exploring mobility data.
CHItaly
Clément Quere, Aline Menin, Hui-Yin Wu, Paulo Moura, Marco Winckler
2025 — conf
WristNotes: Detachable Menu for Annotations in Immersive Environments.
INTERACT (3)
Clément Quere, Aline Menin, Eliezer E. Bernart, Carla Maria Dal Sasso Freitas, Luciana Nedel, Paulo Moura, Hui-Yin Wu, Marco Winckler
2024 — conf
A Cyber-Physical Infrastructure for Smart Energy Buildings.
IFIPIoT (2)
Benoit Couraud, Erwin Franquet, Honorat Quinard, Pierre-Jean Barre, Paulo Moura, Yann Rozier, Franck Dechavanne, Pierre Costini, Azeddine El Youssfi, Ahmad Taha, Sonam Norbu, David Flynn
2024 — conf
GreenMov: A Fiware Based Interoperable Solution to Reduce the Environmental Impact of Mobility.
IFIPIoT (1)
Benoit Couraud, Mehdi Nafkha, Franck Dechavanne, Azeddine El Youssfi, Paulo Moura
2021 J jnl
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture.
CoRR
Paul S. Brown, Vania Dimitrova, Glen Hart, Anthony G. Cohn, Paulo Moura
2021 J jnl
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture.
Theory Pract. Log. Program.
Paul S. Brown, Vania Dimitrova, Glen Hart, Anthony G. Cohn, Paulo Moura
2017 J jnl
JPC: A library for categorising and applying inter-language conversions between Java and Prolog.
Sci. Comput. Program.
Sergio Castro, Kim Mens, Paulo Moura
2016 — conf
Dynamic resource allocation using performance forecasting.
HPCS
Paulo Moura, Fabio Kon, Spyros Voulgaris, Maarten van Steen
2015 J jnl
Bringing Test-Driven Development to web service choreographies.
J. Syst. Softw.
Felipe M. Besson, Paulo Moura, Fabio Kon, Dejan S. Milojicic
2015 — conf
Using Performance Forecasting to Accelerate Elasticity.
ARMS-CC@PODC
Paulo Moura, Fabio Kon, Spyros Voulgaris, Maarten van Steen
2014 J jnl
Customisable Handling of Java References in Prolog Programs.
CoRR
Sergio Castro, Kim Mens, Paulo Moura
2014 J jnl
Tabling, Rational Terms, and Coinduction Finally Together!
CoRR
Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura
2014 J jnl
Tabling, Rational Terms, and Coinduction Finally Together!
Theory Pract. Log. Program.
Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura
2013 C conf
A Portable and Efficient Implementation of Coinductive Logic Programming.
PADL
Paulo Moura
2013 — conf
Automated scalability testing of software as a service.
AST@ICSE
Paulo Moura, Fabio Kon
2013 C conf
LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis.
PADL
Sergio Castro, Kim Mens, Paulo Moura
2012 — conf
Agent spaces: a scalable architecture for distributed logic agents.
RACS
Paul Tarau, Arun K. Majumdar, Paulo Moura
2012 — conf
LogicObjects: a linguistic symbiosis approach to bring the declarative power of Prolog to Java.
RAM-SE@ECOOP
Sergio Castro, Kim Mens, Paulo Moura
2011 J jnl
L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory
CoRR
Paulo Moura, Artur Miguel Dias
2011 C conf
Meta-predicate Semantics.
LOPSTR
Paulo Moura
2010 — conf
ESProNa: Constraint-Based Declarative Business Process Modeling.
EDOCW
Michael Igler, Paulo Moura, Michael Zeising, Stefan Jablonski
2010 C conf
Modeling and planning collaboration using organizational constraints.
CollaborateCom
Michael Igler, Paulo Moura, Matthias Faerber, Michael Zeising, Stefan Jablonski
2010 J jnl
Towards a Study of Meta-Predicate Semantics
CoRR
Paulo Moura
2009 B conf
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse.
ICLP
Paulo Moura
2009 C conf
High Level Thread-Based Competitive Or-Parallelism in Logtalk.
PADL
Paulo Moura, Ricardo Rocha, Sara C. Madeira
2009 — conf
Programming Patterns for Logtalk Parametric Objects.
INAP
Paulo Moura
2009 C conf
Secure Implementation of Meta-predicates.
PADL
Paulo Moura
2008 C conf
High-Level Multi-threading Programming in Logtalk.
PADL
Paulo Moura, Paul Crocker, Paulo Nunes
2008 B conf
Thread-Based Competitive Or-Parallelism.
ICLP
Paulo Moura, Ricardo Rocha, Sara C. Madeira
2006 B conf
Logtalk Processing of STEP Part 21 Files.
ICLP
Paulo Moura, Vincent Marchetti