Search results for "RelView"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	Agnieszka Rusinowska, Rudolf Berghammer, Patrik Eklund, Jan-Willem van der Rijt, Marc Roubens, Harrie C. M. de Swart	Social Software for Coalition Formation.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF	stable government, MacBeth, RelView, social choice rule, graph theory, consensus, relational algebra, bargaining
91	Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska	Computational Social Choice Using Relation Algebra and RelView.	RelMiCS	2009	DBLP DOI BibTeX RDF
71	Rudolf Berghammer, Gunther Schmidt 0001	Algebraic Visualization of Relations Using RelView.	CASC	2007	DBLP DOI BibTeX RDF
50	Rudolf Berghammer, Bernd Braßel	Computing and Visualizing Closure Objects Using Relation Algebra and RelView.	CASC	2009	DBLP DOI BibTeX RDF
50	Rudolf Berghammer	Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelView.	RelMiCS	2006	DBLP DOI BibTeX RDF
50	Rudolf Berghammer, Renate A. Schmidt	Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
50	Rudolf Berghammer	Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView.	CASC	2006	DBLP DOI BibTeX RDF
50	Rudolf Berghammer, Frank Neumann 0001	RelView - An OBDD-Based Computer Algebra System for Relations.	CASC	2005	DBLP DOI BibTeX RDF
50	Rudolf Berghammer, Gunther Schmidt 0001, Michael Winter 0001	RelView and Rath - Two Systems for Dealing with Relations.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
41	Rudolf Berghammer, Britta Kehden	Relational Construction of Specific Timetables.	OR	2007	DBLP DOI BibTeX RDF
41	Brahim Chaib-draa	Causal Maps: Theory, Implementation, and Practical Applications in Multiagent Environments.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	tools and supports, causal maps, agent and multiagent systems, Decision support, cognitive maps, knowledge base management
30	Rudolf Berghammer, Michael Winter 0001	Solving computational tasks on finite topologies by means of relation algebra and the RelView tool.	J. Log. Algebraic Methods Program.	2017	DBLP DOI BibTeX RDF
30	Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart	Spatial voting games, relation algebra and RelView.	J. Log. Algebraic Methods Program.	2014	DBLP DOI BibTeX RDF
30	Rudolf Berghammer, Nikita Danilenko, Henning Schnoor	Relation Algebra and RelView Applied to Approval Voting.	RAMiCS	2014	DBLP DOI BibTeX RDF
30	Rudolf Berghammer	Relation Algebra, RelView, and Plurality Voting.	CASC	2014	DBLP DOI BibTeX RDF
30	Rudolf Berghammer	Computing and visualizing banks sets of dominance relations using relation algebra and RelView.	J. Log. Algebraic Methods Program.	2013	DBLP DOI BibTeX RDF
30	Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart	Computing tournament solutions using relation algebra and RelView.	Eur. J. Oper. Res.	2013	DBLP DOI BibTeX RDF
30	Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart	Computations on Simple Games Using RelView.	CASC	2011	DBLP DOI BibTeX RDF
30	Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart	Applying relation algebra and RelView to measures in a social network.	Eur. J. Oper. Res.	2010	DBLP DOI BibTeX RDF
30	Michael Winter 0001	Generating Processes from Specifications using the Relation Manipulation System RelView.	RelMiS	2001	DBLP DOI BibTeX RDF
30	Rudolf Berghammer, Thorsten Hoffmann	Modeling Sequences within the RelView System.	J. Univers. Comput. Sci.	2001	DBLP DOI BibTeX RDF
30	Rudolf Berghammer	Using RELVIEW to solve problems on relation-based discrete structures.	RelMiCS	1998	DBLP BibTeX RDF
30	Ralf Behnke 0003, Rudolf Berghammer, Erich Meyer, Peter Schneider	RELVIEW - A System for Calculating With Relations and Relational Programming.	FASE	1998	DBLP DOI BibTeX RDF
30	Rudolf Berghammer, Burghard von Karger, Christiane Ulke	Realtion-Algebraic Analysis of Petri Nets with RELVIEW.	TACAS	1996	DBLP DOI BibTeX RDF
30	Rudolf Berghammer, Gunther Schmidt 0001	RELVIEW - A Computer System for the Manipulation of Relations.	AMAST	1993	DBLP BibTeX RDF
30	Rudolf Berghammer, Gunther Schmidt 0001	The RELVIEW-System.	STACS	1991	DBLP DOI BibTeX RDF
20	Rudolf Berghammer	Applying relation algebra and Rel View to solve problems on orders and lattices.	Acta Informatica	2008	DBLP DOI BibTeX RDF
20	Rudolf Berghammer, Britta Kehden	Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables.	RelMiCS	2008	DBLP DOI BibTeX RDF
20	Rudolf Berghammer, Ulf Milanese	Relational Approach to Boolean Logic Problems.	RelMiCS	2005	DBLP DOI BibTeX RDF
20	Alexander Fronk, Jörg Pleumann	On Relational Cycles.	RelMiCS	2005	DBLP DOI BibTeX RDF
20	Rudolf Berghammer, Alexander Fronk	Applying Relational Algebra in 3D Graphical Software Design.	RelMiCS	2003	DBLP DOI BibTeX RDF
20	Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese	Implementation of Relational Algebra Using Binary Decision Diagrams.	RelMiCS	2001	DBLP DOI BibTeX RDF