Travelled to:1 × Spain
1 × USA
Collaborated with:T.Skopal J.Barnat L.Brim I.Cerná P.Rockai P.Simecek
Talks about:distribut (1) search (1) modifi (1) metric (1) method (1) effici (1) access (1) verif (1) model (1) tool (1)
Person: Pavel Moravec
DBLP: Moravec:Pavel
Contributed to:
2006
2005Wrote 2 papers:
- CAV-2006-BarnatBCMRS #distributed #named #verification
- DiVinE — A Tool for Distributed Verification (JB, LB, IC, PM, PR, PS), pp. 278–281.
- ECIR-2005-SkopalM #data access #metric #performance
- Modified LSI Model for Efficient Search by Metric Access Methods (TS, PM), pp. 245–259.