Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Donatella Merlini, Renzo Sprugnoli, M. Cecilia Verri |
The random generation of derangements. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Giovanni Di Crescenzo, Ivan Visconti |
On Defining Proofs of Knowledge in the Bare Public Key Model. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Giorgio Ausiello |
Clairvoyance and Laziness for on Line Travelling Agents. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Henk Barendregt |
Proving the Range Property for Lambda Theories and Models. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Mathias Hauptmann |
The Measure Hypothesis and Efficiency of Polynomial Time Approximation Schemes. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Riccardo Dondi, Guillaume Fertin, Stéphane Vialette |
Weak pattern matching in colored graphs: Minimizing the number of connected components. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Sven Kosub, Christopher M. Homan |
Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
1 | Marco Macchetti, Mario Caironi, Luca Breveglieri, Alessandra Cherubini |
A Complete Formulation of Generalized Affine Equivalence. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
generalized linear equivalence, Boolean functions, S-boxes, linear cryptanalysis |
1 | Giuseppe Castagna, Dario Colazzo, Alain Frisch |
Error Mining for Regular Expression Patterns. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan Schwinghammer |
A Typed Semantics of Higher-Order Store and Subtyping. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Elena Lodi, G. Michele Pinna (eds.) |
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Richard Statman |
Two Variables Are Not Enough. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tsvi Kopelowitz, Ely Porat |
Improved Algorithms for Polynomial-Time Decay and Time-Decay with Additive Error. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Giuditta Franco |
A Polymerase Based Algorithm for SAT. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
Polymerase, Restriction Enzymes, XPCR, SAT, DNA Computing |
1 | Steffen van Bakel, Ugo de'Liguoro |
Subtyping Object and Recursive Types Logically. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stephen A. Fenner, Yong Zhang 0053 |
Quantum Algorithms for a Set of Group Theoretic Problems. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yuichi Asahiro, Eiji Miyano, Shinichi Shimoirisa |
Pickup and Delivery for Moving Objects on Broken Lines. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aziz, David Gray, Geoff W. Hamilton |
A Static Analysis of PKI-Based Systems. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Synthesis from Temporal Specifications Using Preferred Answer Set Programming. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli |
Biological Systems as Reactive Systems. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Clara Bertolissi |
The Graph Rewriting Calculus: Confluence and Expressiveness. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002 |
Checking Risky Events Is Enough for Local Policies. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Jamroga, Jürgen Dix |
Model Checking Strategic Abilities of Agents Under Incomplete Information. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Castagna |
Semantic Subtyping: Challenges, Perspectives, and Open Problems. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo H. Medel, Adriana B. Compagnoni, Eduardo Bonelli |
A Typed Assembly Language for Non-interference. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Fiala 0001, Jan Kratochvíl |
On the Computational Complexity of the L(2, 1)-Labeling Problem for Regular Graphs. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesh Raman 0001, Saket Saurabh 0001, Somnath Sikdar |
Improved Exact Exponential Algorithms for Vertex Bipartization and Other Problems. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Santoro |
Mobile Agents Computing: Security Issues and Algorithmic Solutions. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stanley P. Y. Fung, Francis Y. L. Chin, Chung Keung Poon |
Laxity Helps in Broadcast Scheduling. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Bettini, Viviana Bono, Silvia Likavec |
Safe Object Composition in the Presence of Subtyping. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena |
Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Stéphane Lengrand, Pierre Lescanne |
The Language chi: Circuits, Computations and Classical Logic. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Marinella Sciortino |
A New Combinatorial Approach to Sequence Comparison. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca De Marco, Marco Pellegrini 0001, Giovanni Sburlati |
Faster Deterministic Wakeup in Multiple Access Channels. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
wakeup problem, Algorithms, clock, synchrony, multiple access channel |
1 | Bruno Escoffier, Jérôme Monnot, Vangelis Th. Paschos |
Weighted Coloring: Further Complexity and Approximability Results. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
weighted coloring, line graph of bipartite graphs, Approximation algorithm, NP-complete problems, interval graphs, partial k-tree |
1 | Marie-Christine Costa, Fethi Jarray, Christophe Picouleau |
Reconstructing an Alternate Periodical Binary Matrix from Its Orthogonal Projections. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
alternate periodicity, polynomial time algorithm, discrete tomography, binary matrix |
1 | Nadia Busi, Gianluigi Zavattaro |
Reachability Analysis in Boxed Ambients. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bhaskar DasGupta, Sergio Ferrarini, Uthra Gopalakrishnan, Nisha Raj Paryani |
Inapproximability Results for the Lateral Gene Transfer Problem. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luzi Anderegg, Mark Cieliebak, Giuseppe Prencipe |
Efficient Algorithms for Detecting Regular Point Configurations. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
Weber point, equiangularity, ?-angularity, computational geometry, design of algorithms |
1 | Tetsuji Kuboyama, Kilho Shin, Tetsuhiro Miyahara, Hiroshi Yasuda |
A Theoretical Analysis of Alignment and Edit Problems for Trees. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Felice Cardone, Mario Coppo |
Decidability Properties of Recursive Types. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Calamoneri |
Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
L(h,k)-labeling, multihop radio networks, cellular graphs, frequency assignment problem |
1 | Alberto Bertoni, Carlo Mereghetti, Beatrice Palano |
Lower Bounds on the Size of Quantum Automata Accepting Unary Languages. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
quantum information theory, quantum automata |
1 | Amparo Fúster-Sabater |
Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
run distribution, minterm, cryptography, stream cipher, Balancedness |
1 | Roberto Bruni, José Meseguer 0001, Ugo Montanari, Vladimiro Sassone |
Algebraic Theories for Contextual Pre-nets. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stelvio Cimato, Paolo D'Arco, Ivan Visconti |
Anonymous Group Communication in Mobile Networks. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
Privacy, Cryptography, Anonymity, Mobile Communication |
1 | Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini |
Refined Effects for Unanticipated Object Re-classification: Fickle3. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Sonia Fagorzi, Elena Zucca |
A Calculus for Dynamic Linking. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Lagorio |
Towards a Smart Compilation Manager for Java. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Angelo Montanari, Gabriele Puppis |
Towards Compact and Tractable Automaten-Based Representations of Time Granularities. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001 |
Certification of Memory Usage. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli |
Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Ugo de'Liguoro |
Logical Semantics for the First Order varsigma-Calculus. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Ferrante, Mimmo Parente |
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001 |
On Clausal Equivalence and Hull Inclusion. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002 |
Security-Aware Program Transformations. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Sacerdoti Coen |
A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jens Gustedt, Jan Arne Telle |
A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Cancila, Furio Honsell |
A Coalgebraic Description of Web Interactions. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
User-Visit, Coalgebraic Bisimulation, Simulation, Relators, Web Site, Coalgebra, Log File |
1 | Carlo Blundo, Cosimo Laneve (eds.) |
Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Harry G. Mairson, Kazushige Terui |
On the Computational Complexity of Cut-Elimination in Linear Logic. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi |
Information Flow Security and Recursive Systems. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli |
Compositional Verification of Secure Streamed Data: A Case Study with EMSS. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
Compositional Analysis and Verification, Digital Streams, Security, Integrity |
1 | Anna Lisa Ferrara, Barbara Masucci |
An Information-Theoretic Approach to the Access Control Problem. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti |
Reasoning about Self and Others: Communicating Agents in a Model Action Logic. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alan A. Bertossi, Maria Cristina Pinotti, Romeo Rizzi, Anil M. Shende |
Channel Assignment in Honeycomb Networks. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Boudol |
On Programming Models for Mobility. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago |
On the Expressive Power of Light Affine Logic. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen |
The Complexity of Checking Consistency of Pedigree Information and Related Problems. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gairing, Thomas Lücking 0001, Marios Mavronicolas, Burkhard Monien, Paul G. Spirakis |
Extreme Nash Equilibria. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Qiwei Huang, Errol L. Lloyd |
Cost Constrained Fixed Job Scheduling. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Ghilezan, Viktor Kuncak |
Confluence of Untyped Lambda Calculus via Simple Types. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Diletta Cacciagrano, Flavio Corradini |
On Synchronous and Asynchronous Communication Paradigms. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Some Structural Properties of Associative Language Descriptions. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mario Coppo, Daniel Hirschkoff |
Incremental Inference of Partial Types. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stelvio Cimato, Annalisa De Bonis |
Online Advertising: Secure E-coupons. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marcella Anselmo |
Constructing Finite Maximal Codes from Schützenberger Conjecture. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Baldoni, Laura Giordano 0001, Alberto Martelli, Viviana Patti |
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Prencipe |
Instantaneous Actions vs. Full Asynchronicity : Controlling and Coordinating a Set of Autonomous Mobile Robots. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
Mobile Robots, Computability, Distributed Models, Distributed Coordination |
1 | Daniela Besozzi, Claudio Zandron, Giancarlo Mauri, Nicoletta Sabadini |
P Systems with Gemmation of Mobile Membranes. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele Viola |
E-unifiability via Narrowing. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lars Jacobsen, Kim S. Larsen |
Complexity of Layered Binary Search Trees with Relaxed Balance. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Mereghetti, Beatrice Palano |
Upper Bounds on the Size of One-Way Quantum Finite Automata. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
quantum finite automata, periodic events and languages |
1 | Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.) |
Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Olivetti, Camilla Schwind |
A Calculus and Complexity Bound for Minimal Conditional Logic. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gian-Luigi Ferrari 0002, Ugo Montanari, Emilio Tuosto |
A LTS Semantics of Ambients via Graph Synchronization with Mobility. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lars Jacobsen, Kim S. Larsen |
Exponentially Decreasing Number of Operations in Balanced Trees. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Luca Paolini |
Call-by-Value Separability and Computability. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca |
An Effective Translation of Fickle into Java. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Jansen, Monaldo Mastrolilli, Roberto Solis-Oba |
Job Shop Scheduling Problems with Controllable Processing Times. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Paolo D'Arco |
On the Distribution of a Key Distribution Center. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
Distributed Systems, Protocols, Key Distribution |
1 | Alexis C. Kaporis, Lefteris M. Kirousis, Yannis C. Stamatiou, Malvina Vamvakari, Michele Zito 0001 |
Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability Threshold. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | André Große, Jörg Rothe, Gerd Wechsung |
Relating Partial and Complete Solutions and the Complexity of Computing Smallest Solutions. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
complexity of smallest solutions, self-reducibility, graph colorability, Hamiltonian cycles, graph isomorphisms, partial solutions |
1 | Michele Bugliesi, Giuseppe Castagna, Silvia Crafa |
Subtyping and Matching for Mobile Objects. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell |
Filter Models and Easy Terms. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Fiala 0001, Jan Kratochvíl, Andrzej Proskurowski |
Distance Constrained Labeling of Precolored Trees. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Dora Giammarresi, Rosa Montalbano, Derick Wood |
Block-Deterministic Regular Languages. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Ausiello, Paolo Giulio Franciosa, Daniele Frigioni |
Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
Directed hypergraph, minimum weight hyperpath, dynamic algorithm, AND/OR graph |
1 | Juraj Hromkovic, Kathleen Steinhöfel, Peter Widmayer |
Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|