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
[2]
Hilfe
Suche: Author="Jilani, Lamia Labed"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Invariant functions and invariant relations: An alternative to invariant assertions
Lamia Labed Jilani
,
Olfa Mraihi
,
Asma Louhichi
,
Wided Ghardallou
,
Khaled Bsaies
,
Ali Mili
Journal Symbolic Computation
48
, 2013, pp. 1-36
Reflexive transitive invariant relations: A basis for computing loop functions
Ali Mili
,
Shir Aharon
,
Chaitanya Nadkarni
,
Lamia Labed Jilani
,
Asma Louhichi
,
Olfa Mraihi
Journal Symbolic Computation
45
(11), 2010, pp. 1114-1143