Skip to main content
Username
*
Password
*
Forgot Password?
F.LI.T.
(Formal LIght-weight Tools)
Main menu
Publications
Publications
Navigation
Publications
Authors
Keywords
You are here
Home
Publications
Search
Show only items where
Author
any
Alpuente, Maria
Bacci, Giovanni
Baggi, Michele
Bagnara, Roberto
Ballis, Demis
Baruzzo, Andrea
Baudry, Benoit
Bruynooghe, M
Cofer, Darren
Comini, Marco
Correa, F
Costa, Santos V
Damiani, Ferruccio
Dams, M
Delzanno, G
Dovier, Agostino
Drabent, W
Ducassé, M
Escobar, Santiago
Espert, J
Etalle, S
Falaschi, Moreno
Fantechi, Alessandro
Feliú, Marco Antonio
Ferri, C
Flores, S
Freire-Nistal, J L
Fribourg, L
Gabbrielli, M
Gallardo, M M
Gori, Roberta
Gramlich, B
Hearnden, D
Hernández-Orallo, J
Iborra, Josè
Joubert, C
Kutsia, T
Lescaylle, A
Leuschel, M
Levi, Giorgio
Lloyd, J
López-Fraguas, F J
Lucas, Salvador
Marchiori, M
Meo, Maria Chiara
Navarro, M
Nieuwenhuis, R
Ojeda, P
Omicini, A
Peña, R
Pietrzak, P
Pimentel, E
Policriti, A
Ramirez-Quintana, José M
Rapin, N
Romero, Daniel Omar
Schreye, D
Scozzari, Francesca
Seda, A K
Süß, J G
Titolo, Laura
Torella, Luca
Turini, F
Vidal, Germán
Villanueva, Alicia
Villares-Ferro, M
Vitiello, G
Vivó, Javier Garcia
Volpe, P
Voronkov, A
Vrech, Samuel
Zaffanella, Enea
Type
any
Technical Report
Conference Proceedings
Thesis
Journal Article
Book Chapter
Unpublished
Term
any
Year
any
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1996
1995
1994
Keyword
any
Abstract Diagnosis
Abstract Interpretation
Abstract Verification
Abstraction
Algebraic-oriented Specification
Approximate Filtering of XML
Assertion Language
Bioinformatics
call-time choice semantics
cc
CCT
Compositionality
Cost Matrixes
Cost-sensitive Evaluation
Curry
Debugging
Declarative Debugging
Declarative Diagnosis
Description logic
DIG
Fold/Unfold Transformations
Functional Programming
Functional-logic Programming
functions
GVERDI
Haskell
Homeomorphic Tree embedding
Inductive Learning
Inductive Verification
Logic
Logic Programming
Maude
model checking
Model-checking
OBJ
OCL
Ontology-based Approximate Filter
OWL
partial rewriting
Pattern Matching
Petri nets
PHIL
program correction
Program Transformation
property-oriented specifications
Quantitative Pathway Logic
Rewriting Logic
Rule-based domain specific language
Semantic Filtering
Semantic Verification
semantic-based inference methods
Semantics
semantics-based inference methods
SLD-derivations
Specification of Web Applications
symbolic representation
tccp
Trace Slicing
Transformation of logic programs
Tree Simulation
TRS
UML Design Patterns
UML diagrams
UML formal specification
UML models
Unfolding
Validation
VERDI
Verification
Verification of Web Applications
verification of Web sites
Web site debugging
Web site repair
Web Site Verification
Web-TLR
Web-VERDI
XML
Export 1 results:
BibTex
Author
Type
Year
Filters:
Author
is
Kutsia, T.
[Clear All Filters]
2011
D. Ballis
and
Kutsia, T.
,
“
Special Issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems (Preface)
”
,
Journal of Symbolic Computation
, vol. 46, pp. 93–94, 2011.
Google Scholar
BibTex
