FCT - PDFSEARCH.IO - Document Search Engine

FCT
Results: 1318

#	Item
51	SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications Lu´ıs Caires and Hugo Torres Vieira CITI / Departamento de Inform´atica, FCT Universidade Nova de Lisboa, Portugal Abst Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:13
52	FCT ::SIG Curriculum V itae PT EN Add to Reading List Source URL: www.cieo.pt Language: English - Date: 2018-08-03 11:48:59
53	Information Flow Analysis for Valued-Indexed Data Security Compartments Luísa Lourenço and Luís Caires CITI e Departamento de Informática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa, Portugal Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2014-10-11 13:32:58
54	FCT ::SIG Curriculum V itae PT EN Add to Reading List Source URL: www.cieo.pt Language: Portuguese - Date: 2018-08-03 11:48:55
55	FCT::SIG Curriculum Vitae Add to Reading List Source URL: www.cieo.pt - Date: 2018-08-03 11:48:51
56	Dependent Session Types via Intuitionistic Linear Type Theory Bernardo Toninho Luís Caires Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:13
57	PDF Document Add to Reading List Source URL: citi.di.fct.unl.pt - Date: 2009-06-30 13:22:09
58	Research Position Available (M/F) Acoustic noise in deep ocean observatories Applications are invited for a research position that will become available during the second semester of 2017 in the Signal Processing Laborat Add to Reading List Source URL: www.siplab.fct.ualg.pt Language: English - Date: 2017-07-27 09:16:25
59	A Type System for Flexible Role Assignment in Multiparty Communicating Systems Pedro Baltazar1 , Luís Caires3 , Vasco T. Vasconcelos2 , and Hugo T. Vieira3 Instituto de Telecomunicações, IST, Universidade Técnica de Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:14
60	Analysis of Service Oriented Software Systems with the Conversation Calculus Lu´ıs Caires and Hugo Torres Vieira CITI and Departamento de Inform´ atica, Faculdade de Ciˆencias e Tecnologia, Universidade Nova de Lisbo Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:12

UPDATE