Conferences in DBLP
Martín Abadi , Phillip Rogaway Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). [Citation Graph (0, 0)][DBLP ] Conf ] Masami Hagiya Theory and Construction of Molecular Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Madhu Sudan List Decoding: Algorithms and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Giancarlo Mauri , Giulio Pavesi Approximation Algorithms for String Folding Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Kimmo Fredriksson , Gonzalo Navarro , Esko Ukkonen An Index for Two Dimensional String Matching Allowing Rotations. [Citation Graph (0, 0)][DBLP ] Conf ] Chang-Sung Jeong , Sung-Up Cho , Sun-Chul Whang , Mi-Young Choi Parallel Edge Coloring of a Tree on a Mesh Connected Computer. [Citation Graph (0, 0)][DBLP ] Conf ] Ryuhei Uehara , Zhi-Zhong Chen Paralle Approximation Algorithms for Maximum Weighted Matching in General Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Ernst W. Mayr In Is on the Boundary: Complexity Considerations for Polynominal Ideals. [Citation Graph (0, 0)][DBLP ] Conf ] Yoojin Chung , Kunsoo Park , Hyuk-Chul Kwon An Efficient Parallel Algorithm for Scheduling Interval Ordered Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Evgeny V. Shchepin , Nodari Vakhania Task Distributions on Multiprocessor Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Sarzeaud , Yann Stéphan Fast Interpolation Using Kohonen Self-Organizing Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Blundo , Clemente Galdi Steganography Using Modern Arts. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Flajolet , Kostas P. Hatzis , Sotiris E. Nikoletseas , Paul G. Spirakis Trade-Offs between Density and Robustness in Random Interconnection Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Satoshi Taoka , Toshimasa Watanabe The (sigma+1)-Edge-Connectivity Augmentation Problem without Creating Multiple Edges of a Graph. [Citation Graph (0, 0)][DBLP ] Conf ] Sounaka Mishra , Kripasindhu Sikdar On the Hardness of Approximating Some NP-optimization Problems Related to Minimum Linear Ordering Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Eidenbenz , Christoph Stamm MAXIMUM CLIQUE and MINIMUM CLIQUE PARTITION in Visibility Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Buchholz , Andreas Klein , Martin Kutrib Real-Time Language Recognition by Alternating Cellular Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Martin Damage Spreading and µ-Sensitivity on Cellular Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Shu Tezuka Discrepancy Theory and Its Application to Finance. [Citation Graph (0, 0)][DBLP ] Conf ] Endre Boros , Toshihide Ibaraki , Kazuhisa Makino Fully Consistent Extensions of Partially Defined Boolean Functions with Missing Bits. [Citation Graph (0, 0)][DBLP ] Conf ] Takaaki Mizuki , Hiroki Shizuya , Takao Nishizeki Characterization of Optimal Key Set Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Valentin E. Brimkov , Stefan S. Dantchev On the Complexity of Integer Programming in the Blum-Shub-Smale Computational Model. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Alexander Albrecht , Chak-Kuen Wong On Logarithmic Simulated Annealing. [Citation Graph (0, 0)][DBLP ] Conf ] Mihalis Yannakakis Hierarchical State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Cardelli , Giorgio Ghelli , Andrew D. Gordon Ambient Groups and Mobility Types. [Citation Graph (0, 0)][DBLP ] Conf ] Cédric Fournet , Jean-Jacques Lévy , Alan Schmitt An Asynchronous, Distributed Implementation of Mobile Ambients. [Citation Graph (0, 0)][DBLP ] Conf ] Naoki Kobayashi Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Merro , Josva Kleist , Uwe Nestmann Local pi-Calculus at Work: Mobile Objects as Mobile Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Silvano Dal-Zilio An Interpretation of Typed Concurrent Objects in the Blue Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Joëlle Despeyroux A Higher-Order Specification of the pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bruni , Ugo Montanari , Vladimiro Sassone Open Ended Systems, Dynamic Bisimulation and Tile Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo P. Fiore Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Mayr On the Complexity of Bisimulation Problems for Pushdown Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Yukiyoshi Kameyama A Type-Theoretic Study on Partial Continuations. [Citation Graph (0, 0)][DBLP ] Conf ] Ken-etsu Fujita , Aleksy Schubert Partially Typed Terms between Church-Style and Curry-Style. [Citation Graph (0, 0)][DBLP ] Conf ] Christof Löding , Wolfgang Thomas Alternating Automata and Logics over Infinite Words. [Citation Graph (0, 0)][DBLP ] Conf ] Yann Loyer , Nicolas Spyratos , Daniel Stamate Hypothesis Support for Information Integration in Four-Valued Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger Masaccio: A Formal Model for Embedded Components. [Citation Graph (0, 0)][DBLP ] Conf ] Karl Lermer , Paul A. Strooper A Single Complete Refinement Rule for Demonic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Charpentier , K. Mani Chandy Reasoning about Composition Using Property Transformers and Their Conjugates. [Citation Graph (0, 0)][DBLP ] Conf ] Gordon D. Plotkin Some New Directions in the Syntax and Semantics of Formal Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Jozef Gruska New Challenges for Theoretical Computer Science. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Ausiello Algorithm Design Challenges. [Citation Graph (0, 0)][DBLP ] Conf ] Jozef Gruska Quantumization of Theoretical Informatics. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo Montanari Two Problems in Wide Area Network Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshihito Toyama New Challenges for Compuational Models. [Citation Graph (0, 0)][DBLP ] Conf ] Jirí Wiedermann Towards a Computational Theory of Everything. [Citation Graph (0, 0)][DBLP ] Conf ] Jan van Leeuwen , Jirí Wiedermann On the Power of Interactive Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Peter D. Mosses The Varieties of Programming Language Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] 