Ingrid Rewitzky

24 papers B 1Journal 14Unranked 7

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	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. Stud Logica Ingrid Rewitzky
2010	J	`jnl`	Algebras for Galois-style connections and their discrete duality. Fuzzy Sets Syst. Ewa Orlowska, Ingrid Rewitzky
2010	J	`jnl`	Structures with Multirelations, their Discrete Dualities and Applications. Fundam. Informaticae Ivo Düntsch, Ewa Orlowska, Ingrid Rewitzky
2009	—	`conf`	Discrete Duality for Relation Algebras and Cylindric Algebras. RelMiCS Ewa Orlowska, Ingrid Rewitzky
2008	J	`jnl`	Context Algebras, Context Frames, and Their Discrete Duality. Trans. Rough Sets Ewa Orlowska, Ingrid Rewitzky
2008	J	`jnl`	Involutions on Relational Program Calculi. Sci. Ann. Comput. Sci. Ingrid Rewitzky, Jeff W. Sanders
2007	J	`jnl`	Discrete Dualities for Heyting Algebras with Operators. Fundam. Informaticae Ewa Orlowska, Ingrid Rewitzky
2007	—	`conf`	Discrete Duality and Its Applications to Reasoning with Incomplete Information. RSEISP Ewa Orlowska, Ingrid Rewitzky
2007	J	`jnl`	Modelling angelic and demonic nondeterminism with multirelations. Sci. Comput. Program. Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
2006	—	`conf`	Monotone Predicate Transformers as Up-Closed Multirelations. RelMiCS Ingrid Rewitzky, Chris Brink
2005	J	`jnl`	Duality via Truth: Semantic frameworks for lattice-based logics. Log. J. IGPL Ewa Orlowska, Ingrid Rewitzky
2005	—	`conf`	Relational Semantics Through Duality. RelMiCS Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch
2004	B	`conf`	Modelling Nondeterminism. MPC Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
2003	—	`ch.`	Binary Multirelations. Theory and Applications of Relational Structures as Knowledge Instruments Ingrid Rewitzky
2002	J	`jnl`	Three Dual Ontologies. J. Philos. Log. Chris Brink, Ingrid Rewitzky
2001	—	`book`	A paradigm for program semantics - power structures and duality. Chris Brink, Ingrid Rewitzky
1999	J	`jnl`	Finite-Cofinite Program Relations. Log. J. IGPL Chris Brink, Ingrid Rewitzky
1998	—	`conf`	Duality and simulations. RelMiCS Ingrid Rewitzky
1998	J	`jnl`	Unification of Four Versions of Program Semantics. Formal Aspects Comput. Ingrid Rewitzky, Chris Brink
1997	—	`conf`	Predicate Relators. RelMiCS Chris Brink, Ingrid Rewitzky
1997	—	`conf`	Programs as binary multirelations. RelMiCS Ingrid Rewitzky
1995	J	`jnl`	Predicate Transformers as Power Operations. Formal Aspects Comput. Ingrid Rewitzky, Chris Brink
1994	J	`jnl`	Towards Reasoning about Hoare Relations. Ann. Math. Artif. Intell. Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky
1991	J	`jnl`	Autodescriptivity: Beware! Comput. J. Chris Brink, Ingrid Rewitzky, Renate A. Schmidt