Loop program synthesis using array traversing modules - Vytautas Cyras (Forschungsberichte, TU Munich, 1988)

Data Dependence in Nested Loops in the Structural Blanks Approach to Programming with Recurrences. - Vytautas Cyras (Informatica, 1998)

Recurrences in Solving Triangular Systems of Linear Equations: Representation in the Structural Blanks Method. - Vytautas Cyras (Informatica, 1999)

On formalisation of the goal concept in law. - Vytautas Cyras (Eng. Appl. Artif. Intell., 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)

Transparent Complexity by Goals. - Vytautas Cyras; Friedrich Lachmayer (EGOV, 2008)

Learning Support and Legally Ruled Collaboration in the VirtualLife Virtual World Platform. - Vytautas Cyras; Kristina Lapin (ADBIS (Workshops), 2009)

Transforming Legal Rules into Online Virtual World Rules: A Case Study in the VirtualLife Platform. - Vytautas Cyras (UCMedia, 2009)

Visualization of Airport Procedures in Time Critical Decision Support Systems. - Kristina Lapin; Vytautas Cyras; Laura Saviciene (DB&IS, 2010)

Technical Rules and Legal Rules in Online Virtual Worlds. - Vytautas Cyras; Friedrich Lachmayer (Eur. J. Law Technol., 2010)

Formulating the Enterprise Architecture Compliance Problem. - Vytautas Cyras; Reinhard Riedl (DB&Local Proceedings, 2012)

Compliance and Software Transparency for the Design of Legal Machines. - Vytautas Cyras; Friedrich Lachmayer (DB&IS, 2014)

Logic Oriented Methods for Structuring in the Context of Lawmaking. - Vytautas Cyras; Friedrich Lachmayer (Logic in the Theory and Practice of Lawmaking, 2015)

Structural Legal Visualization. - Vytautas Cyras; Friedrich Lachmayer; Kristina Lapin (Informatica, 2015)

Views to Legal Information Systems and Legal Sublevels. - Vytautas Cyras; Friedrich Lachmayer; Erich Schweighofer (ICIST, 2016)

Formalising Taboo as a Prohibition on Informing. - Vytautas Cyras; Friedrich Lachmayer (Doctoral Consortium/Forum@DB&IS, 2018)

Visualization of Legal Informatics. - Friedrich Lachmayer; Vytautas Cyras (JURIX, 2021)