Papers

(see also my DBLP entry or my PubMed entry or my technical reports)
To the top


Technical reports

  • M. Bojańczyk, S. Lasota, Minimization of semilinear automata.
    Research Report arXiv:cs.LO/arXiv:1210.4980, 2012.

  • S. Lasota, M. Poturalski, Undecidability of performance equivalence of Petri nets.
    Research Report arXiv:cs.CC/0910.5819v1, 2009.
    [ PDF ]

  • S. Lasota, D. Nowak, and Y. Zhang. On completeness of logical relations for monadic types.
    Research Report arXiv:cs.LO/0612106, 2006.

  • Froeschle, S., Lasota, S. Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. The full version.
    Technical Report 280, Institute of Informatics, Warsaw University, 2005.
    [ postscript ]

  • Jean Goubault-Larrecq, Slawomir Lasota, David Nowak Logical Relations for Monadic Types. The full version.
    Research Report LSV-04-13, Lab. Specification and Verification, ENS Cachan, France, June 2004.
    [ postscript ]

  • Jean Goubault-Larrecq, Slawomir Lasota, David Nowak, Yu Zhang Complete lax logical relations for cryptographic lambda-calculi.
    Research Report LSV-04-4, Lab. Specification and Verification, ENS Cachan, France, February 2004.
    [ postscript ]

  • S. Lasota. A polynomial-time algorithm for deciding true concurrency equivalences of Basic Parallel Processes.
    Research Report LSV-02-13, Lab. Specification and Verification, ENS Cachan, France, September 2002.
    [ gzipped postscript ]

  • Koronacki, J., Lasota, S., Niemiro, W. Position Emission Tomography by Markov Chain Monte Carlo with Auxiliary Variables: A Basic Algorithm.
    Technical Report 884 IPI PAN, 1999.

  • Dietzfelbinger, M., Gambin, A., Lasota, S. On Different Models for Packet Flow in Multistage Interconnection Networks.
    Technical report 97-11(248), Institute of Informatics, Warsaw University, 1997.
    [ gzipped postscript ]

  • Lasota, S. Open Maps as a Bridge between Algebraic Observational Equivalence and Bisimilarity. The full version.
    Technical report 97-12(249), Institute of Informatics, Warsaw University, 1997.
    [ gzipped postscript ]