Conferences in DBLP
Corrado Böhm Theoretical Computer Science and Software Science: The Past, the Present and the Future (Position Paper). [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Bernd Mahr Future Trends of TAPSOFT. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Nivat New Challenges for Theoretical Computer Science. [Citation Graph (0, 0)][DBLP ] Conf ] Donald Sannella What Does the Future Hold for Theoretical Computer Science? [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Thomas Automata Theory on Trees and Partial Orders. [Citation Graph (0, 0)][DBLP ] Conf ] Frits W. Vaandrager A Theory of Testing for Timed Automata (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] T. S. E. Maibaum Conservative Extensions, Interpretations Between Theories and All That! [Citation Graph (0, 0)][DBLP ] Conf ] Adel Bouhoula , Jean-Pierre Jouannaud , José Meseguer Specification and Proof in Membership Equational Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Egidio Astesiano , Gianna Reggio Formalism and Method. [Citation Graph (0, 0)][DBLP ] Conf ] Peter D. Mosses CoFI: The Common Framework Initiative for Algebraic Specification and Development. [Citation Graph (0, 0)][DBLP ] Conf ] Toshiyuki Yamada , Jürgen Avenhaus , Carlos Loría-Sáenz , Aart Middeldorp Logicality of Conditional Rewrite Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Salinier , Robert Strandh Simulating Forward-Branching Systems with Constructor Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Iabelle Biermann , Brigitte Rozoy Reliable Generalized and Context Dependent Commutation Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Andre , Francis Bossut Word-into-Tree Transducers with Bounded Difference. [Citation Graph (0, 0)][DBLP ] Conf ] E. Allen Emerson , Richard J. Trefler Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Danièle Beauquier , Anatol Slissenko The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Ilié , Khalil Ajami Model Checking Through Symbolic Reachability Graph. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Goubault Optimal Implementation of Wait-Free Binary Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Alfons Geser , Aart Middeldorp , Enno Ohlebusch , Hans Zantema Relative Undecidability in the Termination Hierarchy of Single Rewrite Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Genet , Isabelle Gnaedig Termination Proofs Using gpo Ordering Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Arts , Jürgen Giesl Automatically Proving Termination Where Simplification Orderings Fail. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan C. Martin , Andy King Generating Efficient, Terminating Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Baldamus , Jürgen Dingel Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Irek Ulidowski , Iain Phillips Formats of Ordered SOS Rules with Silent Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Marina Lenisa A Uniform Syntactical Method for Proving Coinduction Principles in Lambda-Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Franck van Breugel A Labelled Transition Systems for pi-epsilon-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Ali Amaniss , Miki Hermann , Denis Lugiez Set Operations for Recurrent Term Schematizations. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Müller , Joachim Niehren , Andreas Podelski Inclusion Constraints over Non-empty Sets of Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Franck Seynhaeve , Marc Tommasi , Ralf Treinen Grid Structure and Undecidable Constraint Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Leivant , Jean-Yves Marion Predicative Functional Recurrence and Poly-space. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Muth , Saumya K. Debray On the Complexity of Function Pointer May-Alias Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Tomas Kovacs , Andrzej Lingas Maximum Packing for Biconnected Outerplanar Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Salvatore La Torre , Margherita Napoli , Mimmo Parente Synchronization of a Line of Identical Processors at a Given Time. [Citation Graph (0, 0)][DBLP ] Conf ] Sabrina Mantaci , Daniele Micciancio An Algorithm for the Solution of Tree Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Limet , Pierre Réty E-Unification by Means of Tree Tuple Synchronized Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Aleksy Schubert Linear Interpolation for the Higher-Order Matching Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Puri Arenas-Sánchez , Mario Rodríguez-Artalejo A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. [Citation Graph (0, 0)][DBLP ] Conf ] Viviana Bono , Michele Bugliesi , Mariangiola Dezani-Ciancaglini , Luigi Liquori Subtyping Constraints for Incomplete Objects (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Alessi , Paolo Baldan , Furio Honsell Partializing Stone Spaces using SFP Domains (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Chuck Liang Let-Polymorphism and Eager Type Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] José Luiz Fiadeiro , Antónia Lopes Semantics of Architectural Connectors. [Citation Graph (0, 0)][DBLP ] Conf ] Gary T. Leavens , Jeannette M. Wing Protective Interface Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang May Specifying Complex and Structured Systems with Evolving Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Reif Andersen , Jørgen Staunstrup , Niels Maretti A Comparison of Modular Verification Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Kåre J. Kristoffersen , François Laroussinie , Kim Guldstrand Larsen , Paul Pettersson , Wang Yi A Compositional Proof of a Real-Time Mutual Exclusion Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Olaf Müller , Tobias Nipkow Traces of I/O-Automata in Isabelle/HOLCF. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Talpin Reactive Types. [Citation Graph (0, 0)][DBLP ] Conf ] Dennis M. Volpano , Geoffrey Smith A Type-Based Approach to Program Security. [Citation Graph (0, 0)][DBLP ] Conf ] Judicaël Courant An Applicative Module Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Phillips , Peter Scholz Compositional Specification of Embedded Systems with Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Levin , Doron Peled Verification of Message Sequence Charts via Template Matching. [Citation Graph (0, 0)][DBLP ] Conf ] S. Purushothaman Iyer , Murali Narasimha Probabilistic Lossy Channel Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Martín Abadi , K. Rustan M. Leino A Logic of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Schreiber Auxiliary Variables and Recursive Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Rocco De Nicola , Gian Luigi Ferrari , Rosario Pugliese Locality Based Linda: Programming with Explicit Localities. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Moreau A Syntactic Theory of Dynamic Binding. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Thiemann A Unified Framework for Binding-Time Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] J. B. Wells , Allyn Dimock , Robert Muller , Franklyn A. Turbak A Typed Intermediate Language for Flow-Directed Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Arend Rensink , Roberto Gorrieri Action Refinement as an Implementation Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Jacobs Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Staffan Bonnier , Tim Heyer COMPASS: A Comprehensible Assertion Method. [Citation Graph (0, 0)][DBLP ] Conf ] Maritta Heisel , Nicole Lévy Using LOTOS Patterns to Characterize Architectural Styles. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Donat Automating Formal Specification-Based Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Friedrich W. von Henke , Marko Luther , Martin Strecker Typelab: An Environment for Modular Program Development. [Citation Graph (0, 0)][DBLP ] Conf ] Kolyang , Christoph Lüth , Thomas Meyer , Burkhart Wolff TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel Proving System Correctness with KIV. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Voisin A new Proof-Manager and Graphic Interface for the Larch Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Richters , Martin Gogolla A Web-based Animator for Object Specifications in a Persistent Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Lubos Mikusiak , Miroslav Adámy , Thomas Seidmann Publishing Formal Specifications in Z Notation on World Wide Web. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Didrich , Torsten Klein DOSFOP - A Documentation Tool for the Algebraic Programming Language OPAL. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Caron AG: A Set of Maple Packages for Symbolic Computing of Automata and Semigroups. [Citation Graph (0, 0)][DBLP ] Conf ] 