Antonín Kucera - Free People Check with News, Pictures & Links

	Raleigh Republic Brno Plzen

	Computer Science Jan Krcal Vojtech Forejt Jan Kretínský Masaryk University Tomás Brázdil

Images of Antonín Kucera

(1 - 9 from 55 –show all)

News

Papers accepted to IEEE's Logic in Computer Science conference

www.cs.ox.ac.uk

Papers accepted to IEEE's Logic in Computer Science conference

New leadership of the EATCS

www.eatcs.org

European Association for Theoretical Computer Science

Telephone & Addresses

(1 - 4 from 5

–show all

)

Antonin Kucera, …go, US, N Albany

View Antonín's social profiles and photos on Facebook, MySpace, and +40 Networks.

Antonin Kucera, Raleigh, US, Circlebank Dr, Unit 7218

View Antonín's social profiles and photos on Facebook, MySpace, and +40 Networks.

Antonin Kucera, 53, Raleigh, US, Gumwood Ln

View Antonín's social profiles and photos on Facebook, MySpace, and +40 Networks.

Antonin Kucera, Raleigh, US, Myron Dr

View Antonín's social profiles and photos on Facebook, MySpace, and +40 Networks.

Network Profiles

(1 - 4 from 7

–show all

)

ICQ User Antonin Kucera (Antonio)

, Male, Age: 34, Plzen, Country: Czech Rep., Hobby: Travel, Parties, Computers, Music, English, Czech, Spanish

DBLife: Antonín Kucera

dblife.cs.wisc.edu

Antonín Kucera Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo! News Archive. Sorted by Year/Conf, Year/Citation, Citation. Community Statistics ...

prof. RNDr. Antonín Kučera, Ph.D. | Masaryk University

www.muni.cz

Computer Science. office: C438 Botanická a Brno. Show on the map ...

Interests

Antonin Kucera chess games and profile - Chess-DB.com

chess-db.com

Chess player profile of Antonin Kucera: Chess Games, Play Style, Ranking, Tournament History and Community comments.

Business Profiles

Antonín Kucera | Masaryk University, Brno | MUNI ...

www.researchgate.net

Antonín Kucera of Masaryk University | MUNI is on ResearchGate. Read 137 publications and contact Antonín Kucera on ResearchGate, the professional network for ...

ResearchGate

www.researchgate.net

ResearchGate is a network dedicated to science and research. Connect, collaborate and discover scientific publications, jobs and conferences. All for free.

Private Homepages

Antonín Kučera - Data Analyst at Livesport

antoninkucera.cz

I'm web and data enthusiasts from Prague. I like all about data, analytics, online marketing, R language, BI etc.

Contact data PaedDr. Antonin Kucera-Inteko Hodonin, Czech firm -...

www.edb.eu

Contact data PaedDr Antonin Kucera Inteko, Company's contacts, Contact data, Company's address, Location of the company on the map, QR Code, Route...

Bad news

Books & Literature

(1 - 4 from 22

–show all

)

AbeBooks: kucera antonin - AbeBooks

The Compact Dictionary of Exact Science and Technology.Vol. I. English- German. / Compakt W?rterbuch der exakten Naturwissenschaften und der Technik. Bd. I:...

Antonin Kucera | Open Library

openlibrary.org

Author of Compact Dictionary of Science & Technology German French, The Compact Dictionary of Exact Science and Technology, English-German, Dictionary of...

bokus.com: Antonin Kucera - Böcker | Bokus bokhandel

Köp böcker av Antonin Kucera: Mathematical Foundations of Computer Science 2007; SOFSEM 2009: Theory and Practice of Computer Science; Mathematical Foundations...

adlibris.com: Antonin Kucera | Adlibris

Hos Adlibris hittar du miljontals böcker och produkter inom Antonin Kucera Vi har ett brett sortiment av böcker, garn, leksaker, pyssel, sällskapsspel,...

Scientific Publications

(1 - 4 from 5

–show all

)

Bisimilarity of processes with finite-state systems - ScienceDirect

www.sciencedirect.com

Petr Jancar. Author links open the author workspace. Antonín Kucera. Author links open the author workspace.

dblp: Antonín Kucera

dblp.uni-trier.de

List of computer science publications by Antonín Kucera

dblp: error 410

dblp.org

List of computer science publications by Antonín Kucera

Dependable Systems and Software: Jan Krcal

depend.cs.uni-saarland.de

Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera: Continuous-time stochastic games with time-bounded reachability. Inf.

Publications

(1 - 4 from 5

–show all

)

On Simulation-Checking with Sequential Systems - CORE

core.ac.uk

By Antonín Kucera and Fi Mu. Abstract. We present new complexity results for simulation-checking and modelchecking with in\Thetanite-state systems generated by ...

CONCUR Conference Report

www.ercim.eu

The 13th International Conference on Concurrency Theory, sponsored by ERCIM, ... organised by Antonín Kucera and Richard Mayr, held on 24 August MTCS ...

A Logical Viewpoint on Process-Algebraic Quotients - CORE

core.ac.uk

By Antonín Kucera, Fi Mu and Javier Esparza and Javier Esparza. Abstract. We study the following problem: ...

The Stuttering Principle Revisited: On the Expressiveness of Nested X...

link.springer.com

It is known that LTL formulae without the ‘next’ operator are invariant under the so-called stutter-equivalenceof words. In this paper we extend this principle...

Reports & Statements

Wikipedia: 1968 Winter Universiade - Wikipedia

Bronze – Antonin Kucera (Czechoslovakia) Ski Jumping . Men: Small Hill - K90 Gold – Hiroshi Itagaki (Japan) Silver – Masakatsu Asari (Japan)

Antonin Kucera Solutions | Chegg.com

www.chegg.com

Find Antonin Kucera solutions at Chegg.com now.

Miscellaneous

(1 - 20 from 59

–show all

)

Antonín Kucera | LinkedIn

www.linkedin.com

View Antonín Kucera’s professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Antonín Kucera discover ...

Antonin Kucera - Citations Google Scholar

scholar.google.ch

Créer une alerte e-mail pour les nouvelles citations d'articles de ce profil. Coauteurs. Aucun coauteur. Antonin Kucera. Masaryk University. Computer Science.

Bücher von Antonin Kucera bei Google Play

play.google.com

Viel Spaß mit Millionen aktueller Android-Apps, Spielen, Musik, Filmen, Serien, Büchern und Zeitschriften – jederzeit, überall und auf allen deinen Geräten.

Antonin Kucera - Citácie služby Študovňa Google

scholar.google.pl

Overená e-mailová adresa na: fi.muni.cz - Domovská stránka · Computer Science . Sledovať. ČlánkyCitované v. Názov, Citované v, Rok. Model checking probabilistic pushdown automata. J Esparza, A Kucera, R Mayr. Logic in Computer Science, Proceedings of the 19th Annual IEEE ...

Related search requests for Antonín Kucera

Vojtech Forejt

People
Forename "Antonín" (143)
Name "Kucera" (399)

sorted by relevance / date

Advanced Search

Save as document

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Antonín Kucera Free People Check

Images of Antonín Kucera

News

Interests

Business Profiles

Private Homepages

Bad news

Reports & Statements