Paulo Moura

Sci. Comput. Program., 2017

2016

Dynamic resource allocation using performance forecasting.

[BibT_eX]

[DOI]

Proceedings of the International Conference on High Performance Computing & Simulation, 2016

2015

Bringing Test-Driven Development to web service choreographies.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Using Performance Forecasting to Accelerate Elasticity.

[BibT_eX]

[DOI]

Proceedings of the Adaptive Resource Management and Scheduling for Cloud Computing, 2015

2014

Tabling, Rational Terms, and Coinduction Finally Together!

[BibT_eX]

[DOI]

Theofrastos Mantadelis

Ricardo Rocha

Theory Pract. Log. Program., 2014

Customisable Handling of Java References in Prolog Programs.

[BibT_eX]

[DOI]

CoRR, 2014

2013

A Portable and Efficient Implementation of Coinductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2013

LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2013

Automated scalability testing of software as a service.

[BibT_eX]

[DOI]

Fabio Kon

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

2012

Agent spaces: a scalable architecture for distributed logic agents.

[BibT_eX]

[DOI]

Paul Tarau

Arun K. Majumdar

Proceedings of the Research in Applied Computation Symposium, 2012

LogicObjects: a linguistic symbiosis approach to bring the declarative power of Prolog to Java.

[BibT_eX]

[DOI]

Proceedings of the 9th ECOOP Workshop on Reflection, 2012

2011

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

[BibT_eX]

[DOI]

Artur Miguel Dias

CoRR, 2011

Meta-predicate Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

2010

Towards a Study of Meta-Predicate Semantics

[BibT_eX]

[DOI]

CoRR, 2010

ESProNa: Constraint-Based Declarative Business Process Modeling.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

Modeling and planning collaboration using organizational constraints.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Collaborative Computing: Networking, 2010

2009

High Level Thread-Based Competitive Or-Parallelism in Logtalk.

[BibT_eX]

[DOI]

Ricardo Rocha

Sara C. Madeira

Proceedings of the Practical Aspects of Declarative Languages, 2009

Secure Implementation of Meta-predicates.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2009

Programming Patterns for Logtalk Parametric Objects.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009

From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

High-Level Multi-threading Programming in Logtalk.

[BibT_eX]

[DOI]

Paul Crocker

Paulo Nunes

Proceedings of the Practical Aspects of Declarative Languages, 2008

Thread-Based Competitive Or-Parallelism.

[BibT_eX]

[DOI]

Ricardo Rocha

Sara C. Madeira

Proceedings of the Logic Programming, 24th International Conference, 2008

2006

Logtalk Processing of STEP Part 21 Files.

[BibT_eX]

[DOI]