The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gilles Bernot: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gilles Bernot
    Testing Against Formal Specifications: A Theoretical View. [Citation Graph (1, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:99-119 [Conf]
  2. Gilles Bernot
    Abstract Implementation with Exception Handling. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  3. Gilles Bernot
    Correctness Proofs for Abstract Implementations. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  4. Gilles Bernot, Michel Bidoit
    Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:216-239 [Conf]
  5. Gilles Bernot, Sophie Coudert, Pascale Le Gall
    Towards Heterogeneous Formal Specification. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:458-472 [Conf]
  6. Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
    A Formal Approach to Software Testing. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:243-253 [Conf]
  7. Adrien Richard, Jean-Paul Comet, Gilles Bernot
    Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States. [Citation Graph (0, 0)][DBLP]
    CMSB, 2004, pp:58-72 [Conf]
  8. Gilles Bernot, Pascale Le Gall
    Label Algebras: A Systematic Use of Terms. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1991, pp:144-163 [Conf]
  9. Gilles Bernot
    Good Functors... are Those Preserving Philosophy. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:182-195 [Conf]
  10. Gilles Bernot, Michel Bidoit, Christine Choppy
    Algebraic Semantics of Exception Handling. [Citation Graph (0, 0)][DBLP]
    ESOP, 1986, pp:173-186 [Conf]
  11. Gilles Bernot, Michel Bidoit, Teodor Knapik
    Towards an Adequate Notion of Observation. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:39-55 [Conf]
  12. Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux
    Delays in Biological Regulatory Networks (BRN). [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (2), 2006, pp:887-894 [Conf]
  13. Gilles Bernot, Laurent Bouaziz, Pascale Le Gall
    A Theory of Probabilistic Functional Testing. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:216-226 [Conf]
  14. Christine Collet, Khalid Belhajjame, Gilles Bernot, Christophe Bobineau, Gennaro Bruno, Béatrice Finance, Fabrice Jouanot, Zoubida Kedad, David Laurent, Fariza Tahi, Genoveva Vargas-Solar, Tuyet-Trinh Vu, Xiaohui Xue
    Towards a Mediation System Framework for Transparent Access to Largely Distributed Sources. The MediaGrid Project. [Citation Graph (0, 0)][DBLP]
    ICSNW, 2004, pp:65-78 [Conf]
  15. Vincent Bassano, Gilles Bernot
    Marked Regulatory Graphs: A Formal Framework to Simulate Biological Regulatory Networks with Simple Automata. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2003, pp:93-99 [Conf]
  16. Gilles Bernot, Michel Bidoit, Christine Choppy
    Abstract Implementations and Correctness Proofs. [Citation Graph (0, 0)][DBLP]
    STACS, 1986, pp:236-251 [Conf]
  17. Gilles Bernot, Pascale Le Gall
    Exception Handling and Term Labelling. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:421-436 [Conf]
  18. Sophie Coudert, Gilles Bernot, Pascale Le Gall
    Hierarchical Heterogeneous Specifications. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:107-121 [Conf]
  19. Gilles Bernot, Michel Bidoit, Teodor Knapik
    Behavioural Approaches to Algebraic Specifications: A Comparative Study. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1994, v:31, n:7, pp:651-671 [Journal]
  20. Adrien Richard, Jean-Paul Comet, Gilles Bernot
    R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:65, n:4, pp:373-392 [Journal]
  21. Gilles Bernot
    Correctness Proofs for Abstract Implementation [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:80, n:2, pp:121-151 [Journal]
  22. Gilles Bernot, Pascale Le Gall, Marc Aiguier
    Label Algebras and Exception Handling. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:23, n:2-3, pp:227-286 [Journal]
  23. Gilles Bernot, Michel Bidoit, Christine Choppy
    Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:46, n:3, pp:13-45 [Journal]
  24. Gilles Bernot, Michel Bidoit, Teodor Knapik
    Observational Specifications and the Indistinguishability Assumption. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:139, n:1&2, pp:275-314 [Journal]
  25. Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier Roux
    Semantics of Biological Regulatory Networks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:3, pp:3-14 [Journal]

  26. On the Use of Temporal Formal Logic to Model Gene Regulatory Networks. [Citation Graph (, )][DBLP]


  27. Evaluation of time profile reconstruction from complex two-color microarray designs. [Citation Graph (, )][DBLP]


  28. Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa. [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.020secs
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