Items where Author is "Sokolova, Ana"
Number of items: 12. CaCarbone, Marco and Lanese, Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana Proceedings 6th Interaction and Concurrency Experience, ICE 2013. Electronic Proceedings in Theoretical Computer Science. (2013) LaLanese, Ivan and Lafuente, Alberto Lluch and Sokolova, Ana and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2014. Journal of Logical and Algebraic Methods in Programming, 85 (3). p. 367. ISSN 2352-2208 (2016) Lanese, Ivan and Lafuente, Alberto Lluch and Sokolova, Ana and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2014. Journal of Logical and Algebraic Methods in Programming, 85 (3). p. 367. ISSN 2352-2208 (2016) Lanese , Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana and Torres Vieira, Hugo (edited by) Proceedings 7th Interaction and Concurrency Experience, ICE 2014 (Berlin, Germany, 6th June 2014). Electronic Proceedings in Theoretical Computer Science, 166. ISSN 2075-2180 (2014) Carbone, Marco and Lanese, Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana Proceedings 6th Interaction and Concurrency Experience, ICE 2013. Electronic Proceedings in Theoretical Computer Science. (2013) LlLanese , Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana and Torres Vieira, Hugo (edited by) Proceedings 7th Interaction and Concurrency Experience, ICE 2014 (Berlin, Germany, 6th June 2014). Electronic Proceedings in Theoretical Computer Science, 166. ISSN 2075-2180 (2014) Carbone, Marco and Lanese, Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana Proceedings 6th Interaction and Concurrency Experience, ICE 2013. Electronic Proceedings in Theoretical Computer Science. (2013) SoLanese, Ivan and Lafuente, Alberto Lluch and Sokolova, Ana and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2014. Journal of Logical and Algebraic Methods in Programming, 85 (3). p. 367. ISSN 2352-2208 (2016) Lanese , Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana and Torres Vieira, Hugo (edited by) Proceedings 7th Interaction and Concurrency Experience, ICE 2014 (Berlin, Germany, 6th June 2014). Electronic Proceedings in Theoretical Computer Science, 166. ISSN 2075-2180 (2014) Carbone, Marco and Lanese, Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana Proceedings 6th Interaction and Concurrency Experience, ICE 2013. Electronic Proceedings in Theoretical Computer Science. (2013) ToLanese, Ivan and Lafuente, Alberto Lluch and Sokolova, Ana and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2014. Journal of Logical and Algebraic Methods in Programming, 85 (3). p. 367. ISSN 2352-2208 (2016) Lanese , Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana and Torres Vieira, Hugo (edited by) Proceedings 7th Interaction and Concurrency Experience, ICE 2014 (Berlin, Germany, 6th June 2014). Electronic Proceedings in Theoretical Computer Science, 166. ISSN 2075-2180 (2014) |
