The SCEAS System
Navigation Menu

Conferences in DBLP

Ershov Memorial Conference (ershov)
2001 (conf/ershov/2001)

  1. 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]
  2. 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]
  3. 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]
  4. Svyatoslav Sergeevich Lavrov
    On Algorithmic Unsolvability. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:25-32 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Alexandre Riazanov, Andrei Voronkov
    Adaptive Saturation-Based Reasoning. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:95-108 [Conf]
  12. Robert Eschbach
    A Verification Approach for Distributed Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:109-115 [Conf]
  13. Thorsten Ehm
    Transformational Construction of Correct Pointer Algorithms. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:116-130 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. Peter D. Mosses
    The Varieties of Programming Language Semantics. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:165-190 [Conf]
  19. Rogardt Heldal, John Hughes
    Binding-Time Analysis for Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:191-204 [Conf]
  20. 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]
  21. Irina Virbitskaite
    Observational Semantics for Timed Event Structures. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:214-224 [Conf]
  22. 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]
  23. 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]
  24. Egidio Astesiano, Maura Cerioli, Gianna Reggio
    From ADT to UML-Like Modelling. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:246- [Conf]
  25. 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]
  26. 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]
  27. Vitaly E. Kozura
    Unfoldings of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:268-278 [Conf]
  28. 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]
  29. Alexandre Petrenko
    Specification Based Testing: Towards Practice. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:287-300 [Conf]
  30. 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]
  31. Jan Jürjens, Guido Wimmel
    Specification-Based Testing of Firewalls. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:308-316 [Conf]
  32. 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]
  33. 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]
  34. Dmitri Boulytchev, Dmitry Lomov
    An Empirical Study of Retargetable Compilers. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:328-335 [Conf]
  35. S. Kazem Lellahi
    Conceptual Data Modeling: An Algebraic Viewpoint. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:336-348 [Conf]
  36. Sergio Greco, Luigi Pontieri, Ester Zumpano
    Integrating and Managing Conflicting Data. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:349-362 [Conf]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. Dmitry Ushakov
    Hierarchical Constraint Satisfaction Based on Subdefinite Models. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:434-445 [Conf]
  43. Vitaly Telerman
    Using Constraint Solvers in CAD/CAM Systems. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:446-456 [Conf]
  44. Laurent Granvilliers, Eric Monfroy
    A Graphical Interface for Solver Cooperations. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:457-467 [Conf]
  45. 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]
  46. 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]
  47. 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]
  48. Roland Weiss, Volker Simonis
    Exploring Template Template Parameters. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:500-510 [Conf]
  49. 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]
  50. Dietrich Birngruber
    A Software Composition Language and Its Implementation. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:519-529 [Conf]
  51. 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]
  52. 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]
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