Nikos Tzevelekos and Computer Science - Free people check

(1 - 16 from 19

)

Midlands Graduate School 2013, Leicester, UK

www.cs.le.ac.uk

Midlands Graduate School in the Foundations of Computer Science at the University of Leicester, Graduate School th April to 12th April

LinkedIn: Nikos Tzevelekos | LinkedIn

View Nikos Tzevelekos' professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Nikos Tzevelekos discover ...

Department of Computer Science: Nikos Tzevelekos

www.cs.ox.ac.uk

Department of Computer Science - People: Nikos Tzevelekos

Computer Science Logic: 21 International Workshop, CSL 2007, 16th...

books.google.de

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of...

Algebra and Coalgebra in Computer Science: 4th International...

books.google.de

This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in...

Mathematical Foundations of Computer Science 2014: 39th International...

books.google.ru

This two volume set LNCS and LNCS constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of...

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th...

books.google.de

... ́eThiemann Leendert van der Torre Nikos Tzevelekos Michael Ummels Alasdair Urquhart Lionel Vaux Heribert Vollmer Christoph Wernhard Gregory Wheeler ...

Guilhem Jaber - ICFP 2016

conf.researchr.org

... of Electronic Engineering and Computer Science at Queen Mary University, London, working under the supervision of Nikos Tzevelekos. I have done my PhD ...

dblp: Nikos Tzevelekos

dblp.uni-trier.de

List of computer science publications by Nikos Tzevelekos

History-Register Automata | SpringerLink

link.springer.com

(16). Editor Affiliations School of Computer Science, Carnegie Mellon University. Authors. Nikos Tzevelekos (17); Radu Grigore (17). Author Affiliations. 17.

Wikipedia: Kleene Award - Wikipedia

The Kleene Award is awarded at the annual IEEE Symposium on Logic in Computer Science ... Duris, "Hypergraph Acyclicity and Extension Preservation Theorems" , Nikos Tzevelekos, "Full abstraction for nominal general references".

Corelab : Theses : Diploma Theses

www.corelab.ntua.gr

Kostas Bimpikis, "Mechanism design: auctions and networks". Nikos Tzevelekos, "Many-valued modal logics and applications in computer science". Evangelos ...

Valentin Blot

valentinblot.org

... in the Theory group of the School of Electronic Engineering and Computer Science at the Queen Mary University of London, working with Nikos Tzevelekos.

[TYPES/announce] PhD Studentship at Queen Mary

lists.seas.upenn.edu

The PhD supervisor will be Dr Nikos Tzevelekos. The project will be based in the School of Electronic Engineering and Computer Science ...

Fields Institute - Logic in Computer Science

www.fields.utoronto.ca

Andrzej Murawski and Nikos Tzevelekos. Algorithmic nominal game semantics. Nathanael Ackerman, Cameron Freer and Daniel Roy. #P-complete conditional distributions

Department of Computer Science: Game Semantics and its Applications

www.cs.ox.ac.uk

Research activities in the area of Game Semantics and its Applications

All web results to the name "Nikos Tzevelekos"

Related search requests for Nikos Tzevelekos

Lars Birkedal
Paulo Oliva

People
Forename "Nikos" (3014)
Name "Tzevelekos" (4)

sorted by relevance / date

Advanced Search

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

Nikos Tzevelekos and Computer Science Free People Check