Conferences in DBLP
(csr) Yuri Gurevich Proving Church's Thesis. [Citation Graph (0, 0)][DBLP ] Conf ] Scott Aaronson The Limits of Quantum Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur Marrying Words and Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Geoff Sutcliffe TPTP, TSTP, CASC, etc. [Citation Graph (0, 0)][DBLP ] Conf ] Ziyad Hanna Abstract Modeling and Formal Verification of Microprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Géraud Sénizergues Sequences of Level 1, 2, 3, ..., k , ... [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan Aman , Gabriel Ciobanu Timers and Proximities for Mobile Ambients. [Citation Graph (0, 0)][DBLP ] Conf ] Ehsan Amiri , Evgeny S. Skvortsov Pushing Random Walk Beyond Golden Ratio. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Bock Axelsen , Robert Glück , Tetsuo Yokoyama Reversible Machine Code and Its Abstract Processor Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Maxim A. Babenko A Fast Algorithm for Path 2-Packing Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Danièle Beauquier , Marie Duflot , Yury Lifshits Decidability of Parameterized Probabilistic Information Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Harry Buhrman , Lance Fortnow , Michal Koucký , John D. Rogers , Nikolai K. Vereshchagin Inverting Onto Functions and Polynomial Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Cansell , Dominique Méry Proved-Patterns-Based Development for Structured Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Samir Datta , Raghav Kulkarni , Nutan Limaye , Meena Mahajan Planarity, Determinants, Permanents, and (Unique) Matchings. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Glaßer , Katrin Herr , Christian Reitwießner , Stephen D. Travers , Matthias Waldherr Equivalence Problems for Circuits over Sets of Natural Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Victor S. Grishchenko Bouillon: A Wiki-Wiki Social Web. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Heinemann A PDL-Like Logic of Knowledge Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] Navid Imani , Hamid Sarbazi-Azad , Selim G. Akl Resource Placement in Networks Using Chromatic Sets of Power Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Artur Jez , Alexander Okhotin Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Jonsson , Andrei A. Krokhin , Fredrik Kuivinen Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander S. Kulikov , Konstantin Kutzkov New Bounds for MAX-SAT by Clause Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Sh. Levin Towards Hierarchical Clustering (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Yury Lifshits , Dirk Nowotka Estimation of the Click Volume by Large Scale Regression Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Hoffmann , Yury Lifshits , Dirk Nowotka Maximal Intersection Queries in Randomized Graph Models. [Citation Graph (0, 0)][DBLP ] Conf ] Alexei Lisitsa , Andrei P. Nemytykh A Note on Specialization of Interpreters. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Lohrey , Saul Schleimer Efficient Computation in Groups Via Compression. [Citation Graph (0, 0)][DBLP ] Conf ] Alexei Lysenko Constructing a Secret Binary Partition of a Digital Image Robust to a Loss of Synchronization. [Citation Graph (0, 0)][DBLP ] Conf ] Meena Mahajan , Jayalal M. N. Sarma On the Complexity of Matrix Rank and Rigidity. [Citation Graph (0, 0)][DBLP ] Conf ] Jorge R. Manjarrez Sanchez , José Martinez , Patrick Valduriez On the Usage of Clustering for Content Based Image Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Reza Moraveji , Hamid Sarbazi-Azad , Abbas Nayebi , Keyvan Navi Performance Modeling of Wormhole Hypermeshes Under Hotspot Traffic. [Citation Graph (0, 0)][DBLP ] Conf ] Valery A. Nepomniaschy , Gennady I. Alekseev , Victor S. Argirov , Dmitri M. Beloglazov , Alexandre V. Bystrov , Eugene A. Chetvertakov , Tatiana G. Churina , Sergey P. Mylnikov , Ruslan M. Novikov Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Sylvain Perifel Symmetry of Information and Nonuniform Lower Bounds. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir V. Podolskii Perceptrons of Large Weight. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Poupet A Padding Technique on Cellular Automata to Transfer Inclusions of Complexity Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Andrey Yu. Rumyantsev Kolmogorov Complexity, Lovász Local Lemma and Critical Exponents. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Rybalov Generic Complexity of Presburger Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Kalle Saari Everywhere alpha -Repetitive Sequences and Sturmian Words. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Sharp , Michael R. Hansen Timed Traces and Strand Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir V'yugin On Empirical Meaning of Randomness with Respect to a Real Parameter. [Citation Graph (0, 0)][DBLP ] Conf ] Sergey P. Tarasov , Mikhail N. Vyalyi An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity. [Citation Graph (0, 0)][DBLP ] Conf ] Alexei G. Myasnikov Generic Complexity of Undecidable Problems. [Citation Graph (0, 0)][DBLP ] Conf ] 