Sergio Castro

12 papers C 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2019 — conf
Perovskite based Low Power Synaptic Memristor Device for Neuromorphic application.
DTIS
Vishal Gupta, Giulia Lucarelli, Sergio Castro, Thomas Brown, Marco Ottavi
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
2014 — —
A portable approach for bidirectional integration between a logic and a statically-typed object-oriented programming language.
Sergio Castro
2014 J jnl
Customisable Handling of Java References in Prolog Programs.
CoRR
Sergio Castro, Kim Mens, Paulo Moura
2013 J jnl
LogicObjects: A Portable and Extensible Approach for Linguistic Symbiosis between an Object-Oriented and a Logic Programming Language.
Theory Pract. Log. Program.
Sergio Castro
2013 C conf
LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis.
PADL
Sergio Castro, Kim Mens, Paulo Moura
2012 — conf
DynamicSchema: a lightweight persistency framework for context-oriented data management.
COP@ECOOP
Sergio Castro, Sebastián González, Kim Mens, Marcus Denker
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
Diagnosing and correcting design inconsistencies in source code with logical abduction.
Sci. Comput. Program.
Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo D'Hondt
2010 J jnl
Enforcing structural regularities in software using IntensiVE.
Sci. Comput. Program.
Johan Brichau, Andy Kellens, Sergio Castro, Theo D'Hondt
2009 — conf
Diagnosis and semi-automatic correction of detected design inconsistencies in source code.
IWST
Sergio Castro, Johan Brichau, Kim Mens
2007 — conf
A Unified Mechanism for Improving Advanced Transaction Management in Web Services.
SCCC
Sergio Castro, Johan Fabry, Kim Mens, Theo D'Hondt