Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
publications [2013/10/21 09:51]
Jan Obdrzalek
publications [2013/10/21 12:03] (current)
Jan Obdrzalek
Line 1: Line 1:
 ====== Publications ====== ====== Publications ======
- 
-**TEST - GENERATED START** 
  
 {{page>​gpub}} {{page>​gpub}}
  
-**TEST - GENERATED END** 
- 
-===== Journals ===== 
- 
-<WRAP pub> 
-==== 2013 ==== 
-<​html>​ 
-<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1076453">​Analyzing probabilistic pushdown automata</​a></​h4>​ 
-<p> 
-<a href="​http://​www.muni.cz/​people/​4074">​BRÁZDIL,​ Tomáš</​a>​ - ESPARZA, Javier - KIEFER, Stefan - <a href="​http://​www.muni.cz/​people/​2508">​KUČERA,​ Antonín</​a>​. <br /> 
-<span class="​pub-info"><​em>​Formal Methods in System Design</​em>,​ Springer Netherlands,​ The Nederlands. ISSN 0925-9856, 2013. </​span>​ 
-</p> 
-<p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1076453">​more</​a></​p> ​ 
- 
-<​h4><​a href="​http://​www.muni.cz/​research/​publications/​1076453">​Analyzing probabilistic pushdown automata</​a></​h4>​ 
-<a href="​http://​www.muni.cz/​people/​4074">​BRÁZDIL,​ Tomáš</​a>​ - ESPARZA, Javier - KIEFER, Stefan - <a href="​http://​www.muni.cz/​people/​2508">​KUČERA,​ Antonín</​a>​. <br /> 
-<span class="​pub-info"><​em>​Formal Methods in System Design</​em>,​ Springer Netherlands,​ The Nederlands. ISSN 0925-9856, 2013. </​span>​ 
-</p> 
-<p class="​more"><​a href="​http://​www.muni.cz/​research/​publications/​1076453">​more</​a></​p> ​ 
-</​html>​ 
-==== 2012 ==== 
- 
-===== Refereed Conference Proceedings ===== 
- 
-==== 2013 ==== 
- 
-==== 2012 ==== 
- 
-===== Other ===== 
- 
-==== 2013 ==== 
  
-==== 2012 ==== 
-</​WRAP>​ 
publications.txt · Last modified: 2013/10/21 12:03 by Jan Obdrzalek