Search results for "ICTCS"

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

Publications at "ICTCS"( http://dblp.L3S.de/Venues/ICTCS )