Swen - PDFSEARCH.IO - Document Search Engine

Swen
Results: 94

#	Item
11	Towards Complete Reasoning about Axiomatic Specifications Swen Jacobs and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: www.swenjacobs.com - Date: 2013-01-31 09:32:49
12	Exact State Set Representations in the Veriﬁcation of Linear Hybrid Systems with Large Discrete State Space Werner Damm2,3 , Stefan Disch1 , Hardi Hungar3 , Swen Jacobs4 , Jun Pang2 , Florian Pigorsch1, Christoph Scho Add to Reading List Source URL: www.swenjacobs.com - Date: 2013-01-31 09:31:46
13	PARTY Parameterized Synthesis of Token Rings? Ayrat Khalimov, Swen Jacobs, and Roderick Bloem Graz University of Technology, Austria Abstract. Synthesis is the process of automatically constructing an implementation fro Add to Reading List Source URL: www.swenjacobs.com - Date: 2013-04-09 09:22:52
14	Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters⋆ Johannes Faber1 , Swen Jacobs2 , and Viorica Sofronie-Stokkermans2 1 Department of Computing Science, University of Oldenburg, Germany Add to Reading List Source URL: www.swenjacobs.com - Date: 2013-01-31 09:32:20
15	Swen Jacobs Curriculum Vitae www : http://www.swenjacobs.com email : phone : + Add to Reading List Source URL: swenjacobs.com - Date: 2015-10-02 07:01:43
16	On local reasoning in verification Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans Max-Planck-Institut f¨ ur Informatik, Campus E1 4, Saarbr¨ ucken, Germany e-mail: {ihlemann,sjacobs,sofronie}@mpi-inf.mpg.d Add to Reading List Source URL: www.swenjacobs.com - Date: 2013-01-31 09:32:34
17	Automated Tweaking of Levels for Casual Creation of Mobile Games Edward J. Powley, Swen Gaudl, Simon Colton, Mark J. Nelson, Rob Saunders and Michael Cook The MetaMakers Institute, Games Academy, Falmouth University, UK Add to Reading List Source URL: www.kmjn.org - Date: 2016-07-10 09:36:30
18	Kontakt Dekan Prof. Dr. Swen Schneider E-Mail: Prodekanin Prof. Dr. Andrea Gubitz Add to Reading List Source URL: www.frankfurt-university.de Language: German - Date: 2015-06-01 11:10:42
19	1 Protest event analysis and its offspring Swen Hutter; versionChapter prepared for Donatella della Porta (ed.). Methodological practices in social movement research. Add to Reading List Source URL: www.swen-hutter.eu Language: English
20	Politicising Europe: Integration and Mass Politics Edited by Swen Hutter, Edgar Grande and Hanspeter Kriesi forthcoming Add to Reading List Source URL: www.swen-hutter.eu Language: English - Date: 2016-06-03 04:05:44

UPDATE