Get started
Author

Irène Guessarian

Algebraic semantics
1981 · Irène Guessarian · Lecture notes in computer science · 214
Fields of Logic and Computation
2010 · Guessarian, Irene, Cégielski, Patrick · Lecture notes in computer science · 46
Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings
1990 · Irène Guessarian · Springer eBooks · 43
Window Subsequence Problems for Compressed Texts
2006 · Patrick Cégielski, Irène Guessarian, et al. · Lecture notes in computer science · 31
On the Axiomatization of “If-Then-Else”
1987 · Irène Guessarian, José Meseguer · SIAM Journal on Computing · 27
On some classes of interpretations
1978 · Bruno Courcelle, Irène Guessarian · Journal of Computer and System Sciences · 26
Window-accumulated subsequence matching problem is linear
1999 · Luc Boasson, Patrick Cegielski, et al. · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · 17
Transforming constraint logic programs
1998 · N. Bensaou, I. Guessarian · Theoretical Computer Science · 17
PDF
Combining T and level-N
1981 · W. Damm, I. Guessarian · Lecture notes in computer science · 15
Newton representation of functions over natural integers having integral difference ratios
2015 · Patrick Cégielski, Serge Grigorieff, et al. · International Journal of Number Theory · 14
PDF
Deciding boundedness for uniformly connected Datalog programs
1990 · Irène Guessarian · Lecture notes in computer science · 14
Algebraic solutions to recursion schemes
1987 · David B. Benson, Irène Guessarian · Journal of Computer and System Sciences · 12
Program transformations and algebraic semantics
1979 · Irène Guessarian · Theoretical Computer Science · 12
PDF
On continuous completions
1979 · Irène Guessarian · Lecture notes in computer science · 12
On pushdown tree automata
1981 · Irène Guessarian · Lecture notes in computer science · 11
Window-accumulated subsequence matching problem is linear
2001 · Luc Boasson, Patrick Cegielski, et al. · Annals of Pure and Applied Logic · 10
Multiple serial episodes matching
2006 · Patrick Cégielski, Irène Guessarian, et al. · Information Processing Letters · 9
PDF
Les tests et leur caractérisation syntaxique
1977 · Irène Guessarian · RAIRO Informatique théorique · 9
PDF
Semantic Equivalence of Program Schemes and its Syntactic Characterization.
1976 · Irène Guessarian · International Colloquium on Automata, Languages and Programming · 9
Transforming constraint logic programs
1994 · N. Bensaou, I. Guessarian · Lecture notes in computer science · 7
Some Fixpoint Techniques in Algebraic Structures and Applications to Computer Science
1989 · IRÈNE GUESSARIAN · Elsevier eBooks · 6
Iterative and recursive matrix theories
1984 · David B Benson, Irène Guessarian · Journal of Algebra · 6
On lattices of regular sets of natural integers closed under decrementation
2013 · Patrick Cégielski, Serge Grigorieff, et al. · Information Processing Letters · 5
An automaton characterization of fairness in SCCS
2006 · Irène Guessarian, Wafaa Niar-Dinedane · Springer eBooks · 5
On temporal logic versus datalog
2003 · Irène Guessarian, Eugénie Foustoucos, et al. · Theoretical Computer Science · 5
PDF
Works count: 132
Citation count: 681
H-index: 12
I10-index: 16
Year
Topic
Type