Conferences in DBLP
C. A. R. Hoare The Verifying Compiler: A Grand Challenge for Computing Research. [Citation Graph (0, 0)][DBLP ] Conf ] Torben Æ. Mogensen Linear Types for Cashflow Reengineering. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Weiss , Volker Simonis Storing Properties in Grouped Tagged Tuples. [Citation Graph (0, 0)][DBLP ] Conf ] Marcin Zalewski , Sibylle Schupp A Polymorphic Radix- n Framework for Fast Fourier Transforms. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang De Meuter , Theo D'Hondt , Jessie Dedecker Intersecting Classes and Prototypes. [Citation Graph (0, 0)][DBLP ] Conf ] Kim B. Bruce Bending without Breaking: Making Software More Flexible: Extended Abstract. [Citation Graph (0, 0)][DBLP ] Conf ] Jelena Sanko , Jaan Penjam Program Construction in the Context of Evolutionary Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Cindy Michiels , Monique Snoeck , Wilfried Lemahieu , Frank G. Goethals , Guido Dedene A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Bertrand Meyer The Outside-In Method of Teaching Introductory Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Viktor K. Sabelfeld , Kai Kapp Numeric Types in Formal Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolay P. Varnovsky , Vladimir A. Zakharov On the Possibility of Provably Secure Obfuscating Programs. [Citation Graph (0, 0)][DBLP ] Conf ] V. A. Nepomniaschy , Igor S. Anureev , Alexey V. Promsky Verification-Oriented Language C-Light and Its Structural Operational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Iman Poernomo Proofs-as-Imperative-Programs: Application to Synthesis of Contracts. [Citation Graph (0, 0)][DBLP ] Conf ] David Harel On the Visualization and Aesthetics of Large Graphs: Short Abstract. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Rammerstorfer , Hanspeter Mössenböck Data Mappings in the Model-View-Controller Pattern. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Glück The Translation Power of the Futamura Projections. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen-John Craig , Michael Leuschel A Compiler Generator for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei P. Nemytykh The Supercompiler SCP4: General Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei M. Chepovsky , Andrei V. Klimov , Arkady V. Klimov , Yuri A. Klimov , Andrei S. Mishchenko , Sergei A. Romanenko , Sergei Yu. Skorobogatov Partial Evaluation for Common Intermediate Language. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Blom , Natalia Ioustinova , Natalia Sidorova Timed Verification with µCRL. [Citation Graph (0, 0)][DBLP ] Conf ] Simona Orzan , Jaco van de Pol Verification of Distributed Dataspace Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Carlos Augusto , Michael J. Butler , Carla Ferreira , Stephen-John Craig Using SPIN and STeP to Verify Business Processes Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Engelbert Hubbers Integrating Tools for Automatic Program Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Tatiana Rybina , Andrei Voronkov A Logical Reconstruction of Reachability. [Citation Graph (0, 0)][DBLP ] Conf ] Margarita V. Korovina Recent Advances in S-Definability over Continuous Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Irina Virbitskaite , Natalya S. Gribovskaja Open Maps and Trace Semantics for Timed Partial Order Models. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Sabelfeld Confidentiality for Multithreaded Programs via Bisimulation. [Citation Graph (0, 0)][DBLP ] Conf ] Berndt Farwer , Kundan Misra Dynamic Modification of System Structures Using LLPNs. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Bugliesi , Riccardo Focardi , Matteo Maffei Principles for Entity Authentication. [Citation Graph (0, 0)][DBLP ] Conf ] Pierpaolo Degano , Fabio Gadducci , Corrado Priami Causality and Replication in Concurrent Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Valeriy Vyatkin Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice H. ter Beek , Erzsébet Csuhaj-Varjú , Victor Mitrana Teams of Pushdown Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Jürjens Algebraic State Machines: Concepts and Applications to Security. [Citation Graph (0, 0)][DBLP ] Conf ] Leonid Kof , Bernhard Schätz Combining Aspects of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Ziemann , Martin Gogolla OCL Extended with Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Baar The Definition of Transitive Closure with OCL - Limitations and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Rebeca P. Díaz Redondo , José J. Pazos Arias , Ana Fernández Vilas , Jorge García Duque , Alberto Gil-Solla Improving the Consistency Checking Process by Reusing Formal Verification Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Björklund , Sven Sandberg , Sergei G. Vorobyov Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolay V. Shilov , Natalya Olegovna Garanina Polynomial Approximations for Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Brice Pajot , Eric Monfroy Separating Search and Strategy in Solver Cooperations. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Sidorov , Vitaly Telerman Industrial Application of External Black-Box Functions in Constraint Programming Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Alexey Ershov , Ilia Ivanov , Serge Preis , Eugene Rukoleev , Dmitry Ushakov LGS: Geometric Constraint Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Yuri G. Dolgov On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Simonis , Roland Weiss ProgDOC - A New Program Documentation System. [Citation Graph (0, 0)][DBLP ] Conf ] Victor V. Kuliamin , Alexandre Petrenko , Nick V. Pakoulin , Alexander Kossatchev , Igor B. Bourdonov Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Seifert , Steffen Helke , Thomas Santen Test Case Generation for UML Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim W. Schmidt , Hans-Werner Sehring Conceptual Content Modeling and Management. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Manuel Almendros-Jiménez , Antonio Becerra-Terón A Relational Algebra for Functional Logic Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] José R. Paramá , Nieves R. Brisaboa , Miguel R. Penabad , Ángeles S. Places Implication of Functional Dependencies for Recursive Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Kjetil Nørvåg , Marit Limstrand , Lene Myklebust TeXOR: Temporal XML Database on an Object-Relational Database System. [Citation Graph (0, 0)][DBLP ] Conf ] Jixue Liu , Millist W. Vincent , Chengfei Liu Functional Dependencies, from Relational to XML. [Citation Graph (0, 0)][DBLP ] Conf ] Joaquín Pérez , Rodolfo A. Pazos , René Santaolaya Salgado , Juan Frausto Solís , Guillermo Rodríguez , Laura Cruz , Maricela Bravo Data-Object Replication, Distribution, and Mobility in Network Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Cornelis H. A. Koster , Marc Seutter , Jean Beney Multi-classification of Patent Applications with Winnow. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander F. Gelbukh , Grigori Sidorov , Sang-Yong Han , Liliana Chanona-Hernández Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses. [Citation Graph (0, 0)][DBLP ] Conf ] Anna V. Zhdanova , Pavel V. Mankevich An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 