1.A Verified Algebra for Linked Data

作　　者：Ross Horne ;Vladimiro Sassone

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;58:20-33.doi:10.4204/EPTCS.58.2

出版社：Open Publishing Association

文章 ID：83120207

文章详细全文下载

2.Transition Systems with Independence and Multi-Arcs

作　　者：Thomas Troels Hildebrandt ;Vladimiro Sassone

出　　处：BRICS Report Series. 1997 ;4(10).

出版社：Aarhus University

文章 ID：101760023

文章详细全文下载

3.A Comparison of Petri Net Semantics under the Collective Token Philosophy

作　　者：Roberto Bruni ;José Meseguer ;Ugo Montanari 等

出　　处：BRICS Report Series. 1998 ;5(17).

出版社：Aarhus University

文章 ID：101760030

文章详细全文下载

4.Comparing Transition Systems with Independence and Asynchronous Transition Systems

作　　者：Thomas Troels Hildebrandt ;Vladimiro Sassone

出　　处：BRICS Report Series. 1996 ;3(18).

出版社：Aarhus University

文章 ID：101760083

文章详细全文下载

5.Threat Modelling for the Virtual Machine Image in Cloud Computing

作　　者：Raid Khalid Hussein ;Vladimiro Sassone

出　　处：Computer Science & Information Technology. 2019 ;9(9):1-14.doi:10.5121/csit.2019.90911

出版社：Academy & Industry Research Collaboration Center (AIRCC)

文章 ID：243749399

文章详细全文下载

6.Threat Modelling for the Virtual Machine Image in Cloud Computing

作　　者：Raid Khalid Hussein ;Vladimiro Sassone

出　　处：Computer Science & Information Technology. 2019 ;9(9):119-132.doi:10.5121/csit.2019.90911

出版社：Academy & Industry Research Collaboration Center (AIRCC)

文章 ID：243038751

文章详细全文下载

7.Strong Concatenable Processes: An Approach to the Category of Petri Net Computations

作　　者：Vladimiro Sassone

出　　处：BRICS Report Series. 1994 ;1(33).

出版社：Aarhus University

文章 ID：186804696

文章详细全文下载

8.Deriving Bisimulation Congruences: 2-Categories vs. Precategories

作　　者：Vladimiro Sassone ;Pawel Sobocinski

出　　处：BRICS Report Series. 2003 ;10(1).

出版社：Aarhus University

文章 ID：186804823

文章详细全文下载

9.A Formal Model for Trust in Dynamic Networks

作　　者：Marco Carbone ;Mogens Nielsen ;Vladimiro Sassone

出　　处：BRICS Report Series. 2003 ;10(4).

出版社：Aarhus University

文章 ID：186804826

文章详细全文下载

10.Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects

作　　者：Giuseppe Milicia ;Vladimiro Sassone

出　　处：BRICS Report Series. 2003 ;10(6).

出版社：Aarhus University

文章 ID：186804828

文章详细全文下载

	2019	2篇
	2011	1篇
	2005	1篇
	2004	1篇
	2003	3篇

	Giuseppe Milicia	1篇
	José Meseguer	1篇
	Karl Krukow	1篇
	Marco Carbone	1篇
	Roberto Bruni	1篇
	Ross Horne	1篇
	Ugo Montanari	1篇

	丹麦	9篇
	印度	2篇
	澳大利亚	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Vladimiro Sassone")))) )) ) )"

	Vladimiro Sassone	12篇
	Mogens Nielsen	2篇
	Pawel Sobocinski	2篇
	Raid Khalid Hussein	2篇
	Thomas Troels Hildebrandt	2篇

	BRICS Report Series	9篇
	Computer Science & Information Technology	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇