Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Ana Sokolova: Papers

Generic Trace Theory
Together with Ichiro Hasuo and Bart Jacobs
To appear in Proceedings of CMCS'06. ENTCS. Download (pdf) Abstract
Coalgebraic analysis of probabilistic systems
PhD thesis, september 2005, defended 3-11-2005. Download (pdf) bibtex more-info
On compositions and paths for coalgebras
Technical report CSR-05-26, TU Eindhoven, 2005. 23pp. Download (pdf) Download (ps)
Weak bisimulation for action-type coalgebras
Together with Erik de Vink and Harald Woracek
Proceedings of CTCS'04. ENTCS 122 (2005) p.211-228. Download (pdf) Abstract
Weak bisimulation for action-type coalgebras
Together with Erik de Vink and Harald Woracek
Technical report CSR-04-16, TU Eindhoven. 43pp. Download (pdf) Abstract bibtex
Slightly extended version available on the following link (50pp). Download-extended (ps)
A hierarchy of probabilistic system types
Together with Falk Bartels and Erik de Vink
Extended version of the CMCS'03 paper with the same title. Theoretical Computer Science 327 (2004) 3-22. Download preprint (ps) Abstract bibtex
Probabilistic automata: system types, parallel composition and comparison
Together with Erik de Vink
Validation of Stochastic Systems. C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen and M. Siegle, editors. LNCS 2925 (2004) 1-43. Download preprint (ps) Abstract bibtex
On relational properties of lumpability
Together with Erik de Vink
Proceedings of the 4th PROGRESS symposium on embedded systems, Utrecht, 22nd of October 2003. Download (pdf) Abstract bibtex
A hierarchy of probabilistic system types
Together with Falk Bartels and Erik de Vink
Proceedings of CMCS'03, ENTCS 82(1), 19pp. Download (pdf) Abstract bibtex
Algebraic representation of bisimulation for the tagh format
Together with Erik de Vink
Eindhoven University of Technology, Technical Report CSR-02-02, 2002. Download (ps) Abstract bibtex

During the period spent at the Institute of Informatics, Skopje, Macedonia:

On groupoids with identity x(xy) = y
Together with Smile Markovski and Lidija Goracinova Ilieva
Quasigroups and related systems 11 (2004), 39-54. Download (ps) Abstract
On semigroups defined by the identity xxy = y
Together with Smile Markovski and Lidija Goracinova Ilieva
Public. de l'Inst. Matem. Belgrade(in print). Download (ps) Abstract
Free groupoids defined by the identity (xy)y = yx
Together with Smile Markovski and Lidija Goracinova Ilieva
Proc. of the 10th Cong. Yugosl. Mathem., Belgrade, 21-24.01.2001, 173-176. Download (ps) Abstract
On the functional equation A(x, B(x,y)) = y in the variety of groupoids
Together with Smile Markovski and Lidija Goracinova Ilieva
A Tribute to S. B. Presic, A. Krapez ed., Mat. Inst., Belgrade, 2001, 84-88. Download (ps) Abstract
Free Steiner loops
Together with Smile Markovski
Glasnik Matematicki Vol. 36 (56) (2001), 85 - 93. Download (ps) Abstract
Term rewriting system for solving the word problem for Steiner loops
Together with Smile Markovski
Matem. Bilt. 24 (L), Skopje 2000, 7-18. Download (ps) Abstract
Free basic process algebra
Together with Smile Markovski
Contributions to general algebra 11, Proc. of the Olomouc Conf. and the Summer School 1998, Klagenfurt (1999), 145-150 Download (ps) Abstract
Word problems
Master thesis (in Macedonian), St Cyril and Methodious University, Skopje, Macedonia, 1999. Download (ps)

back home