A Unified Mechanism for Improving Advanced Transaction Management in Web Services. - Sergio Castro; Johan Fabry; Kim Mens; Theo D'Hondt (SCCC, 2007)

Diagnosis and semi-automatic correction of detected design inconsistencies in source code. - Sergio Castro; Johan Brichau; Kim Mens (IWST, 2009)

Enforcing structural regularities in software using IntensiVE. - Johan Brichau; Andy Kellens; Sergio Castro; Theo D'Hondt (Sci. Comput. Program., 2010)

Diagnosing and correcting design inconsistencies in source code with logical abduction. - Sergio Castro; Coen De Roover; Andy Kellens; Angela Lozano; Kim Mens; Theo D'Hondt (Sci. Comput. Program., 2011)

DynamicSchema: a lightweight persistency framework for context-oriented data management. - Sergio Castro; Sebastián González; Kim Mens; Marcus Denker (COP@ECOOP, 2012)

LogicObjects: a linguistic symbiosis approach to bring the declarative power of Prolog to Java. - Sergio Castro; Kim Mens; Paulo Moura (RAM-SE@ECOOP, 2012)

LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis. - Sergio Castro; Kim Mens; Paulo Moura (PADL, 2013)

LogicObjects: A Portable and Extensible Approach for Linguistic Symbiosis between an Object-Oriented and a Logic Programming Language. - Sergio Castro (Theory Pract. Log. Program., 2013)

Customisable Handling of Java References in Prolog Programs. - Sergio Castro; Kim Mens; Paulo Moura (CoRR, 2014)

A portable approach for bidirectional integration between a logic and a statically-typed object-oriented programming language. - Sergio Castro (2014)

JPC: A library for categorising and applying inter-language conversions between Java and Prolog. - Sergio Castro; Kim Mens; Paulo Moura (Sci. Comput. Program., 2017)

Perovskite based Low Power Synaptic Memristor Device for Neuromorphic application. - Vishal Gupta 002; Giulia Lucarelli; Sergio Castro; Thomas Brown; Marco Ottavi (DTIS, 2019)