Contents:
Jaroslav Kačer – Selected Publications
Here you can find a brief list of selected publications that I produced during my Ph.D. studies back in 2001-2004. Conference papers are not included since they are of limited importance.
Chapters in Books
James F. Power, John T. Waldron (Eds.)
Recent Advances in Java Technology: Theory, Application, Implementation
Chapter 3: Discrete-Time Process-Oriented Simulation with J-Sim
Computer Science Press, Trinity College Dublin, Dublin, Ireland, November 2002, first edition
ISBN 0-9544145-0-0
Pages: 21-30
Language: English
Download: [ PDF | PostScript.ZIP | BibTeX Citation ]
You can buy the book from its distributor: KIVU, 72 Iveagh Gardens, Dublin 12, Ireland. Phone/fax: +353-1-4552077. E-mail: kivu (at) pppj.org. This chapter is a rewritten and extended paper from the PPPJ-2002 conference whose proceedings were later published as a regular book. You can also buy the book at Amazon.
Recent Advances in Java Technology: Theory, Application, Implementation
Chapter 3: Discrete-Time Process-Oriented Simulation with J-Sim
Computer Science Press, Trinity College Dublin, Dublin, Ireland, November 2002, first edition
ISBN 0-9544145-0-0
Pages: 21-30
Language: English
Download: [ PDF | PostScript.ZIP | BibTeX Citation ]
You can buy the book from its distributor: KIVU, 72 Iveagh Gardens, Dublin 12, Ireland. Phone/fax: +353-1-4552077. E-mail: kivu (at) pppj.org. This chapter is a rewritten and extended paper from the PPPJ-2002 conference whose proceedings were later published as a regular book. You can also buy the book at Amazon.
Theses
Jaroslav Kačer
J-Sim – A Java-based Tool for Discrete Simulations
Master's thesis, defended 2001-06-25
University of West Bohemia in Pilsen, Faculty of Applied Sciences, Department of Computer Science and Engineering, Pilsen, Czech Republic, May 2001
Language: English
Download: [ PDF | PostScript.ZIP | BibTeX Citation ]
Now also available at www.kacer.biz/j-sim and www.j-sim.zcu.cz as J-Sim documentation but will undergo major changes.
J-Sim – A Java-based Tool for Discrete Simulations
Master's thesis, defended 2001-06-25
University of West Bohemia in Pilsen, Faculty of Applied Sciences, Department of Computer Science and Engineering, Pilsen, Czech Republic, May 2001
Language: English
Download: [ PDF | PostScript.ZIP | BibTeX Citation ]
Now also available at www.kacer.biz/j-sim and www.j-sim.zcu.cz as J-Sim documentation but will undergo major changes.
Jaroslav Kačer
Simulation-Based Checking of Java Concurrent Programs
Ph.D. Thesis, consigned 2005-01-10, defended 2005-05-27
University of West Bohemia in Pilsen, Faculty of Applied Sciences, Department of Computer Science and Engineering, Pilsen, Czech Republic, January 2005
Language: English
Download: [ PDF | PostScript.ZIP | BibTeX Citation ]
Simulation-Based Checking of Java Concurrent Programs
Ph.D. Thesis, consigned 2005-01-10, defended 2005-05-27
University of West Bohemia in Pilsen, Faculty of Applied Sciences, Department of Computer Science and Engineering, Pilsen, Czech Republic, January 2005
Language: English
Download: [ PDF | PostScript.ZIP | BibTeX Citation ]
Extended abstract of the Ph.D. thesis:
- Ph.D. Thesis Extended Abstract in PDF (A5)
- Ph.D. Thesis Extended Abstract in PostScript (A5)
- Ph.D. Thesis Extended Abstract in PostScript – a ready-for-printing A5 booklet. Format A4; two A5 pages on one A4 page; ready to be printed out on a duplex PostScript printer; the output is a set of two-side A4 sheets; bend and stick together to create an A5 booklet.
Selected Technical Reports
Jaroslav Kačer
Metody paralelního zpracování dat v praxi – vznik a použití v restauračních zařízeních (Methods of Parallel Computing in Practice – Its Discovery and Usage in Pubs)
Technical Report DCSE/TR-2003-99
University of West Bohemia in Pilsen, Faculty of Applied Sciences, Department of Computer Science and Engineering, Pilsen, Czech Republic, December 2003
Language: Czech
Download: [ PDF | PostScript.ZIP | BibTeX Citation ]
Metody paralelního zpracování dat v praxi – vznik a použití v restauračních zařízeních (Methods of Parallel Computing in Practice – Its Discovery and Usage in Pubs)
Technical Report DCSE/TR-2003-99
University of West Bohemia in Pilsen, Faculty of Applied Sciences, Department of Computer Science and Engineering, Pilsen, Czech Republic, December 2003
Language: Czech
Download: [ PDF | PostScript.ZIP | BibTeX Citation ]
Jaroslav Kačer, Stanislav Racek
Simulation-Based RMA
Technical Report DCSE/TR-2005-01
University of West Bohemia in Pilsen, Faculty of Applied Sciences, Department of Computer Science and Engineering, Pilsen, Czech Republic, February 2005
Language: English
Download: [ PDF | PostScript.ZIP | BibTeX Citation ]
Simulation-Based RMA
Technical Report DCSE/TR-2005-01
University of West Bohemia in Pilsen, Faculty of Applied Sciences, Department of Computer Science and Engineering, Pilsen, Czech Republic, February 2005
Language: English
Download: [ PDF | PostScript.ZIP | BibTeX Citation ]
