The SCEAS System
Navigation Menu

Conferences in DBLP

Logic in Computer Science (LICS) (lics)
2006 (conf/lics/2006)


  1. Reviewers. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:- [Conf]

  2. Foreward. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:- [Conf]

  3. Organizing Committee. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:- [Conf]

  4. Conference Organization. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:- [Conf]
  5. Randal E. Bryant
    Formal Verification of Infinite State Systems Using Boolean Methods. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:3-4 [Conf]
  6. Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David
    Two-Variable Logic on Words with Data. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:7-16 [Conf]
  7. Stéphane Demri, Ranko Lazic
    LTL with the Freeze Quantifier and Register Automata. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:17-26 [Conf]
  8. Guoqiang Pan, Moshe Y. Vardi
    Fixed-Parameter Hierarchies inside PSPACE. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:27-36 [Conf]
  9. Martin Otto
    The Boundedness Problem for Monadic Universal First-Order Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:37-48 [Conf]
  10. Marcelo P. Fiore, Sam Staton
    A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:49-58 [Conf]
  11. Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor
    On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:59-68 [Conf]
  12. Filippo Bonchi, Barbara König, Ugo Montanari
    Saturated Semantics for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:69-80 [Conf]
  13. C.-H. Luke Ong
    On Model-Checking Trees Generated by Higher-Order Recursion Schemes. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:81-90 [Conf]
  14. Dietrich Kuske, Markus Lohrey
    Monadic Chain Logic Over Iterations and Applications to Pushdown Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:91-100 [Conf]
  15. Vineet Kahlon, Aarti Gupta
    An Automata-Theoretic Approach for Model Checking Threads for LTL Propert. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:101-110 [Conf]
  16. Tachio Terauchi, Alex Aiken
    On Typability for Rank-2 Intersection Types with Polymorphic Recursion. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:111-122 [Conf]
  17. Andreas Blass
    Adapting Logics. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:123- [Conf]
  18. Adam Barth, John C. Mitchell
    Managing Digital Rights using Linear Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:127-136 [Conf]
  19. Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno
    Variables as Resource in Hoare Logics. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:137-146 [Conf]
  20. Jonathan Hayman, Glynn Winskel
    Independence and Concurrent Separation Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:147-156 [Conf]
  21. Daniel Leivant
    Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:157-168 [Conf]
  22. Ugo Dal Lago
    Context Semantics, Linear Logic and Computational Complexity. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:169-178 [Conf]
  23. Olivier Laurent, Lorenzo Tortora de Falco
    Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:179-188 [Conf]
  24. Alexis Maciel, Toniann Pitassi
    Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:189-200 [Conf]
  25. Benoit Larose, Cynthia Loten, Claude Tardif
    A Characterisation of First-Order Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:201-210 [Conf]
  26. Laura Chaubard, Jean-Eric Pin, Howard Straubing
    First Order Formulas with Modular Ppredicates. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:211-220 [Conf]
  27. Emil W. Kiss, Matthew Valeriote
    On Tractability and Congruence Distributivity. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:221-230 [Conf]
  28. Lutz Schröder, Dirk Pattinson
    PSPACE Bounds for Rank-1 Modal Logics. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:231-242 [Conf]
  29. Orna Kupferman
    Avoiding Determinization. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:243-254 [Conf]
  30. Nir Piterman
    From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:255-264 [Conf]
  31. Orna Kupferman, Moshe Y. Vardi
    Memoryful Branching-Time Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:265-274 [Conf]
  32. Nir Piterman, Amir Pnueli
    Faster Solutions of Rabin and Streett Games. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:275-284 [Conf]
  33. Mikolaj Bojanczyk, Thomas Colcombet
    Bounds in w-Regularity. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:285-296 [Conf]
  34. Søren B. Lassen
    Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:297-306 [Conf]
  35. Thierry Coquand, Arnaud Spiwack
    A Proof of Strong Normalisation using Domain Theory. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:307-316 [Conf]
  36. Giulio Manzonetto, Antonino Salibra
    Boolean Algebras for Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:317-326 [Conf]
  37. Makoto Tatsuta, Mariangiola Dezani-Ciancaglini
    Normalisation is Insensible to lambda-Term Identity or Difference. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:327-338 [Conf]
  38. John W. Dawson
    Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:339-341 [Conf]
  39. Andrew D. Gordon
    Provable Implementations of Security Protocols. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:345-346 [Conf]
  40. Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera
    Stochastic Games with Branching-Time Winning Objectives. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:349-358 [Conf]
  41. Dexter Kozen
    Coinductive Proof Principles for Stochastic Processes. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:359-366 [Conf]
  42. Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
    Control in o-minimal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:367-378 [Conf]
  43. Thomas Ball, Orna Kupferman
    An Abstraction-Refinement Framework for Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:379-388 [Conf]
  44. Daniele Varacca, Hagen Völzer
    Temporal Logics and Model Checking for Fairly Correct Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:389-398 [Conf]
  45. Sharon Shoham, Orna Grumberg
    3-Valued Abstraction: More Precision at Less Cost. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:399-410 [Conf]
  46. Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt
    Approximation Schemes for First-Order Definable Optimisation Problems. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:411-420 [Conf]
  47. Eldar Fischer, Frédéric Magniez, Michel de Rougemont
    Approximate Satisfiability and Equivalence. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:421-430 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002