@InProceedings{,
  author =	{M. Kurkowski, O. Siedlecka-Lamch, P. Dudek},
  title = 	{Using Backward Induction Techniques in (Timed) Security Protocols Verification},
  booktitle = 	{Proceedings of 12th International Conference Computer Information Systems and Industral Management, CISIM 2013},
  pages =	{265 -- 276},
  yesr = 	{2013},
  volume =	{8104},
  series = 	{Lecture Notes in Computer Science}
  publisher =   {Springer}
}



@InProceedings{,
  author = 	 {O. Siedlecka-Lamch and M. Kurkowski and H. Piech},
  title = 	 {A New Effective Approach for Modelling and Verification of Security Protocols},
  booktitle = 	 {Proceedings of 21th international Workshop on Concurrency, Specification and Programming, CS&P 2012},
  pages = 	 {191 -- 201},
  year = 	 {2012},
  volume = 	 {1},
  publisher =    {Humboldt University Press, Berlin, Germany}
}


@InProceedings{,
  author = 	 {H. Piech and O. Siedlecka-Lamch},
  title = 	 {Parallel Quantum Algorithm for Finding the Consistency of Saaty's Matrices},
  booktitle = 	 {Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011},
  pages = 	 {102 -- 111},
  year = 	 {2012},
  volume = 	 {7203},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer}
}


@InProceedings{,
  author = 	 {H. Piech and O. Siedlecka-Lamch},
  title = 	 {Interval Probabilities of State Transitions in Probabilistic Automata},
  booktitle =    {Artificial Intelligence and Soft Computing, 11th International Conference, ICAISC 2012},
  pages = 	 {688 -- 696},
  year = 	 {2012},
  volume = 	 {7268},
  series = 	 {Lecture Notes in Artificial Intelligence},
  publisher =    {Springer}
}
 
@article{SL11bis,
  author = 	{O. Siedlecka-Lamch},
  title = 	{A Bisimulation Relation for Selected Types of Probabilistic and Quantum Automata},
  journal =     {Prace Naukowe Akademii im. Jana Dlugosza w Czestochowei, Matemtyka},
  year = 	{2011},  
  number =	{16},
  pages = 	{135--140}
}


@article{SL10minim,
  author = 	{O. Siedlecka-Lamch},
  title = 	{A Minimization Algorithm of 1-way Quantum Finite Automata},
  journal =     {Metody Informatyki Stosowanej},
  year = 	{2010},  
  volume = 	{25},
  number =	{4},
  pages = 	{73--79}
}


              
@inproceedings{S08algo,
  author = 	{O. Siedlecka},
  title = 	{Algorytm minimalizacji jednokierunkowego, skoczonego automatu kwantowego},
  booktitle =   {FCCS 2008, 4th Polish and International PD Forum-Conference on Computer Science},  
  year = 	{2008},
  note =        {CD-ROM}
}
	      
@article{KMLS08onto,
  author = 	{S. Kryvyi and L. Matveyeva and E. Lukianova and O. Siedlecka},
  title = 	{Ontology View on Automata Theory},
  journal =     {International Journal Information Theories and Applications},
  year = 	{2008},  
  volume = 	{15},
  number =	{4},
  pages = 	{337--344}
}
			      
@inproceedings{KMLS07onto,
  author = 	{S. Kryvyi and L. Matveyeva and E. Lukianova and O. Siedlecka},
  title = 	{Ontologiczne spojrzenie na teorie automatow},   
  booktitle =   {Proc. of 13--th International Conference KDS--2007 (Knowledge--Dialog--Solution)},
  pages = 	{427--436},
  year = 	{2007},
  volume = 	{2},
  address =     {Sofia}
}					
					
@article{S06brief,
  author =      {O. Siedlecka},
  title =       {A Brief Overview of Quantum Computing Theory},
  journal =     {Computing, Multimedia and Intelligent Techniques},
  year =        {2006},
  volume =      {2},
  number =      {1},
  pages =       {35--44}
}