Andrea - PDFSEARCH.IO - Document Search Engine

Andrea
Results: 6699

#	Item
21	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Spatial Calculus of Looping Sequences 1 Roberto Barbuti,2 Andrea Maggiolo Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Theoretical computer science Computer programming Declarative programming Logic in computer science Formal languages Brane Quantum field theory String theory Rewriting Monad Substitution
22	Towards a P Systems Normal Form Preserving Step–by–step Behaviour Roberto Barbuti1 Andrea Maggiolo-Schettini1 1 Paolo Milazzo Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Chemistry Membrane technology Models of computation Water technology P system Membrane Mobile membranes
23	Short Accountable Ring Signatures Based on DDH Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth, and Christophe Petit Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-09-01 06:28:04 Cryptography Public-key cryptography Digital signature IP Soundness Group signature Post-quantum cryptography Designated verifier signature Computational complexity theory
24	Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Universit` a di Pisa Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Theoretical computer science Logic in computer science Software engineering Computing Formal languages Formal methods Bisimulation -calculus Monad Petri net Rewriting Lac operon
25	MeCBICTimed P Automata Roberto Barbutia,1 Andrea Maggiolo-Schettinia,1 Paolo Milazzoa,1 Luca Teseib,2 a Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Models of computation Timed automaton Symbol Multiset P system Mathematics Mobile membranes
26	DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Models of computation Concurrency Computing Formal methods Diagrams Petri net Finite automata Model checking Analog television Finite-state machine Actor model Information and communications technology
27	Under consideration for publication in Formal Aspects of Computing Bisimulations in Calculi Modelling Membranes Roberto Barbuti1 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 and Angelo Troina2 1 Dipartimento Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Theoretical computer science Logic in computer science Mathematics Formal methods Bisimulation Mathematical logic Petri net Rewriting
28	Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings Roberto Barbuti1 , Andrea Maggiolo-Schettini1, Paolo Milazzo1 , and Simone Tini2 1 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Mathematics Models of computation Multiset Order theory Abstraction Permutation Set P system Path ordering Tree Mobile membranes
29	Security in a Model for Long–running Transactions⋆ Damas P. Gruska1 , Andrea Maggiolo–Schettini2, and Paolo Milazzo2 1 2 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Symbol Constructible universe
30	An Experimental Security Analysis of an Industrial Robot Controller Davide Quarta∗ , Marcello Pogliani∗ , Mario Polino∗ , Federico Maggi∗† , Andrea Maria Zanchettin∗ , and Stefano Zanero∗ ∗ Dipartimento Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:56:59 Computer architecture Robotics Computing Industrial robot Robot Humanrobot interaction Comau Cobot VxWorks Robot software Mobile robot