Irène Guessarian

73 papers A* 2A 3B 5C 1Misc 1Journal 43Unranked 15
YearRankTypeTitle / Venue / Authors
2022 J jnl
Affine Completeness of Some Free Binary Algebras.
Fundam. Informaticae
André Arnold, Patrick Cégielski, Irène Guessarian
2021 J jnl
Affine completeness of some free binary algebras.
CoRR
André Arnold, Patrick Cégielski, Irène Guessarian
2021 J jnl
The algebra of binary trees is affine complete.
Discret. Math. Theor. Comput. Sci.
André Arnold, Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2020 J jnl
Congruence Preservation, Lattices and Recognizability.
CoRR
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2020 J jnl
The algebra of binary trees is affine complete.
CoRR
André Arnold, Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2016 J jnl
Characterizing Congruence Preserving Functions Z/nZ → Z/mZ Via Rational Polynomials.
Integers
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2015 — conf
Arithmetical Congruence Preservation: From Finite to Infinite.
Fields of Logic and Computation II
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2015 J jnl
Characterizing congruence preserving functions $Z/nZ\to Z/mZ$ via rational polynomials.
CoRR
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2014 — conf
Integral Difference Ratio Functions on Integers.
Computing with New Resources
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2014 J jnl
On lattices of regular sets of natural integers closed under decrementation.
Inf. Process. Lett.
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2013 J jnl
Newton representation of functions over natural integers having integral difference ratios.
CoRR
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2013 J jnl
On Lattices of Regular Sets of Natural Integers Closed under Decrementation.
CoRR
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
2010 — conf
Normalization of Some Extended Abstract State Machines.
Fields of Logic and Computation
Patrick Cégielski, Irène Guessarian
2009 J jnl
Inf-datalog, Modal Logic and Complexities.
RAIRO Theor. Informatics Appl.
Eugénie Foustoucos, Irène Guessarian
2008 J jnl
Tree inclusion problems.
RAIRO Theor. Informatics Appl.
Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
2006 J jnl
Automatic generation of simplified weakest preconditions for integrity constraint verification
CoRR
Ahmed Ait-Bouziad, Irène Guessarian, Laurent Vieille
2006 J jnl
Complexity of Monadic inf-datalog. Application to temporal logic
CoRR
Eugénie Foustoucos, Irène Guessarian
2006 J jnl
Multiple serial episode matching
CoRR
Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
2006 J jnl
Multiple serial episodes matching.
Inf. Process. Lett.
Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
2006 Misc conf
Window Subsequence Problems for Compressed Texts.
CSR
Patrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri V. Matiyasevich
2005 J jnl
On relating CTL to Datalog
CoRR
Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, Eugénie Foustoucos, Irène Guessarian
2003 — conf
From CTL to Datalog.
PCK50
Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, E. Foustoukos, Irène Guessarian
2003 J jnl
On temporal logic versus datalog.
Theor. Comput. Sci.
Irène Guessarian, Eugénie Foustoucos, Theodore Andronikos, Foto N. Afrati
2002 J jnl
Editorial.
J. Log. Comput.
Irène Guessarian
2002 J jnl
The expressiveness of DAC.
Theor. Comput. Sci.
Foto N. Afrati, Irène Guessarian, Michel de Rougemont
2001 J jnl
Window-accumulated subsequence matching problem is linear.
Ann. Pure Appl. Log.
Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
1999 A* conf
Window-Accumulated Subsequence Matching Problem is Linear.
PODS
Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri V. Matiyasevich
1998 J jnl
Transforming Constraint Logic Programs.
Theor. Comput. Sci.
Nacéra Bensaou, Irène Guessarian
1997 J jnl
Fixpoint Semantics of Synchronized Systems and Correctness of Their Basic Transformations.
J. Autom. Lang. Comb.
Jozef Gruska, Irène Guessarian
1997 B conf
The Expressiveness of Datalog Circuits (DAC).
MFCS
Foto N. Afrati, Irène Guessarian, Michel de Rougemont
1995 J jnl
Linearizing Some Recursive Logic Programs.
IEEE Trans. Knowl. Data Eng.
Irène Guessarian, Jean-Eric Pin
1994 J jnl
About Boundedness for Some Datalog and Datalog
J. Log. Comput.
Irène Guessarian, Marcos Veloso Peixoto
1994 C conf
An Extended Transformation System for CLP Programs.
LOPSTR
Nacéra Bensaou, Irène Guessarian
1994 — conf
Correctness of Basic Systolic Systems Transformations.
IFIP Congress (1)
Jozef Gruska, Irène Guessarian
1994 A conf
Transforming Constraint Logic Programs.
STACS
Nacéra Bensaou, Irène Guessarian
1992 B conf
About Boundedness for some DATALOG and DATALOG_neg Programs.
MFCS
Irène Guessarian, Marcos Veloso Peixoto
1992 — ch.
Trees and algebraic semantics.
Tree Automata and Languages
Irène Guessarian
1991 — conf
About Algebras, Fixpoints and Semantics.
AMAST
Irène Guessarian
1990 — conf
About Fixpoints for Concurrency.
Semantics of Systems of Concurrent Processes
Irène Guessarian
1990 A conf
Deciding Boundedness for Uniformly Connected Datalog Programs.
ICDT
Irène Guessarian
1990 — ed.
Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings
Semantics of Systems of Concurrent Processes
Irène Guessarian
1989 J jnl
Fairness and Regularity for Sccs Processes.
RAIRO Theor. Informatics Appl.
Irène Guessarian, Wafaa Niar-Dinedane
1989 J jnl
Fixpoint strategies for deductive databases.
Discret. Appl. Math.
Irène Guessarian
1989 — conf
Improving Fixpoint Toole for Computer Science.
IFIP Congress
Irène Guessarian
1989 J jnl
LITP: Laboratoire D'Informatique theorique et programmation Paris Presentation of scientific activity.
SIGACT News
Irène Guessarian, D. Perrin
1989 J jnl
Translation of Logic Programs into Functional Fixpoint Equations.
Theor. Comput. Sci.
Georges Gardarin, Irène Guessarian, Christophe de Maindreville
1988 J jnl
A Note On Fixpoint Techniques in Data Base Recursive Logic Programs.
RAIRO Theor. Informatics Appl.
Irène Guessarian
1988 — conf
A characterization of fair computations of finite state SCCS processes.
Formal Properties of Finite Automata and Applications
Irène Guessarian
1988 A conf
An Automaton Characterization of Fairness in SCCS.
STACS
Irène Guessarian, Wafaa Niar-Dinedane
1988 J jnl
Fixpoint strategies for deductive databases.
Bull. EATCS
Irène Guessarian
1988 J jnl
On the Minimal Number of * Operators to Model Regularity in Fair SCCS.
Inf. Process. Lett.
Irène Guessarian, Lutz Priese
1987 J jnl
A Unifying Theorem for Algebraic Semantics and Dynamic Logics
Inf. Comput.
Hajnal Andréka, Irène Guessarian, István Németi
1987 J jnl
Algebraic Solutions to Recursion Schemes.
J. Comput. Syst. Sci.
David B. Benson, Irène Guessarian
1987 — conf
Equational Axiomatizations of If-Then-Else.
CTRS
Irène Guessarian
1987 — conf
Notions of fairness for synchronous fork join nets.
Formal Description of Programming Concepts
M. Chadili, Irène Guessarian
1987 J jnl
On the Axiomatization of "If-Then-Else".
SIAM J. Comput.
Irène Guessarian, José Meseguer
1986 J jnl
Fixpoint techniques in data base recursive logic programs.
Bull. EATCS
Irène Guessarian
1985 B conf
A unifying theorem for algebraic semantics and dynamic logics.
FCT
Hajnal Andréka, Irène Guessarian, István Németi
1983 J jnl
Iterative vs. regular factor algebras.
SIGACT News
Irène Guessarian, Francesco Parisi-Presicce
1983 J jnl
Pushdown Tree Automata.
Math. Syst. Theory
Irène Guessarian
1983 J jnl
Survey on classes of interpretations and some of their applications.
SIGACT News
Irène Guessarian
1981 — book
Algebraic Semantics
Irène Guessarian
1981 B conf
Combining T and level-N.
MFCS
Werner Damm, Irène Guessarian
1981 — conf
On Pushdown Tree Automata.
CAAP
Irène Guessarian
1980 — conf
About Program Termination and Simplification.
Symposium on Programming
F. Ermine, Irène Guessarian
1979 — conf
On Continuous Completions.
Theoretical Computer Science
Irène Guessarian
1979 J jnl
Program Transformations and Algebraic Semantics.
Theor. Comput. Sci.
Irène Guessarian
1978 J jnl
A propos de la sémantique de l'appel par valeur selon A. Arnold.
RAIRO Theor. Informatics Appl.
Irène Guessarian
1978 J jnl
On Some Classes of Interpretations.
J. Comput. Syst. Sci.
Bruno Courcelle, Irène Guessarian
1978 B conf
Some Applications of Algebraic Semantics.
MFCS
Irène Guessarian
1977 J jnl
Tests et leur Caractérisation Syntaxique.
RAIRO Theor. Informatics Appl.
Irène Guessarian
1976 A* conf
Semantic Equivalence of Program Schemes and its Syntactic Characterization.
ICALP
Irène Guessarian
1974 — conf
Equivalence dans l'algèbre ds schémas de programmes.
Symposium on Programming
Irène Guessarian