swMATH798MaRDI QIDQ13546FDOQ13546
scientific article; zbMATH DE number Author name (Why is no real title available?)
Official website: http://www.informatik.uni-kiel.de/~progsys/relview/
Cited In (only showing first 100 items - show all)
- Applying relation algebra and RelView to solve problems on orders and lattices
- Tool-Based Verification of a Relational Vertex Coloring Program
- Solving quantifier-free first-order constraints over finite sets and binary relations
- Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
- Embedding mappings and splittings with applications
- 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
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Mitigating covert channels based on analysis of the potential for communication
- Social Software for Coalition Formation
- A relation-algebraic approach to the ``Hoare logic of functional dependencies
- Computing minimal extending sets by relation-algebraic modeling and development
- Gunther Schmidt's life as a mathematician and computer scientist
- Multirelations with infinite computations
- Spatial voting games, relation algebra and RelView
- Exponential Lower Bounds on the Space Complexity of OBDD-Based Graph Algorithms
- Contact, closure, topology, and the linking of row and column types of relations
- Exact computation of minimum feedback vertex sets with relational algebra
- Column-wise extendible vector expressions and the relational computation of sets of sets
- Relation-algebraic modeling and solution of chessboard independence and domination problems
- Relational measures and integration in preference modeling
- Relation-algebraic verification of Prim's minimum spanning tree algorithm
- Implementing relational specifications in a constraint functional logic language
- Verifying minimum spanning tree algorithms with Stone relation algebras
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- Relational Methods in Computer Science
- Computational social choice using relation algebra and RelView
- Social networks: prestige, centrality, and influence (invited paper)
- Computations on simple games using \texttt{RelView}
- Cardinality of relations with applications
- Cardinality functions in allegories
- Control of Condorcet voting: complexity and a relation-algebraic approach
- Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem
- Cardinality of relations and relational approximation algorithms
- Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
- Solving hard control problems in voting systems via integer programming
- Relation algebras and their application in temporal and spatial reasoning
- Relation Algebra and RelView Applied to Approval Voting
- Prover9
- ARA
- Ralf
- Rath
- RALL
- TituRel
- Algebraic Visualization of Relations Using RelView
- KURE
- An interdisciplinary approach to coalition formation
- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView
- Computing and Visualizing Closure Objects Using Relation Algebra and RelView
- Ampersand
- TBAG
- Stone Kleene
- Stone Algebras
- Algorithm 97
- LatDraw
- Kleene Algebra
- Relation Algebra
- Applying relation algebra and RelView to measures in a social network
- On automated program construction and verification
- An efficient relational deductive system for propositional non-classical logics
- An algebraic framework for minimum spanning tree problems
- Orders, lattices and relations with applications
- Title not available (Why is no real title available?)
- Ordnungen, Verbände und Relationen mit Anwendungen
- Automated verification of relational while-programs
- Modal algebra and Petri nets
- Relation algebra, RelView, and plurality voting
- On the use of binary decision diagrams for solving problems on simple games
- Relations in linear algebra
- Computing tournament solutions using relation algebra and RelView
- Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView
- Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
- Relation-algebraic specification and solution of special university timetabling problems
- Relational depth-first-search with applications
- A relation-algebraic approach to simple games
- Stone relation algebras
- On the Analysis of Petri Nets and their Synthesis from Process Languages
- Relation-algebraic computation of fixed points with applications
- Applying relational algebra and REL VIEW to coalition formation
- Relations as images
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
- Relational Methods in Computer Science
- A functional, successor list based version of Warshall's algorithm with applications
- Simple rectangle-based functional programs for computing reflexive-transitive closures
- 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
- A relation-algebraic approach to liveness of place/transition nets
- Software Development in Relation Algebra with Ampersand
- A set solver for finite set relation algebra
- German parliamentary elections 2009 from the viewpoint of direct democracy
- An alternative model of the formation of political coalitions
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams
- Title not available (Why is no real title available?)
- State space analysis of Petri nets with relation-algebraic methods
- Investigating and computing bipartitions with algebraic means
- Efficient computation of the large inductive dimension using order- and graph-theoretic means
- Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces
- A Generic Program for Minimal Subsets with Applications
- Cryptomorphic topological structures: a computational, relation-algebraic approach
- Multi-objective Problems in Terms of Relational Algebra
This page was built for software: RelView
