Identifier:
E167142
ISSN:
0304-3975
Overview
Outputs (57)
A comparison of three authentication properties
Academic ArticleA partial ordering semantics for CCS
Academic ArticleAbelian powers and repetitions in Sturmian words
Academic ArticleAnalysis of security protocols as open systems
Academic ArticleAny-World Assumptions in Logic Programming
Academic ArticleAny-world assumptions in logic programming
Academic ArticleAssociative language descriptions
Academic ArticleAutomated Compositional Proofs for real-Time Systems
Academic ArticleComputing logcfl certificates
Academic ArticleDesign and analysis of periodic multiple seeds
Academic ArticleEdge colouring of regular graphs of large degree
Academic ArticleEdge-colourung of join graphs
Academic ArticleEfficient corona training protocols for sensor networks
Academic ArticleEpisturmian words and episturmian morphisms
Academic ArticleFault Diagnosis of Grid Structures
Academic ArticleFinding the Most Vital Node of a Shortest Path
Academic ArticleGreedy expansions and sets with deleted digits
Academic ArticleInequalities characterizing standard Sturmian and episturmian words
Academic ArticleInfinite unfair shuffles and associativity
Academic ArticleMetric semantics for true concurrent real time
Academic ArticleMinimal invariant sets in a vertex-weighted graph
Academic ArticleModel checking mobile stochastic logic
Academic ArticleModulated string searching
Academic ArticleMove-to-front, distance coding, and inversion frequencies revisited
Academic ArticleOn Computing the Entropy of Cellular Automata
Academic ArticleOn optimal parsing for LZ78-like compressors
Academic ArticleOn the asymptotic complexity of rectangular matrix multiplication
Academic ArticleOn the design of efficient ATM routing schemes
Academic ArticleOn timeline-based games and their complexity
Academic ArticleReeb graphs for shape analysis and applications
Academic ArticleReeb graphs for shape analysis and applications
Academic ArticleSynchronized shuffles
Academic ArticleTesting equivalences for processes
Academic ArticleThe Distributed Wireless Gathering Problem
Academic ArticleThe impact of dynamic events on the number of errors in networks
Academic ArticleThe plurality problem with three colors and more
Academic ArticleTheoretical foundations of security analysis and design II. Preface
Academic ArticleTile Rewriting Grammars and Picture Languages
Academic ArticleTiling Systems versus Tile Rewriting Grammars
Academic ArticleToward a theory of input-driven locally parsable languages
Academic ArticleTwo results on slime mold computations
Academic ArticleVector Team Automata
Academic ArticleNo Results Found