E-LIB Suche - Ergebnisse für: Ballis, A.

1

Safety enforcement via programmable strategies in Maude:

Alpuente, M. ; Ballis, D. ; Escobar, S...
Journal of Logical and Algebraic Methods in Programming. 132 (2023) - p. 100849 , 2023

Link: https://doi.org/10.1016/..

2

Optimization of rewrite theories by equational partial eval..:

Alpuente, M. ; Ballis, D. ; Escobar, S..
Journal of Logical and Algebraic Methods in Programming. 124 (2022) - p. 100729 , 2022

Link: https://doi.org/10.1016/..

3

Efficient Safety Enforcement for Maude Programs via Program..:

Alpuente, M. ; Ballis, D. ; Sapiña, J.
Mathematics in Computer Science. 14 (2020) 3 - p. 591-606 , 2020

Link: https://doi.org/10.1007/..

4

Static correction of Maude programs with assertions:

Alpuente, M. ; Ballis, D. ; Sapiña, J.
Journal of Systems and Software. 153 (2019) - p. 64-85 , 2019

Link: https://doi.org/10.1016/..

5

Serving Scientists in Agri-Food Area by Virtual Research En..:

, In: 2018 IEEE 14th International Conference on e-Science (e-Science),

Ballis, A. ; Katris, D. ; Knapen, M.J.R.... - p. 405-406 , 2018

Link: https://doi.org/10.1109/..

6

A Geopolitical Review of Definitions, Dimensions and Indica..:

, In: 2018 9th International Conference on Information, Intelligence, Systems and Applications (IISA),

Paravantis, J. A. ; Kontoulis, N. ; Ballis, A... - p. 1-8 , 2018

Link: https://doi.org/10.1109/..

7

Assertion-based analysis via slicing withABETS(system descr..:

ALPUENTE, M. ; FRECHINA, F. ; SAPIÑA, J..
Theory and Practice of Logic Programming. 16 (2016) 5-6 - p. 515-532 , 2016

Link: https://doi.org/10.1017/..

8

Exploring conditional rewriting logic computations:

Alpuente, M. ; Ballis, D. ; Frechina, F..
Journal of Symbolic Computation. 69 (2015) - p. 3-39 , 2015

Link: https://doi.org/10.1016/..

9

An integrated framework for the diagnosis and correction of..:

Alpuente, M. ; Ballis, D. ; Correa, F..
Theoretical Computer Science. 411 (2010) 47 - p. 4055-4101 , 2010

Link: https://doi.org/10.1016/..

10

Phil: A Lazy Implementation of a Language for Approximate F..:

Baggi, M. ; Ballis, D.
Electronic Notes in Theoretical Computer Science. 216 (2008) - p. 93-109 , 2008

Link: https://doi.org/10.1016/..

11

A Rule-based Method to Match Software Patterns Against UML ..:

Ballis, D. ; Baruzzo, A. ; Comini, M.
Electronic Notes in Theoretical Computer Science. 219 (2008) - p. 51-66 , 2008

Link: https://doi.org/10.1016/..

12

Embryonic Stem Cells: From Bench to Bedside:

Pucéat, M ; Ballis, A
Clinical Pharmacology & Therapeutics. 82 (2007) 3 - p. 337-339 , 2007

Link: https://doi.org/10.1038/..

13

Rule-based verification of Web sites:

Alpuente, M. ; Ballis, D. ; Falaschi, M.
International Journal on Software Tools for Technology Transfer. 8 (2006) 6 - p. 565-585 , 2006

Link: https://doi.org/10.1007/..

14

A Rule-based System for Web site Verification:

Ballis, D. ; García-Vivó, J.
Electronic Notes in Theoretical Computer Science. 157 (2006) 2 - p. 11-17 , 2006

Link: https://doi.org/10.1016/..

15

A Rewriting-based Framework for Web Sites Verification:

Alpuente, M. ; Ballis, D. ; Falaschi, M.
Electronic Notes in Theoretical Computer Science. 124 (2005) 1 - p. 41-61 , 2005

Link: https://doi.org/10.1016/..