| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marin Bougeret, Pierre-François Dutot, Klaus Jansen, Christina Otte, Denis Trystram |
Approximating the Non-contiguous Multiple Organization Packing Problem.  |
IFIP TCS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Salil Joshi, Sanjiva Prasad |
An Operational Model for Multiprocessors with Caches. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Panu Silvasti, Seppo Sippu, Eljas Soisalon-Soininen |
Online Dictionary Matching for Streams of XML Documents. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Song, Jens Chr. Godskesen |
Probabilistic Mobility Models for Mobile and Wireless Networks. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian S. Calude, Vladimiro Sassone (eds.) |
Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Harrie Jan Sander Bruggink, Barbara König |
A Logic on Subobjects and Recognizability. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Darko Brodic |
Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Given-Wilson, Daniele Gorla, Barry Jay |
Concurrent Pattern Calculus. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum |
Safe Equivalences for Security Properties. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nisansala Yatapanage, Kirsten Winter, Saad Zafar |
Slicing Behavior Tree Models for Verification. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Louis Curien, Guillaume Munch-Maccagnoni |
The Duality of Computation under Focus. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James Gross, Frank G. Radmacher, Wolfgang Thomas |
A Game-Theoretic Approach to Routing under Adversarial Conditions. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
Entropy and Attack Models in Information Flow - (Invited Talk). |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek |
Polarized Resolution Modulo. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Kaminski, Gert Smolka |
Terminating Tableaux for SOQ\mathcal{SOQ} with Number Restrictions on Transitive Roles. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Beate Bollig |
On Symbolic Representations of Maximum Matchings and (Un)directed Graphs. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibylle Schwarz, Ludwig Staiger |
Topologies Refining the Cantor Topology on Xomega. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Casteigts, Paola Flocchini, Bernard Mans, Nicola Santoro |
Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek |
The Coarsest Precongruences Respecting Safety and Liveness Properties. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fouad B. Chedid |
On Packing Splittable Items with Cardinality Constraints. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs |
Convexity, Duality and Effects. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupert Hölzl, Thorsten Kräling, Frank Stephan, Guohua Wu |
Initial Segment Complexities of Randomness Notions. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Boreale, David Clark, Daniele Gorla |
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Gallina, Sabina Rossi |
A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenyi Zhang, Jun Pang |
On Probabilistic Alternating Simulations. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Liu, Huimin Lin |
Proof System for Applied Pi Calculus. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupert Hölzl, Wolfgang Merkle |
Traceable Sets. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuichi Miyazaki, Kazuya Okamoto |
Improving the Competitive Ratios of the Seat Reservation Problem. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Ollinger, Gaétan Richard |
Collisions and their Catenations: Ultimately Periodic Tilings of the Plane. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fedor V. Fomin, Petr A. Golovach, Jan Kratochvíl |
On tractability of Cops and Robbers game. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
Pursuit-evasion games on graphs, cliquewidth, algorithms, complexity, parameterized complexity |
| 1 | Tobias Berg, Harald Hempel |
Inverse Problems Have Inverse Complexity. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi |
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub |
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Solving Monotone Polynomial Equations. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg |
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Sophie Tison |
Regular n-ary Queries in Trees and Variable Independence. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Hamiltonicity of automatic graphs. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel |
Adequacy of Compositional Translations for Observational Semantics. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Dennunzio, Pierre Guillon, Benoît Masson |
Stable Dynamics of Sand Automata. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bertoni, Christian Choffrut, Roberto Radicioni |
Literal Shuffle of Compressed Words. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Crochemore, Alessandra Gabriele, Filippo Mignosi, Mauriana Pesaresi |
On the Longest Common Factor Problem. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Rathke, Pawel Sobocinski |
Deconstructing behavioural theories of mobility. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre |
µ-calculus Pushdown Module Checking with Imperfect State Information. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xingwu Liu, Juhua Pu, Jianzhong Pan |
A Classification of Degenerate Loop Agreement. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
loop agreement, classification, distributed computing, computability |
| 1 | Kaustuv Chaudhuri, Dale Miller, Alexis Saurin |
Canonical Sequent Proofs via Multi-Focusing. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | A. N. Trahtman |
Synchronizing Road Coloring. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
road coloring problem, synchronization, graph, deterministic finite automaton |
| 1 | Roland Meyer |
On Boundedness in Depth in the pi-Calculus. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Ferruccio Damiani, Elena Giachino |
On Traits and Types in a Java-like Setting. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
Composition, Type System, Inheritance, Flattening |
| 1 | Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, C.-H. Luke Ong (eds.) |
Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy |
IFIP TCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Grégory Lafitte, Michael Weiss |
Computability of Tilings. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol |
Leader Election in Anonymous Rings: Franklin Goes Probabilistic. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli |
From Processes to ODEs by Chemistry. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen |
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Roughgarden |
Algorithmic Game Theory: Some Greatest Hits and Future Directions. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ehrhard |
Differential Linear Logic and Processes. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez |
Universal Coinductive Characterisations of Process Semantics. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Riku Saikkonen, Eljas Soisalon-Soininen |
Cache-sensitive Memory Layout for Binary Trees. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Okhotin, Panos Rondogiannis |
On the expressive power of univariate equations over sets of natural numbers. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dora Giammarresi, Antonio Restivo |
Ambiguity and Complementation in Recognizable Two-dimensional Languages. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Cogis, Benoît Darties, Sylvain Durand, Jean-Claude König, Geneviève Simonet |
The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networks. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah |
Marking the chops: an unambiguous temporal logic. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
Static and dynamic typing for the termination of mobile processes. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Peltier |
A Unified View of Tree Automata and Term Schematisations. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Coja-Oghlan, André Lanka |
Partitioning Random Graphs with General Degree Distributions. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Blondin Massé, Srecko Brlek, Andrea Frosini, Sébastien Labbé, Simone Rinaldi |
Reconstructing words from a fixed palindromic length sequence. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
Palindromic complexity, lacunas, reconstruction, defect |
| 1 | Hans-Joachim Böckenhauer, Luca Forlizzi, Juraj Hromkovic, Joachim Kneis, Joachim Kupke, Guido Proietti, Peter Widmayer |
Reusing Optimal TSP Solutions for Locally Modified Input Instances. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos A. Kiwi |
Adversarial Queueing Theory Revisited. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien d'Orso, Tayssir Touili |
Regular Hedge Model Checking. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Prencipe, Nicola Santoro |
Distributed Algorithms for Autonomous Mobile Robots. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Guttmann, Markus Maucher |
Variations on an Ordering Theme with Constraints. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
computational complexity, NP-completeness, total ordering, topological sorting, betweenness, cyclic ordering |
| 1 | Stefan Dobrev, Paola Flocchini, Rastislav Kralovic, Nicola Santoro |
Exploring an Unknown Graph to Locate a Black Hole Using Tokens. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Coja-Oghlan, Andreas Goerdt, André Lanka |
Spectral Partitioning of Random Graphs with Given Expected Degrees. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Francesco Fabris, Alberto Policriti |
BuST-Bundled Suffix Trees. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Arenas |
Locality of Queries and Transformations. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian C. Dean, Michel X. Goemans, Nicole Immorlica |
The Unsplittable Stable Marriage Problem. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Jéron, Hervé Marchand, Vlad Rusu |
Symbolic Determinisation of Extended Automata. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
symbolic automata, determinisation |
| 1 | Jozef Gruska |
From Informatics to Quantum Informatics. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Abraham, Rolf Kötter, Antje Krumnack, Egon Wanke |
A Connectivity Rating for Vertices in Networks. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihalis Yannakakis |
Recursion and Probability. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrej Brodnik, Johan Karlsson, J. Ian Munro, Andreas Nilsson |
An O(1) Solution to the Prefix Sum Problem on a Specialized Memory Architecture. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Completing Categorical Algebras. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Santoro |
Distributed Algorithms for Autonomous Mobile Robots. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuichi Sei, Kazutaka Matsuzaki, Shinichi Honiden |
An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiuzhen Huang, Jianer Chen |
On PTAS for Planar Graph Problems. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jozef Gruska |
From Informatics to Quantum Informatics. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Kutrib, Andreas Malcher |
Fast Cellular Automata with Restricted Inter-Cell Communication: Computational Capacity. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
Restricted communication, Computational capacity, Parallel computing, Cellular automata, Formal languages, Iterative arrays |
| 1 | Pietro di Lena |
Decidable Properties for Regular Cellular Automata. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Caromel, Ludovic Henrio |
Asynchonous Distributed Components: Concurrency and Determinacy. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Gutiérrez |
RDF as a Data Model. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gonzalo Navarro, Leopoldo E. Bertossi, Yoshiharu Kohayakawa (eds.) |
Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), IFIP 19th World Computer Congress, TC-1 Foundations of Computer Science, August 23-24, 2006, Santiago, Chile |
IFIP TCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hubert Schmid, Thomas Worsch |
The Firing Squad Synchronization Problem with Many Generals For One-Dimensional CA. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Glynn Winskel, Francesco Zappa Nardelli |
New-HOPLA: A Higher-order Process Language with Name Generation. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Livio Colussi, Gilberto Filé, A. Griggio |
Precise Analysis of p-Calculus in Cubic Time. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Benjamin Wack |
The Simply-typed Pure Pattern Type System Ensures Strong Normalization. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Zhaohui Cheng, Richard Comley, Luminita Vasiu |
Remove Key Escrow from The Identity-Based Encryption System. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Klaus Jansen |
Approximation Algorithms for Mixed Fractional Packing and Covering Problems. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Chung-Chih Li |
Asymptotic Behaviors of Type-2 Algorithms and Induced Baire Topologies. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Zhiming Liu, Jifeng He, Xiaoshan Li |
Contract Oriented Development of Component Software. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michaël Rusinowitch |
A Decidable Analysis of Security Protocols. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion |
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")