Filter your results
- 5
- 2
- 5
- 2
- 7
- 4
- 3
- 1
- 1
- 2
- 4
- 2
- 6
- 3
- 2
- 1
- 7
- 5
- 3
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Defining Context-Free Power Series Coalgebraically11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.20-39, ⟨10.1007/978-3-642-32784-1_2⟩
Conference papers
hal-01539885v1
|
||
|
Unbounded Allocation in Bounded Heaps5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.1-16, ⟨10.1007/978-3-642-40213-5_1⟩
Conference papers
hal-01514664v1
|
||
|
The Future of a Missed Deadline15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.181-195, ⟨10.1007/978-3-642-38493-6_13⟩
Conference papers
hal-01486026v1
|
||
|
Game Developers Need Lua AiRICEC 2012 - 11th International Confernece on Entertainment Computing, Sep 2012, Bremen, Germany. pp.530-535, ⟨10.1007/978-3-642-33542-6_69⟩
Conference papers
hal-00758607v1
|
||
|
Fundamentals of Software EngineeringFarhad Arbab; Marjan Sirjani. Springer Berlin Heidelberg, LNCS-8161, 2013, Lecture Notes in Computer Science, 978-3-642-40212-8. ⟨10.1007/978-3-642-40213-5⟩
Books
hal-01514876v1
|
||
|
Bounded Model Checking of Recursive Programs with Pointers in K21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.59-76, ⟨10.1007/978-3-642-37635-1_4⟩
Conference papers
hal-01485978v1
|
||
|
Theoretical Computer ScienceSpringer, LNCS-7604, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-33475-7⟩
Books
hal-01556209v1
|