Paulo Moura

Orcid: 0000-0001-9792-9104

According to our database1, Paulo Moura authored at least 24 papers between 2006 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Refactoring the Whitby Intelligent Tutoring System for Clean Architecture.
Theory Pract. Log. Program., 2021

2017
JPC: A library for categorising and applying inter-language conversions between Java and Prolog.
Sci. Comput. Program., 2017

2016
Dynamic resource allocation using performance forecasting.
Proceedings of the International Conference on High Performance Computing & Simulation, 2016

2015
Bringing Test-Driven Development to web service choreographies.
J. Syst. Softw., 2015

Using Performance Forecasting to Accelerate Elasticity.
Proceedings of the Adaptive Resource Management and Scheduling for Cloud Computing, 2015

2014
Tabling, Rational Terms, and Coinduction Finally Together!
Theory Pract. Log. Program., 2014

Customisable Handling of Java References in Prolog Programs.
CoRR, 2014

2013
A Portable and Efficient Implementation of Coinductive Logic Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2013

LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis.
Proceedings of the Practical Aspects of Declarative Languages, 2013

Automated scalability testing of software as a service.
Proceedings of the 8th International Workshop on Automation of Software Test, 2013

2012
Agent spaces: a scalable architecture for distributed logic agents.
Proceedings of the Research in Applied Computation Symposium, 2012

LogicObjects: a linguistic symbiosis approach to bring the declarative power of Prolog to Java.
Proceedings of the 9th ECOOP Workshop on Reflection, 2012

2011
L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory
CoRR, 2011

Meta-predicate Semantics.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

2010
Towards a Study of Meta-Predicate Semantics
CoRR, 2010

ESProNa: Constraint-Based Declarative Business Process Modeling.
Proceedings of the Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

Modeling and planning collaboration using organizational constraints.
Proceedings of the 6th International Conference on Collaborative Computing: Networking, 2010

2009
High Level Thread-Based Competitive Or-Parallelism in Logtalk.
Proceedings of the Practical Aspects of Declarative Languages, 2009

Secure Implementation of Meta-predicates.
Proceedings of the Practical Aspects of Declarative Languages, 2009

Programming Patterns for Logtalk Parametric Objects.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009

From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
High-Level Multi-threading Programming in Logtalk.
Proceedings of the Practical Aspects of Declarative Languages, 2008

Thread-Based Competitive Or-Parallelism.
Proceedings of the Logic Programming, 24th International Conference, 2008

2006
Logtalk Processing of STEP Part 21 Files.
Proceedings of the Logic Programming, 22nd International Conference, 2006


  Loading...