Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gianlorenzo D'Angelo, Lorenzo Severini, Yllka Velaj |
On the Maximum Betweenness Improvement Problem. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Paola Giannini, Elena Zucca |
Incremental Rebinding with Name Polymorphism. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Capriccioli, Marco Servetto, Elena Zucca |
An Imperative Pure Calculus. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Beretta 0001, Riccardo Dondi |
Correcting Gene Trees by Leaf Insertions: Complexity and Approximation. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi |
Partial and Complete Processes in Multiparty Sessions. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Mazzanti |
Unbounded Recursion and Non-size-increasing Functions. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Casagrande, Carla Piazza, Alberto Policriti |
Is Hyper-extensionality Preservable Under Deletions of Graph Elements? |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michele Borassi, Pierluigi Crescenzi, Michel Habib |
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Walter Cazzola, Paola Giannini, Albert Shaqiri |
Formal Attributes Traceability in Modular Language Development Frameworks. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Maria Chiara Meo, Francesca Scozzari |
Exploiting Linearity in Sharing Analysis of Object-oriented Programs. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierluigi Crescenzi, Michele Loreti |
Preface. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Cantone, Marianna Nicolosi Asmundo |
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Molinari, Angelo Montanari, Adriano Peron |
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mattia D'Emidio, Daniele Frigioni, Alfredo Navarra |
Synchronous Robots vs Asynchronous Lights-Enhanced Robots on Graphs. |
ICTCS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Berardi, Paulo Oliva, Silvia Steila |
Proving termination of programs having transition invariants of height ω. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Arturo Carpi, Flavio D'Alessandro |
Cerny-like problems for finite sets of words. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Christian Choffrut, Bruno Guillon |
An algebraic characterization of unary two-way transducers. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Chao Li, Liang Dou, Zongyuan Yang |
A metamodeling level transformation from UML sequence diagrams to Coq. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Flavio Chierichetti |
Trace complexity. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Martine Ceberio, Joel A. Henderson, Francesco Santini 0001 |
Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Giuseppe Liotta |
Graph drawing beyond planarity: some results and open problems. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Andrea Formisano 0001 |
Preface. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Alberto Bertoni, Massimiliano Goldwurm, Jianyi Lin, Linda Pini |
Size-constrained 2-clustering in the plane with Manhattan distance. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Soumen Nandi, Nitish Panigrahy, Mohit Agrawal, Sasthi Charan Ghosh, Sandip Das 0001 |
Efficient channel assignment for cellular networks modeled as honeycomb grid. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Marco Bernardo 0001, Flavio Corradini, Luca Tesei |
Timed process calculi: from durationless actions to durational ones. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Luca Bernardinello, Lucia Pomello, Stefania Rombolà |
Orthomodular algebraic lattices related to combinatorial posets. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Gianlorenzo D'Angelo, Daniele Diodati, Alfredo Navarra, Maria Cristina Pinotti |
Optimal placement of storage nodes in a wireless sensor network. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Alessandra Cherubini, Andrzej Kisielewicz 0001 |
Binary 3-compressible automata. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra |
A graph-easy class of mute lambda-terms. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Stefano Mazzanti |
Logspace computability and regressive machines. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Angelo Montanari, Marco Pazzaglia, Pietro Sala |
Adding two equivalence relations to the interval temporal logic AB. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Andrea Formisano 0001 (eds.) |
Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Minh Ngo, Fabio Massacci |
Programmable enforcement framework of information flow policies. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Livio Bioglio |
Type disciplines for systems biology. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Giulianella Coletti, Davide Petturiti, Barbara Vantaggi |
Extendibility of Choquet rational preferences on generalized lotteries. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Roberto Mantaci, Paolo Massazza, Jean-Baptiste Yunès |
An efficient algorithm for generating symmetric ice piles. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Andrea Formisano 0001, Flavio Vella |
On multiple learning schemata in conflict driven solvers. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Rocco De Nicola |
A formal approach to autonomic systems programming: the SCEL language. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Tomoyuki Yamakami |
Structural complexity of multi-valued partial functions computed by nondeterministic pushdown automata. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Cosimo Vinci, Vittorio Bilò |
On the Stackelberg fuel pricing problem. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Alberto Casagrande, Eugenio G. Omodeo |
Reasoning about connectivity without paths. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Mattia D'Emidio, Daniele Frigioni |
Engineering shortest-path algorithms for dynamic networks. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Andrea Marino 0001 |
Algorithms for biological graphs: analysis and enumeration. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Arman Boyaci, Tínaz Ekim, Mordechai Shalom, Shmuel Zaks |
Graphs of edge-intersecting and non-splitting paths. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Tiziana Calamoneri, Blerina Sinaimeri |
Relating threshold tolerance graphs to other graph classes. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Minimal models for rational closure in SHIQ. |
ICTCS |
2014 |
DBLP BibTeX RDF |
|
1 | Antonio Restivo, Giovanna Rosone |
On Balancing of a Direct Product. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Mario Alviano |
The Maze Generation Problem is NP-complete. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Achille Frigeri |
Automata and Logic on p-adic numbers. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Marco Servetto |
Strong exception-safety for Java-like languages. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Saverio Caminiti, Irene Finocchi, Rossella Petreschi |
Informative Labeling Schemes for the Least Common Ancestor Problem. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Fabrizio Luccio |
Two algorithms issues from a teacher's perspective. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Elena V. Pribavkina, Emanuele Rodaro |
State Complexity For Prefix, Suffix and Bifix operators on regular languages. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters |
The compositional construction of Markov processes. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Diodato Ferraioli, Carmine Ventre |
On the Price of Anarchy of Restricted Job Scheduling Games. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Languages defined by consensual computations. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Donatella Merlini, Renzo Sprugnoli |
An algorithm for proving identities with Riordan transformations. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Giovanni Lagorio, Marco Servetto, Elena Zucca |
Customizable composition operators for Java-like classes. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Roberto Gorrieri |
On Petri Net semantics for Process Calculi. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Giuseppa Castiglione, Antonio Restivo, Marinella Sciortino |
Hopcroft's Algorithm and Tree-like Automata. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Cinzia Di Giusto, Jorge A. Pérez 0001 |
Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Carlo Nocentini |
When theory meets practice: improving a Peer-To-Peer framework by means of a real DHT algorithm. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Yanfang Ma, Min Zhang 0007, Yixiang Chen |
Infinite Evolution Mechanism of Probabilistic Processes. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Diego de Falco, Enrico Pertoso, Dario Tamascelli |
Quantum Annealing: an Introduction. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Carlo Blundo, Vincenzo Iovino, Giuseppe Persiano |
Private-Key Hidden Vector Encryption with Key Privacy. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Carlo A. Furia, Paola Spoletini |
Towards Relaxing Metric Information in Linear Temporal Logic. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Emanuele G. Fusco |
Broadcasting in UDG Radio Networks with Missing and Inaccurate Information. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca |
The essence of static and dynamic bindings. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Lucia Acciai, Michele Boreale |
Deciding Spatial and behavioral properties in the pi-calculus. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Alessandra Cherubini, Mario Coppo, Giuseppe Persiano (eds.) |
Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
Logical Description of Structured and XML Languages. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Vasco Brattka, Guido Gherardi |
A method to evaluate the computational complexity of the theorems from functional analysis. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Arturo Carpi, Flavio D'Alessandro |
Synchronizing Automata and Independent Systems of Words. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Zbynek Krivka, Tomás Masopust |
A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt |
On the Expressiveness of Polyadicity in Higher-Order Process Calculi. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Aldo de Luca |
A palindromization map in free monoids. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Massimo Bartoletti, Roberto Zunino |
A Logic for Contracts. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Biagio Bonasera, Francesco Pagano, Alessandro Provetti |
Flexible Interpolated-Binary Search over Sorted Sets. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei |
A Shape Calculus for Biological Processes. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Violetta Lonati, Matteo Pradella |
Deterministic recognizability of picture languages by Wang automata. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Livio Bioglio |
Typed Reductions of CLS. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Eugenio Moggi |
Monad Transformers as Monoid Transformers. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Giorgio Ausiello, Donatella Firmani, Luigi Laura |
Datastream computation of graph biconnectivity: Articulation Points, Bridges, and Biconnected Components. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi |
A PTAS for the Minimum Consensus Clustering Problem with a Fixed Number of Clusters. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Davide Ancona, Giovanni Lagorio |
An idealized coinductive type system for imperative object-oriented programs. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Tiziana Calamoneri |
The L(2, 1)-Labeling Problem on Oriented Regular Grids. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
1 | Igor Razgon |
Computing Minimum Directed Feedback Vertex Set in O(1.9977n). |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Davide Ancona, Elena Zucca |
A formal framework for compositional compilation. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Rocco De Nicola |
Session Centered Calculi for Service Oriented Computing. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Liliana D'Errico, Michele Loreti |
Modeling Fuzzy Behaviours in Concurrent Systems. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Chantal Berline |
Can a Proper Lambda-Model have an R.E. Equational Theory? |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Mathias Hauptmann |
On the Approximability of Dense Steiner Tree Problems. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Davide Ancona, Giovanni Lagorio, Elena Zucca |
Type inference for polymorphic methods in Java-like languages. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura (eds.) |
Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Travis Gagie |
Sorting streamed multisets. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Marco Bernardo 0001, Alessandro Aldini |
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Giuseppe Longo |
Symmetries in Foundations. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Damiano Zanardini |
Analyzing Non-Interference with respect to Classes. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Iyad A. Kanj, Luay Nakhleh, Cuong Than, Ge Xia |
Seeing the Trees and Their Branches in the Forest is Hard. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Christian Choffrut, Achille Frigeri |
Definable sets in weak Presburger arithmetic. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|