RelView
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Relations and Kleene algebra in computer science. 11th international conference on relational methods in computer science, RelMiCS 2009, and 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1--5, 2009. Proceedings
- Applying relation algebra and RelView to measures in a social network
- Evaluation of German parties and coalitions by methods of the mathematical theory of democracy
- Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem
- Relational depth-first-search with applications
- A set solver for finite set relation algebra
- Cryptomorphic topological structures: a computational, relation-algebraic approach
- Prover9
- Relation algebras and their application in temporal and spatial reasoning
- Relation algebra as programming language using the Ampersand compiler
- An algebraic framework for minimum spanning tree problems
- On the use of binary decision diagrams for solving problems on simple games
- Relation-algebraic modeling and solution of chessboard independence and domination problems
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
- Verifying minimum spanning tree algorithms with Stone relation algebras
- TituRel
- Rath
- Ralf
- ARA
- RALL
- Computing tournament solutions using relation algebra and RelView
- Axiomatizing the logical core of XPath 2.0
- Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces
- Solving quantifier-free first-order constraints over finite sets and binary relations
- Modal algebra and Petri nets
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
- An interdisciplinary approach to coalition formation
- Relations in linear algebra
- German parliamentary elections 2009 from the viewpoint of direct democracy
- An alternative model of the formation of political coalitions
- Relations and Kleene algebra in computer science. 10th international conference on relational methods in computer science, and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7--11, 2008. Proceedings
- State space analysis of Petri nets with relation-algebraic methods
- Experimental investigation of sufficient criteria for relations to have kernels
- Relation-algebraic verification of Borůvka's minimum spanning tree algorithm
- Modeling sequences within the RelView system
- KURE
- Implementing relational specifications in a constraint functional logic language
- Relation algebra, RelView, and plurality voting
- Simple rectangle-based functional programs for computing reflexive-transitive closures
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams
- Column-wise extendible vector expressions and the relational computation of sets of sets
- Social networks: prestige, centrality, and influence (invited paper)
- Relational Modelling and Solution of Chessboard Problems
- A functional, successor list based version of Warshall's algorithm with applications
- A Generic Program for Minimal Subsets with Applications
- Computations on simple games using \texttt{RelView}
- Ordnungen, Verbände und Relationen mit Anwendungen
- Relation-algebraic verification of Prim's minimum spanning tree algorithm
- Control of Condorcet voting: complexity and a relation-algebraic approach
- Solving hard control problems in voting systems via integer programming
- Ampersand
- TBAG
- Investigating and computing bipartitions with algebraic means
- Tool-Based Verification of a Relational Vertex Coloring Program
- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
- Multi-objective Problems in Terms of Relational Algebra
- Algebraic Visualization of Relations Using RelView
- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView
- Orders, lattices and relations with applications
- Exponential Lower Bounds on the Space Complexity of OBDD-Based Graph Algorithms
- On automated program construction and verification
- Computing and Visualizing Closure Objects Using Relation Algebra and RelView
- An efficient relational deductive system for propositional non-classical logics
- Computational social choice using relation algebra and RelView
- A relation-algebraic approach to liveness of place/transition nets
- Contact relations with applications
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
- Stone Kleene
- Stone Algebras
- scientific article; zbMATH DE number 176533 (Why is no real title available?)
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- Computing minimal extending sets by relation-algebraic modeling and development
- Spatial voting games, relation algebra and RelView
- Multirelations with infinite computations
- A relation-algebraic approach to the ``Hoare logic of functional dependencies
- Gunther Schmidt's life as a mathematician and computer scientist
- LatDraw
- Algorithm 97
- scientific article; zbMATH DE number 1210360 (Why is no real title available?)
- Relation algebra with multi-relations
- Relation Algebra
- Kleene Algebra
- scientific article; zbMATH DE number 1953899 (Why is no real title available?)
- scientific article; zbMATH DE number 1953900 (Why is no real title available?)
- On the Analysis of Petri Nets and their Synthesis from Process Languages
- scientific article; zbMATH DE number 1390243 (Why is no real title available?)
- Efficient computation of the large inductive dimension using order- and graph-theoretic means
- First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth
- Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
- Relations as images
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
- Stone relation algebras
- Software Development in Relation Algebra with Ampersand
- Social Software for Coalition Formation
- Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
- Mitigating covert channels based on analysis of the potential for communication
- Relational construction of specific timetables
- Automated verification of relational while-programs
- Relation Algebra and RelView Applied to Approval Voting
- Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView
This page was built for software: RelView
