Henrikas Pranevicius

Publication Activity (10 Years)

Years Active: 1998-2014
Publications (10 Years): 0

Top Topics

Fuzzy Partitions

Top Venues

Inf. Technol. Control.

Publications

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