Conferences in DBLP
Igor V. Pottosin A.P. Ershov - A Pioneer and a Leader of National Programming. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:1-7 [Conf ] Rimma I. Podlovchenko A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:8-23 [Conf ] Yuri Gurevich The Abstract State Machine Paradigm: What Is in and What Is out. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:24- [Conf ] Svyatoslav Sergeevich Lavrov On Algorithmic Unsolvability. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:25-32 [Conf ] Jan Friso Groote , Hans Zantema Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:33-38 [Conf ] Nikolay V. Shilov , Kwang Yi On Expressive and Model Checking Power of Propositional Program Logics. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:39-46 [Conf ] Thomas Baar , Bernhard Beckert , Peter H. Schmitt An Extension of Dynamic Logic for Modelling OCL's @pre Operator. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:47-54 [Conf ] Valeriy Vyatkin Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:55-63 [Conf ] Natalia Ioustinova , Natalia Sidorova A Transformation of SDL Specifications - A Step towards the Verification. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:64-78 [Conf ] Supratik Mukhopadhyay , Andreas Podelski Accurate Widenings and Boundedness Properties of Timed Systems. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:79-94 [Conf ] Alexandre Riazanov , Andrei Voronkov Adaptive Saturation-Based Reasoning. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:95-108 [Conf ] Robert Eschbach A Verification Approach for Distributed Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:109-115 [Conf ] Thorsten Ehm Transformational Construction of Correct Pointer Algorithms. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:116-130 [Conf ] Kiyoshi Akama , Hidekatsu Koike , Hiroshi Mabuchi A Theoretical Foundation of Program Synthesis by Equivalent Transformation. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:131-139 [Conf ] Kiyoshi Akama , Hidekatsu Koike , Hiroshi Mabuchi Equivalent Transformation by Safe Extension of Data Structures. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:140-148 [Conf ] Viktor K. Sabelfeld , Christian Blumenröhr , Kai Kapp Semantics and Transformations in Formal Synthesis at System Level. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:149-156 [Conf ] Mait Harf , Kristiina Kindel , Vahur Kotkas , Peep Küngas , Enn Tyugu Automated Program Synthesis for Java Programming Language. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:157-164 [Conf ] Peter D. Mosses The Varieties of Programming Language Semantics. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:165-190 [Conf ] Rogardt Heldal , John Hughes Binding-Time Analysis for Polymorphic Types. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:191-204 [Conf ] Torben Æ. Mogensen An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:205-213 [Conf ] Irina Virbitskaite Observational Semantics for Timed Event Structures. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:214-224 [Conf ] Andrei Sabelfeld The Impact of Synchronisation on Secure Information Flow in Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:225-239 [Conf ] Valery A. Sokolov , Eugeny A. Timofeev Dynamical Priorities without Time Measurement and Modification of the TCP. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:240-245 [Conf ] Egidio Astesiano , Maura Cerioli , Gianna Reggio From ADT to UML-Like Modelling. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:246- [Conf ] Ella E. Roubtsova , Jan van Katwijk , Ruud C. M. de Rooij , Hans Toetenel Transformation of UML Specification to XTG. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:247-254 [Conf ] Berndt Farwer , Irina A. Lomazova A Systematic Approach towards Object-Based Petri Net Formalisms. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:255-267 [Conf ] Vitaly E. Kozura Unfoldings of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:268-278 [Conf ] Shengyuan Wang , Jian Yu , Chongyi Yuan A Net-Based Multi-tier Behavior Inheritance Modelling Method. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:279-286 [Conf ] Alexandre Petrenko Specification Based Testing: Towards Practice. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:287-300 [Conf ] Igor B. Bourdonov , Alexey V. Demakov , Andrew A. Jarov , Alexander Kossatchev , Victor V. Kuliamin , Alexandre Petrenko , Sergey V. Zelenov Java Specification Extension for Automated Test Development. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:301-307 [Conf ] Jan Jürjens , Guido Wimmel Specification-Based Testing of Firewalls. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:308-316 [Conf ] Andrey N. Terekhov , Len Erlikh Academic vs. Industrial Software Engineering: Closing the Gap. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:317-323 [Conf ] D. V. Koznov , Konstantin Romanovsky , Alexei Nikitin A Method for Recovery and Maintenance of Software Architecture. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:324-327 [Conf ] Dmitri Boulytchev , Dmitry Lomov An Empirical Study of Retargetable Compilers. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:328-335 [Conf ] S. Kazem Lellahi Conceptual Data Modeling: An Algebraic Viewpoint. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:336-348 [Conf ] Sergio Greco , Luigi Pontieri , Ester Zumpano Integrating and Managing Conflicting Data. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:349-362 [Conf ] Gian Piero Zarri A Knowledge Engineering Approach to Deal with `Narrative' Multimedia Documents. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:363-377 [Conf ] Vladimir Yu. Sazonov Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:378-394 [Conf ] Agostino Cortesi , Baudouin Le Charlier , Sabina Rossi Reexecution-Based Analysis of Logic Programs with Delay Declarations. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:395-405 [Conf ] Maurice Bruynooghe , Wim Vanhoof , Michael Codish Pos(T): Analyzing Dependencies in Typed Logic Programs. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:406-420 [Conf ] Yoon-Chan Jhi , Ki-Chang Kim , Kemal Ebcioglu , Yong Surk Lee A Prolog Tailoring Technique on an Epilog Tailored Procedure. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:421-433 [Conf ] Dmitry Ushakov Hierarchical Constraint Satisfaction Based on Subdefinite Models. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:434-445 [Conf ] Vitaly Telerman Using Constraint Solvers in CAD/CAM Systems. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:446-456 [Conf ] Laurent Granvilliers , Eric Monfroy A Graphical Interface for Solver Cooperations. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:457-467 [Conf ] Nikolaj S. Nikitchenko Abstract Computability of Non-deterministic Programs over Various Data Structures. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:468-481 [Conf ] Guillaume Bonfante , Jean-Yves Marion , Jean-Yves Moyen On Lexicographic Termination Ordering with Space Bound Certifications. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:482-493 [Conf ] Margarita V. Korovina , Oleg V. Kudinov Generalised Computability and Applications to Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:494-499 [Conf ] Roland Weiss , Volker Simonis Exploring Template Template Parameters. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:500-510 [Conf ] Vitaly V. Mikheev , Stanislav A. Fedoseev Compiler-Cooperative Memory Management in Java. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:511-518 [Conf ] Dietrich Birngruber A Software Composition Language and Its Implementation. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:519-529 [Conf ] Audris Kalnins , Karlis Podnieks , Andris Zarins , Edgars Celms , Janis Barzdins Editor Definition Language and Its Implementation. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:530-537 [Conf ] Alexey S. Rodionov , Dmitry V. Leskov Oberon-2 as Successor of Modula-2 in Simulation. [Citation Graph (0, 0)][DBLP ] Ershov Memorial Conference, 2001, pp:538-546 [Conf ]