default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th ICTCS 2009: Cremona, Italy
- Alessandra Cherubini, Mario Coppo, Giuseppe Persiano:
Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings. 2009
Invited Papers
- Aldo de Luca:
A palindromization map in free monoids. ICTCS 2009: 3 - Roberto Gorrieri:
On Petri Net semantics for Process Calculi. ICTCS 2009: 3 - Fabrizio Luccio:
Two algorithms issues from a teacher's perspective. ICTCS 2009: 4
Contributions
- Lucia Acciai, Michele Boreale:
Deciding Spatial and behavioral properties in the pi-calculus. ICTCS 2009: 7-11 - Mario Alviano:
The Maze Generation Problem is NP-complete. ICTCS 2009: 12-18 - Davide Ancona, Giovanni Lagorio:
An idealized coinductive type system for imperative object-oriented programs. ICTCS 2009: 19-25 - Giorgio Ausiello, Donatella Firmani, Luigi Laura:
Datastream computation of graph biconnectivity: Articulation Points, Bridges, and Biconnected Components. ICTCS 2009: 26-29 - Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
A Shape Calculus for Biological Processes. ICTCS 2009: 30-33 - Massimo Bartoletti, Roberto Zunino:
A Logic for Contracts. ICTCS 2009: 34-37 - Livio Bioglio:
Typed Reductions of CLS. ICTCS 2009: 38-45 - Carlo Blundo, Vincenzo Iovino, Giuseppe Persiano:
Private-Key Hidden Vector Encryption with Key Privacy. ICTCS 2009: 46-50 - Biagio Bonasera, Francesco Pagano, Alessandro Provetti:
Flexible Interpolated-Binary Search over Sorted Sets. ICTCS 2009: 51-54 - Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi:
A PTAS for the Minimum Consensus Clustering Problem with a Fixed Number of Clusters. ICTCS 2009: 55-58 - Vasco Brattka, Guido Gherardi:
A method to evaluate the computational complexity of the theorems from functional analysis. ICTCS 2009: 59-61 - Tiziana Calamoneri:
The L(2, 1)-Labeling Problem on Oriented Regular Grids. ICTCS 2009: 62-65 - Saverio Caminiti, Irene Finocchi, Rossella Petreschi:
Informative Labeling Schemes for the Least Common Ancestor Problem. ICTCS 2009: 66-70 - Arturo Carpi, Flavio D'Alessandro:
Synchronizing Automata and Independent Systems of Words. ICTCS 2009: 71-74 - Giuseppa Castiglione, Antonio Restivo, Marinella Sciortino:
Hopcroft's Algorithm and Tree-like Automata. ICTCS 2009: 75-81 - Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Languages defined by consensual computations. ICTCS 2009: 82-85 - Diego de Falco, Enrico Pertoso, Dario Tamascelli:
Quantum Annealing: an Introduction. ICTCS 2009: 86-90 - Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters:
The compositional construction of Markov processes. ICTCS 2009: 91-98 - Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
The essence of static and dynamic bindings. ICTCS 2009: 99-106 - Cinzia Di Giusto, Jorge A. Pérez:
Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi. ICTCS 2009: 107-112 - Diodato Ferraioli, Carmine Ventre:
On the Price of Anarchy of Restricted Job Scheduling Games. ICTCS 2009: 113-116 - Achille Frigeri:
Automata and Logic on p-adic numbers. ICTCS 2009: 117-120 - Carlo A. Furia, Paola Spoletini:
Towards Relaxing Metric Information in Linear Temporal Logic. ICTCS 2009: 121-124 - Emanuele G. Fusco:
Broadcasting in UDG Radio Networks with Missing and Inaccurate Information. ICTCS 2009: 125-128 - Zbynek Krivka, Tomás Masopust:
A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. ICTCS 2009: 129-135 - Giovanni Lagorio, Marco Servetto, Elena Zucca:
Customizable composition operators for Java-like classes. ICTCS 2009: 136-142 - Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt:
On the Expressiveness of Polyadicity in Higher-Order Process Calculi. ICTCS 2009: 143-149 - Violetta Lonati, Matteo Pradella:
Deterministic recognizability of picture languages by Wang automata. ICTCS 2009: 150-154 - Yanfang Ma, Min Zhang, Yixiang Chen:
Infinite Evolution Mechanism of Probabilistic Processes. ICTCS 2009: 155-161 - Andreas Malcher, Carlo Mereghetti, Beatrice Palano:
Logical Description of Structured and XML Languages. ICTCS 2009: 162-168 - Donatella Merlini, Renzo Sprugnoli:
An algorithm for proving identities with Riordan transformations. ICTCS 2009: 169-174 - Eugenio Moggi:
Monad Transformers as Monoid Transformers. ICTCS 2009: 175-178 - Carlo Nocentini:
When theory meets practice: improving a Peer-To-Peer framework by means of a real DHT algorithm. ICTCS 2009: 179-182 - Elena V. Pribavkina, Emanuele Rodaro:
State Complexity For Prefix, Suffix and Bifix operators on regular languages. ICTCS 2009: 183-189 - Antonio Restivo, Giovanna Rosone:
On Balancing of a Direct Product. ICTCS 2009: 190-195 - Marco Servetto:
Strong exception-safety for Java-like languages. ICTCS 2009: 196-198
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
