Dr. Katerina Korenblat

1. K. Korenblat, Z. Volkovich, and A. Bolshoy. Robust classifying of prokaryotic genomes. Computational Biology and Chemistry, N 40, 2012, 20-29.
2. K. Korenblat and Z. Volkovich. Feature selection for microarray data using probability distances. JP Journal of Biostatistics, Volume 7, Issue 1, 2012, 15 – 34.
3. Z. Volkovich, V. Kirzhner, Z. Barzily, S. Hosid and K. Korenblat. A Linguistic Approach to Classification of Bacterial Genomes. Pattern Recognition, 2009.
4. I.B Virbitskaite, E.A Pokozy. Using partial orders to verify time Petri nets. Programming and Computer Software, N 25(1), 1999, 22-33.
5. I.B Virbitskaite, E.A Pokozy. A parametric method for verification of behaviour of time Petri nets. Programming and Computer Software, N 25(4), 1999, 193-203.
6. E.A Pokozy. Behaviour analysis of parametric time Petri nets. Joint Novosibirsk Computing Center and Institute of Informatics Systems Bulletin, Series Computer Science, V. 9, Novosibirsk (1999), 73-89.
7. I.B Virbitskaite, E.A Pokozy. Model Checking of Time Petri Nets. Joint Novosibirsk Computing Center and Institute of Informatics Systems Bulletin, Series Computer Science, V. 7, Novosibirsk (1997), 85-95.

1. K. Pokozy-Korenblat, C. Priami, and P. Quaglia. Performance Analysis of a UML Micro-business Case Study. Proc. Global computing (GC04), LNCS 3267, Springer, 2004.
2. K. Pokozy-Korenblat, C. Priami. Toward extracting -calculus from UML sequence and state diagrams. Electronic Notes in Theoretical Computer Science, 101(C):51-72, 2004. Proceedings of the workshop on Compositional verification of UML models.
3. K. Pokozy-Korenblat, O. Grumberg and S. Katz. Translations Between Textual Transition Systems and Petri Nets. Third International Conference on Integrated Formal Methods (IFM'02), Turku, Finland, May 2002, Springer Verlag, LNCS 2335.
4. I.B Virbitskaite, E.A Pokozy. Parametric Behaviour Analysis for Time Petri Nets. Proc. Parallel Computing Technologies (PaCT-99), September 1999, St.-Petersburg, Russia, LNCS 1664.
5. I.B Virbitskaite, E.A Pokozy. Partial Order Method for Verification of Time Petri Nets. Proc. Foundation of Computation Theory (FCT'99), September 1999, Romania, LNCS 1669.
6. E.A Pokozy. Time analysis of the behaviour of parametric time Petri nets. Proc. UkrProg'98 (1st International conference on practical and theoretical programming), September 1998, Kiev, Ukraine, 109-121.

Abstracts:

1. A.Bolshoy, Z.Volkovich, K.Korenblat. Phylogenomics and robust construction of prokaryotic evolutionary trees. Proceeding of The European Conference on Computational Biology (ECCB10), 2010, Belgium.
2. K. Pokozy-Korenblat, F. Ciocchetta and C. Priami. Formalization of a biological domain with Beta Binders. Proceeding of International Conference of Computational Methods in Sciences and Engineering (ICCMSE’05), 2005.
3. E.A Pokozy. Towards behaviour analysis of parametric time Petri nets. Proc. International Workshop on Discrete Event Systems (WODES'98), August 1998, Cagliari, Italy. The IEE Publisher, London, 1998, 517-518.
4. I.B Virbitskaite, E.A Pokozy. A partial order algorithm for verifying time Petri nets. Proc. International Workshop on Discrete Event Systems (WODES'98), August 1998, Cagliari, Italy, the IEE Publisher, London, 1998, 514-516.
5. I.B Virbitskaite, E.A Pokozy. Towards Efficient Verification of Time Petri Nets. Proc. 4th Workshop on Logic, Language, Information and Computation (WoLLIC'97), August 1997, Fortaleza, Brazil, Logical Journal of IGPL 5(6) Oxford University Press (1997), 921-924.

1. Korenblat, Katerina, Priami, Corrado. Extraction of -calculus specifications from UML sequence and state diagrams. Technical Report DIT-03-007, Informatica e Telecomunicazioni, University of Trento, 2003.
2. E.A Pokozy. Toward Verification of Concurrent Properties of Time Petri Nets. Preprint 61, ISI, Novosibirsk, Russia, 1999.