Henrikas Pranevicius

According to our database, Henrikas Pranevicius authored at least 13 papers between 1998 and 2014.

Collaborative distances:

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

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

Fuzzy Rule Base Generation Using Discretization of Membership Functions and Neural Network.

Henrikas Pranevicius, Tadas Kraujalis, Germanas Budnikas, Vytautas Pilkauskas

Proceedings of the Information and Software Technologies - 20th International Conference, 2014

2013

Behavior Analysis of Real-Time Systems Using PLA Method.

Dalius Makackas, Regina Miseviciene, Henrikas Pranevicius

Proceedings of the Information and Software Technologies - 19th International Conference, 2013

2012

Applications of Finite Linear Temporal Logic to Piecewise Linear Aggregates.

Henrikas Pranevicius, Stanislovas Norgela

Informatica, 2012

2011

Complexity of Embedded Chain Algorithm for Computing steady State Probabilities of Markov Chain.

Henrikas Pranevicius, Eimutis Valakevicius, Mindaugas Snipas

Inf. Technol. Control., 2011

2010

Multistage K-Means Clustering for Scenario Tree Construction.

Kristina Sutiene, Dalius Makackas, Henrikas Pranevicius

Informatica, 2010

2007

Scenario Generation Employing Copulas.

Kristina Sutiene, Henrikas Pranevicius

Proceedings of the World Congress on Engineering, 2007

2006

Creation Simulation Models of Complex Systems Using Piece-linear Aggregare Formalism.

Henrikas Pranevicius

Proceedings of the 2006 International Conference on Modeling, 2006

Development and Analysis of a Problem Domain Knowledge Base Oriented to PLA Specifications.

Henrikas Pranevicius, Germanas Budnikas

Proceedings of the Knowledge-Based Software Engineering, 2006

2003

Creation of ESTELLE/Ag Specifications Using Knowledge Bases.

Henrikas Pranevicius, Germanas Budnikas

Informatica, 2003

2002

The use UML and aggregate approach for developing Klaipeda oil simulation model.

Henrikas Pranevicius, Vytautas Pilkauskas, Dalius Makackas

Proceedings of the Simulation und Visualisierung 2002 (SimVis 2002), 28. Februar, 2002

2001

The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems.

Henrikas Pranevicius

Proceedings of the Advances in Databases and Information Systems, 2001

1998

Formal specification and analysis of distributed systems.

Henrikas Pranevicius

J. Intell. Manuf., 1998