Ingrid Rewitzky

According to our database1, Ingrid Rewitzky authored at least 22 papers between 1991 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Structures with Multirelations, their Discrete Dualities and Applications.
Fundam. Inform., 2010

Algebras for Galois-style connections and their discrete duality.
Fuzzy Sets and Systems, 2010

2009
Discrete Duality for Relation Algebras and Cylindric Algebras.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008
Context Algebras, Context Frames, and Their Discrete Duality.
Trans. Rough Sets, 2008

Involutions on Relational Program Calculi.
Sci. Ann. Comp. Sci., 2008

2007
Modelling angelic and demonic nondeterminism with multirelations.
Sci. Comput. Program., 2007

Discrete Dualities for Heyting Algebras with Operators.
Fundam. Inform., 2007

Discrete Duality and Its Applications to Reasoning with Incomplete Information.
Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

2006
Monotone Predicate Transformers as Up-Closed Multirelations.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005
Duality via Truth: Semantic frameworks for lattice-based logics.
Logic Journal of the IGPL, 2005

Relational Semantics Through Duality.
Proceedings of the Relational Methods in Computer Science, 2005

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

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

2002
Three Dual Ontologies.
J. Philosophical Logic, 2002

1999
Finite-Cofinite Program Relations.
Logic Journal of the IGPL, 1999

1998
Unification of Four Versions of Program Semantics.
Formal Asp. Comput., 1998

Duality and simulations.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997
Programs as binary multirelations.
Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Predicate Relators.
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.
Formal Asp. Comput., 1995

1994
Towards Reasoning about Hoare Relations.
Ann. Math. Artif. Intell., 1994

1991
Autodescriptivity: Beware!
Comput. J., 1991


  Loading...