Vytautas Cyras

According to our database, Vytautas Cyras authored at least 17 papers between 1988 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Visualization of Legal Informatics.

Friedrich Lachmayer, Vytautas Cyras

Proceedings of the Legal Knowledge and Information Systems, 2021

2018

Formalising Taboo as a Prohibition on Informing.

Vytautas Cyras, Friedrich Lachmayer

Proceedings of the Joint Proceedings of Baltic DB&IS 2018 Conference Forum and Doctoral Consortium co-located with the 13th International Baltic Conference on Databases and Information Systems (Baltic DB&IS 2018), 2018

2016

Views to Legal Information Systems and Legal Sublevels.

Vytautas Cyras, Friedrich Lachmayer, Erich Schweighofer

Proceedings of the Information and Software Technologies - 22nd International Conference, 2016

2015

Structural Legal Visualization.

Vytautas Cyras, Friedrich Lachmayer, Kristina Lapin

Informatica, 2015

Logic Oriented Methods for Structuring in the Context of Lawmaking.

Vytautas Cyras, Friedrich Lachmayer

Proceedings of the Logic in the Theory and Practice of Lawmaking, 2015

2014

Compliance and Software Transparency for the Design of Legal Machines.

Vytautas Cyras, Friedrich Lachmayer

Proceedings of the Databases and Information Systems VIII, 2014

2012

Formulating the Enterprise Architecture Compliance Problem.

Vytautas Cyras, Reinhard Riedl

Proceedings of the Local Proceedings and Materials of Doctoral Consortium of the Tenth International Baltic Conference on Databases and Information Systems, 2012

2010

Technical Rules and Legal Rules in Online Virtual Worlds.

Vytautas Cyras, Friedrich Lachmayer

Eur. J. Law Technol., 2010

Visualization of Airport Procedures in Time Critical Decision Support Systems.

Kristina Lapin, Vytautas Cyras, Laura Saviciene

Proceedings of the Databases and Information Systems VI, 2010

2009

Transforming Legal Rules into Online Virtual World Rules: A Case Study in the VirtualLife Platform.

Vytautas Cyras

Proceedings of the User Centric Media - First International Conference, 2009

Learning Support and Legally Ruled Collaboration in the VirtualLife Virtual World Platform.

Vytautas Cyras, Kristina Lapin

Proceedings of the Advances in Databases and Information Systems, 2009

2008

Transparent Complexity by Goals.

Vytautas Cyras, Friedrich Lachmayer

Proceedings of the Electronic Government, 7th International Conference, 2008

2007

Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loops.

Vytautas Cyras

Informatica, 2007

On formalisation of the goal concept in law.

Vytautas Cyras

Eng. Appl. Artif. Intell., 2007

1999

Recurrences in Solving Triangular Systems of Linear Equations: Representation in the Structural Blanks Method.

Vytautas Cyras

Informatica, 1999

1998

Data Dependence in Nested Loops in the Structural Blanks Approach to Programming with Recurrences.

Vytautas Cyras

Informatica, 1998

1988

Loop program synthesis using array traversing modules

Vytautas Cyras

Forschungsberichte, TU Munich, 1988