P. Moravec

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
How to order vertices for distributed LTL model-checking based on accepting predecessors	2013-09-26	Paper
Distributed partial order reduction of state spaces	2013-09-25	Paper
Free-molecular gas flow in channels (pores) with physicochemical transformations on the surface International Journal of Heat and Mass Transfer	2010-06-30	Paper
Relatively complemented -lattices	2006-11-21	Paper
String Processing and Information Retrieval Lecture Notes in Computer Science	2006-10-24	Paper
Formal Methods in Computer-Aided Design Lecture Notes in Computer Science	2006-10-20	Paper
Growth and evaporation of aerosol particles in the presence of adsorbable gases International Journal of Heat and Mass Transfer	2003-02-13	Paper
Effect of electromagnetic fields on transfer processes in heterogeneous systems. International Journal of Heat and Mass Transfer	2001-07-08	Paper
Trapping of impurity molecules in condensation from mixtures of gases International Journal of Heat and Mass Transfer	2000-05-25	Paper

Research outcomes over time

This page was built for person: P. Moravec