Kidane Yemane and Computer Science - Free people check

(1 - 8 from 9

)

CALCO 2005: Scientific Programme

www.cs.swan.ac.uk

CALCO 2005: First International Conference on Algebra and Co-Algebra in Computer Science.

Algebra and Coalgebra in Computer Science: First ...

books.google.com

Modelling Fusion Calculus Using HD-Automata Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane.

Algebra and Coalgebra in Computer Science: First International...

books.google.fr

... Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane An Algebraic Framework for Verifying the ...

Kidane Yemane - Academia.edu

independent.academia.edu

Kidane Yemane studies Computer Science and Mathematics Publication Date: Publication Name: Electronic Notes in Theoretical Computer Science

dblp: Kidane Yemane Weldemariam

dblp.uni-trier.de

List of computer science publications by Kidane Yemane Weldemariam

dblp: Kidane Yemane

dblp.uni-trier.de

List of computer science publications by Kidane Yemane

A Unifying Model of Variables and Names | SpringerLink

link.springer.com

by M Miculan · · Cited by 22 — Marino Miculan &; Kidane Yemane. Conference paper Accesses. 8 Citations. Part of the Lecture Notes in Computer Science book series (LNTCS,volume 3441) ... › chapter

Publications by Marino Miculan

users.dimi.uniud.it

(With Kidane Yemane.) In V. Sassone, editor, Proceedings of FOSSACS'05. Number in Lecture Notes in Computer Science, pages , An extended version is available as (revised) Research Report UDMI RR Modeling Fresh Names in the π-calculus using Abstractions.

All web results to the name "Kidane Yemane"

Related search requests for Kidane Yemane

Khaled Kammoun
Neil Ghani
Gianluigi Ferrari

Emilio Tuosto

People
Forename "Kidane" (52)
Name "Yemane" (132)

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

Kidane Yemane and Computer Science Free People Check