1![Compositional Semantics of Spiking Neural P Systems Roberto Barbutia , Andrea Maggiolo-Schettinia, Paolo Milazzoa,∗, Simone Tinib a Dipartimento di Informatica, Universit` a di Pisa, Largo B. Pontecorvo 3, 56127 Pisa, Compositional Semantics of Spiking Neural P Systems Roberto Barbutia , Andrea Maggiolo-Schettinia, Paolo Milazzoa,∗, Simone Tinib a Dipartimento di Informatica, Universit` a di Pisa, Largo B. Pontecorvo 3, 56127 Pisa,](https://www.pdfsearch.io/img/5f1cd291e8045b203398bb7d2601c64d.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:15
|
---|
2![Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa](https://www.pdfsearch.io/img/9d9970eea6adb650f1509e22d1806fa1.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:14
|
---|
3![FBTCAn Intermediate Language for the Simulation of Biological Systems 1 Roberto Barbuti,2 Giulio Caravagna,3 Andrea Maggiolo–Schettini4 and Paolo Milazzo5 FBTCAn Intermediate Language for the Simulation of Biological Systems 1 Roberto Barbuti,2 Giulio Caravagna,3 Andrea Maggiolo–Schettini4 and Paolo Milazzo5](https://www.pdfsearch.io/img/f7b5f044fb66fd384d7b6e2368240746.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:14
|
---|
4![When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts Simon Eberz∗ , Giulio Lovisotto∗ , Andrea Patan`e∗ , Marta Kwiatkowska∗ , Vincent Lenders† and Ivan Ma](https://www.pdfsearch.io/img/0502724999bd2dd22a3d6e89a3bcf80c.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-04-03 02:53:51
|
---|
5![The Calculus of Looping Sequences Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo, and Giovanni Pardini Dipartimento di Informatica, Universit` a di Pisa Largo B. Pontecorvo 3, 56127 Pisa, I The Calculus of Looping Sequences Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo, and Giovanni Pardini Dipartimento di Informatica, Universit` a di Pisa Largo B. Pontecorvo 3, 56127 Pisa, I](https://www.pdfsearch.io/img/538781d2dd4b7016226d63e7fe9867bb.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:14
|
---|
6![A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci](https://www.pdfsearch.io/img/c9e15fc8eeaaa94df89bf011146d0518.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-12-05 09:33:38
|
---|
7![An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa](https://www.pdfsearch.io/img/660fa035bc717f9a12781f8117645702.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:15
|
---|
8![Poster: Detecting WebInjects through Live Memory Inspection Nicola Mariani∗ , Andrea Continella∗ , Marcello Pogliani∗ , Michele Carminati∗ , Federico Maggi∗† , and Stefano Zanero∗ ∗ Dipartimento Poster: Detecting WebInjects through Live Memory Inspection Nicola Mariani∗ , Andrea Continella∗ , Marcello Pogliani∗ , Michele Carminati∗ , Federico Maggi∗† , and Stefano Zanero∗ ∗ Dipartimento](https://www.pdfsearch.io/img/4ee158efa9475042a9fa3ea7c40e3d85.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-05-02 20:58:16
|
---|
9![Rapyuta: The RoboEarth Cloud Engine Dominique Hunziker, Mohanarajah Gajamohan, Markus Waibel, and Raffaello D’Andrea Abstract— In this paper we present the design and implementation of Rapyuta1 , the RoboEarth Cloud Rapyuta: The RoboEarth Cloud Engine Dominique Hunziker, Mohanarajah Gajamohan, Markus Waibel, and Raffaello D’Andrea Abstract— In this paper we present the design and implementation of Rapyuta1 , the RoboEarth Cloud](https://www.pdfsearch.io/img/7967e1ed3f1a9dd64fde014bc9ec2df2.jpg) | Add to Reading ListSource URL: roboearth.ethz.chLanguage: English - Date: 2014-05-15 08:08:00
|
---|
10![Simulation of Kohn’s Molecular Interaction Maps Through Translation into Stochastic CLS+ Roberto Barbuti1 , Daniela Lepri2 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 , Giovanni Pardini1 , and Aureliano Rama1 1 Dipar Simulation of Kohn’s Molecular Interaction Maps Through Translation into Stochastic CLS+ Roberto Barbuti1 , Daniela Lepri2 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 , Giovanni Pardini1 , and Aureliano Rama1 1 Dipar](https://www.pdfsearch.io/img/86e8d37e40a9e0826cd56c2f5a8f746d.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:14
|
---|