Ingrid Rewitzky

According to our database, Ingrid Rewitzky authored at least 24 papers between 1991 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Joanna Golińska-Pilarek and Michał Zawidzki, (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, Series: Outstanding Contributions to Logic, Vol. 17 2018, pp. 502.

Ingrid Rewitzky

Stud Logica, 2021

2010

Structures with Multirelations, their Discrete Dualities and Applications.

Ivo Düntsch, Ewa Orlowska, Ingrid Rewitzky

Fundam. Informaticae, 2010

Algebras for Galois-style connections and their discrete duality.

Ewa Orlowska, Ingrid Rewitzky

Fuzzy Sets Syst., 2010

2009

Discrete Duality for Relation Algebras and Cylindric Algebras.

Ewa Orlowska, Ingrid Rewitzky

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Context Algebras, Context Frames, and Their Discrete Duality.

Ewa Orlowska, Ingrid Rewitzky

Trans. Rough Sets, 2008

Involutions on Relational Program Calculi.

Ingrid Rewitzky, Jeff W. Sanders

Sci. Ann. Comput. Sci., 2008

2007

Modelling angelic and demonic nondeterminism with multirelations.

Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky

Sci. Comput. Program., 2007

Discrete Dualities for Heyting Algebras with Operators.

Ewa Orlowska, Ingrid Rewitzky

Fundam. Informaticae, 2007

Discrete Duality and Its Applications to Reasoning with Incomplete Information.

Ewa Orlowska, Ingrid Rewitzky

Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

2006

Monotone Predicate Transformers as Up-Closed Multirelations.

Ingrid Rewitzky, Chris Brink

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

Duality via Truth: Semantic frameworks for lattice-based logics.

Ewa Orlowska, Ingrid Rewitzky

Log. J. IGPL, 2005

Relational Semantics Through Duality.

Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch

Proceedings of the Relational Methods in Computer Science, 2005

2004

Modelling Nondeterminism.

Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2003

Binary Multirelations.

Ingrid Rewitzky

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

2002

Three Dual Ontologies.

Chris Brink, Ingrid Rewitzky

J. Philos. Log., 2002

2001

A paradigm for program semantics - power structures and duality.

Chris Brink, Ingrid Rewitzky

Studies in logic, language and information 17, CSLI Publications, ISBN: 978-1-57586-344-3, 2001

1999

Finite-Cofinite Program Relations.

Chris Brink, Ingrid Rewitzky

Log. J. IGPL, 1999

1998

Unification of Four Versions of Program Semantics.

Ingrid Rewitzky, Chris Brink

Formal Aspects Comput., 1998

Duality and simulations.

Ingrid Rewitzky

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Programs as binary multirelations.

Ingrid Rewitzky

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Predicate Relators.

Chris Brink, Ingrid Rewitzky

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

1995

Predicate Transformers as Power Operations.

Ingrid Rewitzky, Chris Brink

Formal Aspects Comput., 1995

1994

Towards Reasoning about Hoare Relations.

Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky

Ann. Math. Artif. Intell., 1994

1991

Autodescriptivity: Beware!

Chris Brink, Ingrid Rewitzky, Renate A. Schmidt

Comput. J., 1991