Henrikas Pranevicius

13 papers C 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2014 J jnl
Continuous Time Markov Chain Models of Voltage Gating of Gap Junction Channels.
Inf. Technol. Control.
Henrikas Pranevicius, Mindaugas Pranevicius, Osvaldas Pranevicius, Mindaugas Snipas, Nerijus Paulauskas, Feliksas F. Bukauskas
2014 — conf
Fuzzy Rule Base Generation Using Discretization of Membership Functions and Neural Network.
ICIST
Henrikas Pranevicius, Tadas Kraujalis, Germanas Budnikas, Vytautas Pilkauskas
2013 — conf
Behavior Analysis of Real-Time Systems Using PLA Method.
ICIST
Dalius Makackas, Regina Miseviciene, Henrikas Pranevicius
2012 J jnl
Applications of Finite Linear Temporal Logic to Piecewise Linear Aggregates.
Informatica
Henrikas Pranevicius, Stanislovas Norgela
2011 J jnl
Complexity of Embedded Chain Algorithm for Computing steady State Probabilities of Markov Chain.
Inf. Technol. Control.
Henrikas Pranevicius, Eimutis Valakevicius, Mindaugas Snipas
2010 J jnl
Multistage K-Means Clustering for Scenario Tree Construction.
Informatica
Kristina Sutiene, Dalius Makackas, Henrikas Pranevicius
2007 — conf
Scenario Generation Employing Copulas.
World Congress on Engineering
Kristina Sutiene, Henrikas Pranevicius
2006 — conf
Creation Simulation Models of Complex Systems Using Piece-linear Aggregare Formalism.
MSV
Henrikas Pranevicius
2006 — conf
Development and Analysis of a Problem Domain Knowledge Base Oriented to PLA Specifications.
JCKBSE
Henrikas Pranevicius, Germanas Budnikas
2003 J jnl
Creation of ESTELLE/Ag Specifications Using Knowledge Bases.
Informatica
Henrikas Pranevicius, Germanas Budnikas
2002 — conf
The use UML and aggregate approach for developing Klaipeda oil simulation model.
SimVis
Henrikas Pranevicius, Vytautas Pilkauskas, Dalius Makackas
2001 C conf
The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems.
ADBIS
Henrikas Pranevicius
1998 J jnl
Formal specification and analysis of distributed systems.
J. Intell. Manuf.
Henrikas Pranevicius