The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Irène Guessarian: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Irène Guessarian
    Deciding Boundedness for Uniformly Connected Datalog Programs. [Citation Graph (5, 11)][DBLP]
    ICDT, 1990, pp:395-405 [Conf]
  2. Irène Guessarian
    About Algebras, Fixpoints and Semantics. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:497-528 [Conf]
  3. Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, E. Foustoukos, Irène Guessarian
    From CTL to Datalog. [Citation Graph (0, 0)][DBLP]
    PCK50, 2003, pp:72-85 [Conf]
  4. Irène Guessarian
    On Pushdown Tree Automata. [Citation Graph (0, 0)][DBLP]
    CAAP, 1981, pp:211-223 [Conf]
  5. Patrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri Matiyasevich
    Window Subsequence Problems for Compressed Texts. [Citation Graph (0, 0)][DBLP]
    CSR, 2006, pp:127-136 [Conf]
  6. Irène Guessarian
    Equational Axiomatizations of If-Then-Else. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:98-110 [Conf]
  7. Hajnal Andréka, Irène Guessarian, István Németi
    A unifying theorem for algebraic semantics and dynamic logics. [Citation Graph (0, 0)][DBLP]
    FCT, 1985, pp:8-17 [Conf]
  8. Irène Guessarian
    Semantic Equivalence of Program Schemes and its Syntactic Characterization. [Citation Graph (0, 0)][DBLP]
    ICALP, 1976, pp:189-200 [Conf]
  9. Jozef Gruska, Irène Guessarian
    Correctness of Basic Systolic Systems Transformations. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:315-321 [Conf]
  10. Irène Guessarian
    Improving Fixpoint Toole for Computer Science. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:1109-1114 [Conf]
  11. Irène Guessarian
    A characterization of fair computations of finite state SCCS processes. [Citation Graph (0, 0)][DBLP]
    Formal Properties of Finite Automata and Applications, 1988, pp:234-248 [Conf]
  12. Irène Guessarian
    About Fixpoints for Concurrency. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:358-374 [Conf]
  13. N. Bensaou, Irène Guessarian
    An Extended Transformation System for CLP Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:17-35 [Conf]
  14. Foto N. Afrati, Irène Guessarian, Michel de Rougemont
    The Expressiveness of Datalog Circuits (DAC). [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:119-128 [Conf]
  15. Werner Damm, Irène Guessarian
    Combining T and level-N. [Citation Graph (0, 0)][DBLP]
    MFCS, 1981, pp:262-270 [Conf]
  16. Irène Guessarian
    Some Applications of Algebraic Semantics. [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:257-266 [Conf]
  17. Irène Guessarian, Marcos Veloso Peixoto
    About Boundedness for some DATALOG and DATALOG_neg Programs. [Citation Graph (0, 0)][DBLP]
    MFCS, 1992, pp:284-297 [Conf]
  18. Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
    Window-Accumulated Subsequence Matching Problem is Linear. [Citation Graph (0, 16)][DBLP]
    PODS, 1999, pp:327-336 [Conf]
  19. F. Ermine, Irène Guessarian
    About Program Termination and Simplification. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1980, pp:123-135 [Conf]
  20. Irène Guessarian
    Equivalence dans l'algèbre ds schémas de programmes. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1974, pp:204-220 [Conf]
  21. N. Bensaou, Irène Guessarian
    Transforming Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    STACS, 1994, pp:33-46 [Conf]
  22. Irène Guessarian, Wafaa Niar-Dinedane
    An Automaton Characterization of Fairness in SCCS. [Citation Graph (0, 0)][DBLP]
    STACS, 1988, pp:356-372 [Conf]
  23. Irène Guessarian
    On Continuous Completions. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1979, pp:142-152 [Conf]
  24. Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
    Window-accumulated subsequence matching problem is linear. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:113, n:1-3, pp:59-80 [Journal]
  25. Irène Guessarian
    Fixpoint techniques in data base recursive logic programs. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1986, v:29, n:, pp:32-34 [Journal]
  26. Irène Guessarian
    Fixpoint strategies for deductive databases. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1988, v:35, n:, pp:128-136 [Journal]
  27. Hajnal Andréka, Irène Guessarian, István Németi
    A Unifying Theorem for Algebraic Semantics and Dynamic Logics [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1987, v:72, n:1, pp:31-45 [Journal]
  28. Irène Guessarian, Lutz Priese
    On the Minimal Number of * Operators to Model Regularity in Fair SCCS. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1988, v:29, n:6, pp:297-300 [Journal]
  29. Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
    Multiple serial episodes matching. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:98, n:6, pp:211-218 [Journal]
  30. Irène Guessarian
    Tests et leur Caractérisation Syntaxique. [Citation Graph (0, 0)][DBLP]
    ITA, 1977, v:11, n:2, pp:133-156 [Journal]
  31. Irène Guessarian
    A propos de la sémantique de l'appel par valeur selon A. Arnold. [Citation Graph (0, 0)][DBLP]
    ITA, 1978, v:12, n:4, pp:- [Journal]
  32. Irène Guessarian
    A Note On Fixpoint Techniques in Data Base Recursive Logic Programs. [Citation Graph (0, 0)][DBLP]
    ITA, 1988, v:22, n:1, pp:49-56 [Journal]
  33. Irène Guessarian, Wafaa Niar-Dinedane
    Fairness and Regularity for Sccs Processes. [Citation Graph (0, 0)][DBLP]
    ITA, 1989, v:23, n:1, pp:59-86 [Journal]
  34. Jozef Gruska, Irène Guessarian
    Fixpoint Semantics of Synchronized Systems and Correctness of Their Basic Transformations. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 1997, v:2, n:2, pp:93-134 [Journal]
  35. David B. Benson, Irène Guessarian
    Algebraic Solutions to Recursion Schemes. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:35, n:3, pp:365-400 [Journal]
  36. Bruno Courcelle, Irène Guessarian
    On Some Classes of Interpretations. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1978, v:17, n:3, pp:406-431 [Journal]
  37. Irène Guessarian
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:2, pp:215- [Journal]
  38. Irène Guessarian, Marcos Veloso Peixoto
    About Boundedness for Some Datalog and Datalogneg Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:4, pp:375-403 [Journal]
  39. Irène Guessarian
    Pushdown Tree Automata. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1983, v:16, n:4, pp:237-263 [Journal]
  40. Irène Guessarian, José Meseguer
    On the Axiomatization of ``If-Then-Else''. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1987, v:16, n:2, pp:332-357 [Journal]
  41. Foto N. Afrati, Irène Guessarian, Michel de Rougemont
    The expressiveness of DAC. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:286, n:1, pp:3-32 [Journal]
  42. N. Bensaou, Irène Guessarian
    Transforming Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:206, n:1-2, pp:81-125 [Journal]
  43. Georges Gardarin, Irène Guessarian, Christophe de Maindreville
    Translation of Logic Programs into Functional Fixpoint Equations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:63, n:3, pp:253-274 [Journal]
  44. Irène Guessarian
    Program Transformations and Algebraic Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1979, v:9, n:, pp:39-65 [Journal]
  45. Irène Guessarian, Eugénie Foustoucos, Theodore Andronikos, Foto N. Afrati
    On temporal logic versus datalog. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:303, pp:103-133 [Journal]
  46. Irène Guessarian, Jean-Eric Pin
    Linearizing Some Recursive Logic Programs. [Citation Graph (0, 13)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1995, v:7, n:1, pp:137-149 [Journal]
  47. Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
    Multiple serial episode matching [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  48. Ahmed Ait-Bouziad, Irène Guessarian, Laurent Vieille
    Automatic generation of simplified weakest preconditions for integrity constraint verification [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  49. Eugénie Foustoucos, Irène Guessarian
    Complexity of Monadic inf-datalog. Application to temporal logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  50. Normalization of Some Extended Abstract State Machines. [Citation Graph (, )][DBLP]


  51. On relating CTL to Datalog [Citation Graph (, )][DBLP]


  52. Fixpoint strategies for deductive databases. [Citation Graph (, )][DBLP]


Search in 1.609secs, Finished in 1.610secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002