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