Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Armando, Alessandro"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
Alessandro Armando
,
Enrico Giunchiglia
,
Marco Maratea
,
Serena Elisa Ponta
Journal of Computer and System Sciences
78
(1), 2012, pp. 119-141
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
Alessandro Armando
,
Clemens Ballarin
Journal Symbolic Computation
39
(5), 2005, pp. 503-521
A rewriting approach to satisfiability procedures
Alessandro Armando
,
Silvio Ranise
,
Michaël Rusinowitch
Information and Computation
183
(2), 2003, pp. 140-164
Constraint contextual rewriting
Alessandro Armando
,
Silvio Ranise
Journal Symbolic Computation
36
(1-2), 2003, pp. 193-216
Incorporating decision procedures in implicit induction
Alessandro Armando
,
Michaël Rusinowitch
,
Sorin Stratulat
Journal Symbolic Computation
34
(4), 2002, pp. 241-258
Maple's evaluation process as constraint contextual rewriting
Alessandro Armando
,
Clemens Ballarin
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC'2001 (University of Western Ontario, London, Ontario, Canada, July 22-25, 2001)
, 2001, pp. 32-37
The control layer in open mechanized reasoning systems: Annotations and tactics
Alessandro Armando
,
Alessandro Coglio
,
Fausto Giunchiglia
,
Silvio Ranise
Journal Symbolic Computation
32
(4), 2001, pp. 305-332