Petr Bauch

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2013
i1		Jiri Barnat, Petr Bauch: Control Explicit---Data Symbolic Model Checking: An Introduction. CoRR abs/1303.7379 (2013)
	2012
j1		Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Designing fast LTL model checking algorithms for many-core GPUs. J. Parallel Distrib. Comput. 72(9): 1083-1097 (2012)
c5		Jiri Barnat, Petr Bauch, Lubos Brim: Checking Sanity of Software Requirements. SEFM 2012: 48-62
	2011
c4		Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Computing Strongly Connected Components in Parallel on CUDA. IPDPS 2011: 544-555
c3		Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Computing Optimal Cycle Mean in Parallel on CUDA. PDMC 2011: 68-83
	2010
c2		Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Employing Multiple CUDA Devices to Accelerate LTL Model Checking. ICPADS 2010: 259-266
c1		Petr Bauch, Milan Ceska: CUDA Accelerated LTL Model Checking - Revisited. MEMICS 2010: 1-8

Coauthor Index

Last update Thu May 23 04:03:45 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page