The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ingrid Rewitzky: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chris Brink, Ingrid Rewitzky
    Predicate Relators. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1997, pp:143-156 [Conf]
  2. Ingrid Rewitzky
    Binary Multirelations. [Citation Graph (0, 0)][DBLP]
    Theory and Applications of Relational Structures as Knowledge Instruments, 2003, pp:256-271 [Conf]
  3. Ingrid Rewitzky
    Programs as binary multirelations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1997, pp:257-272 [Conf]
  4. Ingrid Rewitzky
    Duality and simulations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:170- [Conf]
  5. Ingrid Rewitzky, Chris Brink
    Monotone Predicate Transformers as Up-Closed Multirelations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:311-327 [Conf]
  6. Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch
    Relational Semantics Through Duality. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:17-32 [Conf]
  7. Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
    Modelling Nondeterminism. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:228-251 [Conf]
  8. Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky
    Towards Reasoning about Hoare Relations. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1994, v:12, n:3-4, pp:265-289 [Journal]
  9. Chris Brink, Ingrid Rewitzky, Renate A. Schmidt
    Autodescriptivity: Beware! [Citation Graph (0, 0)][DBLP]
    Comput. J., 1991, v:34, n:4, pp:379-381 [Journal]
  10. Ingrid Rewitzky, Chris Brink
    Predicate Transformers as Power Operations. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:2, pp:169-182 [Journal]
  11. Ingrid Rewitzky, Chris Brink
    Unification of Four Versions of Program Semantics. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:1, pp:1-29 [Journal]
  12. Chris Brink, Ingrid Rewitzky
    Finite-Cofinite Program Relations. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:2, pp:153-172 [Journal]
  13. Ewa Orlowska, Ingrid Rewitzky
    Duality via Truth: Semantic frameworks for lattice-based logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:4, pp:467-490 [Journal]
  14. Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
    Modelling angelic and demonic nondeterminism with multirelations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:2, pp:140-158 [Journal]
  15. Ewa Orlowska, Ingrid Rewitzky
    Discrete Duality and Its Applications to Reasoning with Incomplete Information. [Citation Graph (0, 0)][DBLP]
    RSEISP, 2007, pp:51-56 [Conf]

  16. Discrete Duality for Relation Algebras and Cylindric Algebras. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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