prof. RNDr. Ivana Černá, CSc. | Masaryk University
www.muni.cz
Academic Senate, Masaryk University, Faculty of Informatics. Doctoral Committee, Informatics. Internal Evaluation Board, Masaryk University. Research Ethics Committee, Masaryk University. Scientific Board, Masaryk University, Faculty of Informatics ...
Ivana CERNA | Professor | Masaryk University, Brno | MUNI ...
www.researchgate.net
Ivana CERNA, Professor | Cited by 1,317 | of Masaryk University, Brno (MUNI) | Read 105 publications | Contact Ivana CERNA
Program Committee
onlinepresent.org
Ecole des Mines de Nantes, France. Zbigniew Huzar. Wroclaw University of Technology Poland. Ivana Cerna. Masaryk University Czech Republic. Radu Dobrin.
Preface
www.swt-bamberg.de
Ivana Cerna, Co-chair (Masaryk University, Czech Republic) ... Ivana Cerná and Gerald Lüttgen. This paper is electronically published in ...
From sescobar at dsic.upv.es Sun Jan 2 07:51: From ...
mail.haskell.org
... The increased complexity of Web sites and the explosive growth of Web-based ... PROGRAMME COMITTEE (provisional) o Ivana Cerna, Masaryk University Brno, Czech Republic ...
Google Groups: [Caml-list] MTCoord'05: First call for papers
: ... Czech Republic o Isabelle Linden, University of Namur, Belgium PROGRAMME COMITTEE (provisional) o Ivana Cerna, Masaryk University Brno, Czech Republic o ...
Google Groups: [isabelle] CfP for 9th International Workshop on Formal Engineering ...
: PROGRAMME COMMITTEE * Ivana Cerna (Masaryk University
Google Groups: [isabelle] Deadline Extension: FESCA 2012,Tallinn, Estonia
: PROGRAMME COMMITTEE * Ivana Cerna (Masaryk University
[Hol-info] MEMICS CfP : Deadlines extended
www.mail-archive.com
General Chair Zdenek Kotasek, Brno University of Technology Programme Committee Co-Chairs Jan Bouda, Masaryk University Ivana Cerna, ...
All web results to the name "Ivana Cerna"
Ivana Cerna - Google Scholar
scholar.google.cz
Ivana Cerna. Masaryk University, Brno, Czech Republic. Verified email at fi.muni.cz - Homepage. Formal verification and synthesis. Articles Cited by Public access Co-authors. Title. Sort. Sort by citations Sort by year Sort by title. Cited by. Cited by. Year; DiVinE – A Tool for Distributed Verification. J Barnat, L Brim, I Černá, P Moravec, P Ročkai, P Šimeček . International ...
Ivana Cerna - Citazioni di Google Scholar
scholar.google.com
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Email verificata su fi.muni.cz. Krishnendu ChatterjeeProfessor, IST AustriaEmail verificata su ist.ac.at. Hong-Wu MaTianjin Institute of Industrial Biotechnology, CASEmail verificata su tib.cas.cn. Segui. Ivana Cerna. Masaryk University, Brno, Czech ...
Ivana Cerna - Google Scholar Citations
scholar.google.com.br
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz. Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at. Hong-Wu MaTianjin Institute of Industrial Biotechnology, CASVerified email at tib.cas.cn. Follow. Ivana Cerna. Masaryk University, Brno, Czech ...
Ivana Cerna - Citas de Google Académico
scholar.google.cl
Seguir nuevos artículos. Seguir nuevas citas. Crear alerta. Cancelar. Ivana Cerna. Masaryk University, Brno, Czech Republic. Formal verification and synthesis.
Ivana Cerna A ResearcherID.com
www.researcherid.com
ResearcherID: A URL: http://www.researcherid.com/rid/A ORCID: http://orcid.org My Institutions (more details). Primary Institution: Masaryk University. Sub-org/Dept: Role: Researcher (Academic). My Publications. My Publications (55). View Publications; Citation Metrics ...
FESCA Workshops: Call for Papers - FESCA 2010
fesca.ipd.kit.edu
Ivana Cerna (Masaryk University, Czech Republic) Kenneth Chan (King's College London, UK) Martin Fraenzle (University of Oldenburg, Germany) ...
SENVA Meeting
vasy.inria.fr
Jiri Barnat (Masaryk University Brno) – joint work with Lubos Brim, Ivana Cerna, and Pavel Simecek. DiVinE and DiVinE within ...
Ivana Cerna - Google विद्वान उद्धरण
scholar.google.co.in
ईमेल. नए लेखों का अनुसरण करें. नए उद्धरणों का अनुसरण करें. अलर्ट बनाएं रहने दें. Ivana Cerna. Masaryk University, Brno, Czech Republic.
Ivana Cerna - Παραθέσεις Μελετητή Google
scholar.google.gr
Ivana Cerna. Masaryk University, Brno, Czech Republic. Formal verification and synthesis. Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ...
[PVS] FESCA @ ETAPS nd CfP
pvs.csl.sri.com
INVITED SPEAKER Ivana Cerna (Masaryk University, Czech Republic) Title: Formal Verification of Component Interactions - Motivation, Methods & Challenges ...
[TYPES/announce] Parallel and Distributed Methods in...
lists.seas.upenn.edu
Jaco van de Pol Jaco.van.de.Pol at cwi.nl. Mon Feb :13:36 EST ... Behrmann (Aalborg University, Denmark) * Ivana Cerna (Masaryk University, Brno, Czech ...
[TYPES] MTCoord'05: First call for papers
lists.seas.upenn.edu
Isabelle Linden ili at info.fundp.ac.be. Tue Jan 4 12:17:28 EST PROGRAMME COMITTEE (provisional) o Ivana Cerna, Masaryk University Brno, Czech ...
[Haskell] MTCoord'05: Second call for papers
mail.haskell.org
Isabelle Linden ili at info.fundp.ac.be. Thu Feb :16:40 EST Belgium PROGRAMME COMITTEE (provisional) o Ivana Cerna, Masaryk University ...
Comp.compilers: MTCoord'05: First call for papers (Belgium, Apr 05)
compilers.iecc.com
From comp.compilers newsgroup: MTCoord'05: First call for papers (Belgium, Apr 05) ... o Ivana Cerna, Masaryk University Brno, Czech Republic. o Giorgio Delzanno, University of ...
Related search requests for Ivana Cerna
| Ľuboš Masaryk Antonie Bucharova |
Person "Cerna" (1) Forename "Ivana" (8097) Name "Cerna" (1721) |
sorted by relevance / date