Theoretical computer science

Label

• Theoretical computer science (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Theoretical foundations of security analysis and design II. Preface (Articolo in rivista) (Prodotto della ricerca)
• On compact representations of all-pairs-shortest-path-distance matrices (Articolo in rivista) (Prodotto della ricerca)
• Infinite unfair shuffles and associativity (Articolo in rivista) (Prodotto della ricerca)
• Automated Compositional Proofs for real-Time Systems (Articolo in rivista) (Prodotto della ricerca)
• Fault Diagnosis of Grid Structures (Articolo in rivista) (Prodotto della ricerca)
• Efficient corona training protocols for sensor networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Edge colouring of regular graphs of large degree (Articolo in rivista) (Prodotto della ricerca)
• Greedy expansions and sets with deleted digits (Articolo in rivista) (Prodotto della ricerca)
• Swapping a Failing Edge of a Shortest Paths Tree by Minimizing the Average Stretch Factor (Articolo in rivista) (Prodotto della ricerca)
• Tile Rewriting Grammars and Picture Languages (Articolo in rivista) (Prodotto della ricerca)
• Reeb graphs for shape analysis and applications (Articolo in rivista) (Prodotto della ricerca)
• Any-world assumptions in logic programming (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Improved Approximability and Non-approximability Results for Graph Diameter Decreasing Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On computing the diameter of a point set in high dimensional Euclidean space (Articolo in rivista) (Prodotto della ricerca)
• A relation between trinucleotide comma-free codes and trinucleotide circular codes (Articolo in rivista) (Prodotto della ricerca)
• Vector Team Automata (Articolo in rivista) (Prodotto della ricerca)
• Associative language descriptions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Metric semantics for true concurrent real time (Articolo in rivista) (Prodotto della ricerca)
• The plurality problem with three colors and more (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Episturmian words and episturmian morphisms (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Synchronized shuffles (Articolo in rivista) (Prodotto della ricerca)
• Reeb graphs for shape analysis and applications (Articolo in rivista) (Prodotto della ricerca)
• Finding the Most Vital Node of a Shortest Path (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Tiling Systems versus Tile Rewriting Grammars (Articolo in rivista) (Prodotto della ricerca)
• Quantitative Aspects of Programming Languages and Systems (2011-12). Preface (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• Analysis of security protocols as open systems (Articolo in rivista) (Prodotto della ricerca)
• Unfolding-Definition-Folding, in this order, for Avoiding Unnecessary Variables in Logic Programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Minimal invariant sets in a vertex-weighted graph (Articolo in rivista) (Prodotto della ricerca)
• Edge-colourung of join graphs (Articolo in rivista) (Prodotto della ricerca)
• Deterministic broadcasting time with partial knowledge of the network (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Computing logcfl certificates (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On Computing the Entropy of Cellular Automata (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Model checking mobile stochastic logic (Articolo in rivista) (Prodotto della ricerca)
• Modulated string searching (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On the design of efficient ATM routing schemes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The complexity of equilibria: Hardness results for economies via a correspondence with games (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The Distributed Wireless Gathering Problem (Articolo in rivista) (Prodotto della ricerca)
• Inequalities characterizing standard Sturmian and episturmian words (Articolo in rivista) (Prodotto della ricerca)
• A comparison of three authentication properties (Articolo in rivista) (Prodotto della ricerca)

Alternative label

• Theor. comp. sci. (literal)

Language

• eng (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#issn

• 0304-3975 (literal)

Preferred label

• Theoretical computer science (literal)

Publisher

• Elsevier Lausanne ; NLD (literal)

Incoming links:

Rivista

• Finding the Most Vital Node of a Shortest Path (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• On the design of efficient ATM routing schemes (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Inequalities characterizing standard Sturmian and episturmian words (Articolo in rivista) (Prodotto della ricerca)
• Edge-colourung of join graphs (Articolo in rivista) (Prodotto della ricerca)
• Minimal invariant sets in a vertex-weighted graph (Articolo in rivista) (Prodotto della ricerca)
• On computing the diameter of a point set in high dimensional Euclidean space (Articolo in rivista) (Prodotto della ricerca)
• The complexity of equilibria: Hardness results for economies via a correspondence with games (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Reeb graphs for shape analysis and applications (Articolo in rivista) (Prodotto della ricerca)
• Greedy expansions and sets with deleted digits (Articolo in rivista) (Prodotto della ricerca)
• Tiling Systems versus Tile Rewriting Grammars (Articolo in rivista) (Prodotto della ricerca)
• A comparison of three authentication properties (Articolo in rivista) (Prodotto della ricerca)
• Theoretical foundations of security analysis and design II. Preface (Articolo in rivista) (Prodotto della ricerca)
• The plurality problem with three colors and more (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Edge colouring of regular graphs of large degree (Articolo in rivista) (Prodotto della ricerca)
• Swapping a Failing Edge of a Shortest Paths Tree by Minimizing the Average Stretch Factor (Articolo in rivista) (Prodotto della ricerca)
• A relation between trinucleotide comma-free codes and trinucleotide circular codes (Articolo in rivista) (Prodotto della ricerca)
• The Distributed Wireless Gathering Problem (Articolo in rivista) (Prodotto della ricerca)
• Computing logcfl certificates (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Associative language descriptions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Automated Compositional Proofs for real-Time Systems (Articolo in rivista) (Prodotto della ricerca)
• Deterministic broadcasting time with partial knowledge of the network (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Analysis of security protocols as open systems (Articolo in rivista) (Prodotto della ricerca)
• On Computing the Entropy of Cellular Automata (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Reeb graphs for shape analysis and applications (Articolo in rivista) (Prodotto della ricerca)
• Any-world assumptions in logic programming (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Infinite unfair shuffles and associativity (Articolo in rivista) (Prodotto della ricerca)
• Model checking mobile stochastic logic (Articolo in rivista) (Prodotto della ricerca)
• Efficient corona training protocols for sensor networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Synchronized shuffles (Articolo in rivista) (Prodotto della ricerca)
• Metric semantics for true concurrent real time (Articolo in rivista) (Prodotto della ricerca)
• On compact representations of all-pairs-shortest-path-distance matrices (Articolo in rivista) (Prodotto della ricerca)
• Fault Diagnosis of Grid Structures (Articolo in rivista) (Prodotto della ricerca)
• Tile Rewriting Grammars and Picture Languages (Articolo in rivista) (Prodotto della ricerca)
• Improved Approximability and Non-approximability Results for Graph Diameter Decreasing Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Episturmian words and episturmian morphisms (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Unfolding-Definition-Folding, in this order, for Avoiding Unnecessary Variables in Logic Programs (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Modulated string searching (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Vector Team Automata (Articolo in rivista) (Prodotto della ricerca)
• Quantitative Aspects of Programming Languages and Systems (2011-12). Preface (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)