Formal specification and analysis of distributed systems. - Henrikas Pranevicius (J. Intell. Manuf., 1998)

The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems. - Henrikas Pranevicius (ADBIS, 2001)

The use UML and aggregate approach for developing Klaipeda oil simulation model. - Henrikas Pranevicius; Vytautas Pilkauskas; Dalius Makackas (SimVis, 2002)

Creation of ESTELLE/Ag Specifications Using Knowledge Bases. - Henrikas Pranevicius; Germanas Budnikas (Informatica, 2003)

Development and Analysis of a Problem Domain Knowledge Base Oriented to PLA Specifications. - Henrikas Pranevicius; Germanas Budnikas (JCKBSE, 2006)

Creation Simulation Models of Complex Systems Using Piece-linear Aggregare Formalism. - Henrikas Pranevicius (MSV, 2006)

Scenario Generation Employing Copulas. - Kristina Sutiene; Henrikas Pranevicius (World Congress on Engineering, 2007)

Multistage K-Means Clustering for Scenario Tree Construction. - Kristina Sutiene; Dalius Makackas; Henrikas Pranevicius (Informatica, 2010)

Complexity of Embedded Chain Algorithm for Computing steady State Probabilities of Markov Chain. - Henrikas Pranevicius; Eimutis Valakevicius; Mindaugas Snipas (Inf. Technol. Control., 2011)

Applications of Finite Linear Temporal Logic to Piecewise Linear Aggregates. - Henrikas Pranevicius; Stanislovas Norgela (Informatica, 2012)

Behavior Analysis of Real-Time Systems Using PLA Method. - Dalius Makackas; Regina Miseviciene; Henrikas Pranevicius (ICIST, 2013)

Fuzzy Rule Base Generation Using Discretization of Membership Functions and Neural Network. - Henrikas Pranevicius; Tadas Kraujalis; Germanas Budnikas; Vytautas Pilkauskas (ICIST, 2014)

Continuous Time Markov Chain Models of Voltage Gating of Gap Junction Channels. - Henrikas Pranevicius; Mindaugas Pranevicius; Osvaldas Pranevicius; Mindaugas Snipas; Nerijus Paulauskas; Feliksas F. Bukauskas (Inf. Technol. Control., 2014)