- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j13 |      | Ewa Orlowska, Ingrid Rewitzky: Algebras for Galois-style connections and their discrete duality. Fuzzy Sets and Systems 161(9): 1325-1342 (2010) |
| j12 | | Ivo Düntsch, Ewa Orlowska, Ingrid Rewitzky: Structures with Multirelations, their Discrete Dualities and Applications. Fundam. Inform. 100(1-4): 77-98 (2010) |
| 2009 | ||
| c9 | | Ewa Orlowska, Ingrid Rewitzky: Discrete Duality for Relation Algebras and Cylindric Algebras. RelMiCS 2009: 291-305 |
| 2008 | ||
| j11 | | Ingrid Rewitzky, Jeff W. Sanders: Involutions on Relational Program Calculi. Sci. Ann. Comp. Sci. 18: 129-171 (2008) |
| j10 | | Ewa Orlowska, Ingrid Rewitzky: Context Algebras, Context Frames, and Their Discrete Duality. T. Rough Sets 9: 212-229 (2008) |
| 2007 | ||
| j9 | | Ewa Orlowska, Ingrid Rewitzky: Discrete Dualities for Heyting Algebras with Operators. Fundam. Inform. 81(1-3): 275-295 (2007) |
| j8 | | Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky: Modelling angelic and demonic nondeterminism with multirelations. Sci. Comput. Program. 65(2): 140-158 (2007) |
| c8 | | Ewa Orlowska, Ingrid Rewitzky: Discrete Duality and Its Applications to Reasoning with Incomplete Information. RSEISP 2007: 51-56 |
| 2006 | ||
| c7 | | Ingrid Rewitzky, Chris Brink: Monotone Predicate Transformers as Up-Closed Multirelations. RelMiCS 2006: 311-327 |
| 2005 | ||
| j7 | | Ewa Orlowska, Ingrid Rewitzky: Duality via Truth: Semantic frameworks for lattice-based logics. Logic Journal of the IGPL 13(4): 467-490 (2005) |
| c6 | | Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch: Relational Semantics Through Duality. RelMiCS 2005: 17-32 |
| 2004 | ||
| c5 | | |
| 2003 | ||
| c4 | | Ingrid Rewitzky: Binary Multirelations. Theory and Applications of Relational Structures as Knowledge Instruments 2003: 256-271 |
| 2002 | ||
| j6 | | |
| 1999 | ||
| j5 | | Chris Brink, Ingrid Rewitzky: Finite-Cofinite Program Relations. Logic Journal of the IGPL 7(2): 153-172 (1999) |
| 1998 | ||
| j4 | | Ingrid Rewitzky, Chris Brink: Unification of Four Versions of Program Semantics. Formal Asp. Comput. 10(1): 1-29 (1998) |
| c3 |  | |
| 1997 | ||
| c2 | | |
| c1 | | |
| 1995 | ||
| j3 | | Ingrid Rewitzky, Chris Brink: Predicate Transformers as Power Operations. Formal Asp. Comput. 7(2): 169-182 (1995) |
| 1994 | ||
| j2 | | Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky: Towards Reasoning about Hoare Relations. Ann. Math. Artif. Intell. 12(3-4): 265-289 (1994) |
| 1991 | ||
| j1 | | Chris Brink, Ingrid Rewitzky, Renate A. Schmidt: Autodescriptivity: Beware! Comput. J. 34(4): 379-381 (1991) |
| 1 | Chris Brink | |
| 2 | Sharon A. Curtis | |
| 3 | Stéphane Demri | |
| 4 | Ivo Düntsch | |
| 5 | Clare E. Martin | |
| 6 | Ewa Orlowska | |
| 7 | Jeff W. Sanders (Jeffrey W. Sanders) | |
| 8 | Renate A. Schmidt |
Colors in the list of coauthors
Last update Sun May 19 09:06:25 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page