Skip to content

Julio Mario-Carballo

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

3

Active years

1992–2014

Best venue rank

C

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
2014ICWSProperty-Based Testing of JSON Based Web Services.Lars-ke Fredlund, Clara Benac Earle, ngel Herranz-Nieva, Julio Mario-Carballo
2014LOPSTRDeclarative Compilation for Constraint Logic Programming.Emilio Jess Gallego Arias, James Lipton, Julio Mario-Carballo
2008PADLAutomatic Coding Rule Conformance Checking Using Logic Programming.Guillem Marpons-Ucero, Julio Mario-Carballo, Manuel Carro, ngel Herranz-Nieva, Juan Jos Moreno-Navarro, Lars-ke Fredlund
1992LOPSTREfficient Compilation of Lazy Narrowing into Prolog.Jos Andr Jimnez-Martin, Julio Mario-Carballo, Juan Jos Moreno-Navarro