Items where Author is "Knight, Sophia"

Group by: Creators | Item Type | Date | No Grouping

Jump to: Ba | He | Kn | La | To

Number of items: 12.

Ba

Bartoletti, Massimo and Henrio, Ludovic and Knight, Sophia and Torres Vieira, Hugo (edited by) Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. Electronic Proceedings in Theoretical Computer Science, 223. ISSN 2075-2180 (2016)

He

Bartoletti, Massimo and Henrio, Ludovic and Knight, Sophia and Torres Vieira, Hugo (edited by) Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. Electronic Proceedings in Theoretical Computer Science, 223. ISSN 2075-2180 (2016)

Kn

Lanese, Ivan and Lafuente, Alberto Lluch and Knight, Sophia and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2015. Journal of Logical and Algebraic Methods in Programming, 86 (1). p. 1. ISSN 2352-2208 (2017)

Bartoletti, Massimo and Henrio, Ludovic and Knight, Sophia and Torres Vieira, Hugo (edited by) Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. Electronic Proceedings in Theoretical Computer Science, 223. ISSN 2075-2180 (2016)

Knight, Sophia and Lanese, Ivan and Lafuente, Alberto Lluch and Torres Vieira, Hugo (edited by) Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. Electronic Proceedings in Theoretical Computer Science, 189. ISSN 2075-2180 (2015)

La

Lanese, Ivan and Lafuente, Alberto Lluch and Knight, Sophia and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2015. Journal of Logical and Algebraic Methods in Programming, 86 (1). p. 1. ISSN 2352-2208 (2017)

Lanese, Ivan and Lafuente, Alberto Lluch and Knight, Sophia and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2015. Journal of Logical and Algebraic Methods in Programming, 86 (1). p. 1. ISSN 2352-2208 (2017)

Knight, Sophia and Lanese, Ivan and Lafuente, Alberto Lluch and Torres Vieira, Hugo (edited by) Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. Electronic Proceedings in Theoretical Computer Science, 189. ISSN 2075-2180 (2015)

Knight, Sophia and Lanese, Ivan and Lafuente, Alberto Lluch and Torres Vieira, Hugo (edited by) Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. Electronic Proceedings in Theoretical Computer Science, 189. ISSN 2075-2180 (2015)

To

Lanese, Ivan and Lafuente, Alberto Lluch and Knight, Sophia and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2015. Journal of Logical and Algebraic Methods in Programming, 86 (1). p. 1. ISSN 2352-2208 (2017)

Bartoletti, Massimo and Henrio, Ludovic and Knight, Sophia and Torres Vieira, Hugo (edited by) Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. Electronic Proceedings in Theoretical Computer Science, 223. ISSN 2075-2180 (2016)

Knight, Sophia and Lanese, Ivan and Lafuente, Alberto Lluch and Torres Vieira, Hugo (edited by) Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. Electronic Proceedings in Theoretical Computer Science, 189. ISSN 2075-2180 (2015)

This list was generated on Wed Dec 18 00:18:24 2024 CET.

IMT Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.