The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ralph-Johan Back: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ralph-Johan Back
    Proving Total Correctness of Nondeterministic Programs in Infinitary Logic. [Citation Graph (1, 0)][DBLP]
    Acta Inf., 1981, v:15, n:, pp:233-249 [Journal]
  2. Ralph-Johan Back
    Incremental Software Construction with Refinement Diagrams. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:1- [Conf]
  3. Ralph-Johan Back
    Invariant Based Programming. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:1-18 [Conf]
  4. Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa
    Reasoning about Pointers in Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:425-0 [Conf]
  5. Ralph-Johan Back, Magnus Myreen
    Tool Support for Invariant Based Programming. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:711-718 [Conf]
  6. Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm
    Symbolic Simulation of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:147-0 [Conf]
  7. Ralph-Johan Back, Martin Büchi, Emil Sekerinski
    Action-Based Concurrency and Synchronization for Objects. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:248-262 [Conf]
  8. Ralph-Johan Back, Joakim von Wright
    Trace Refinement of Action Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:367-384 [Conf]
  9. Ralph-Johan Back, Cristina Cerschi Seceleanu
    Contracts and Games in Controller Synthesis for Discrete Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:307-315 [Conf]
  10. Ralph-Johan Back, Piia Hirkman, Luka Milovanov
    Evaluating the XP Customer Model and Design by Contract. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2004, pp:318-325 [Conf]
  11. Martin Büchi, Ralph-Johan Back
    Compositional Symmetric Sharing in B. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:431-451 [Conf]
  12. Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright
    Reasoning About Interactive Systems. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1460-1476 [Conf]
  13. Ralph-Johan Back, Kaisa Sere
    From Action Systems to Modular Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:1-25 [Conf]
  14. Ralph-Johan Back, Kaisa Sere
    Superposition Refinement of Parallel Algorithms. [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:475-493 [Conf]
  15. Ralph-Johan Back, Luigia Petre, Ivan Porres
    Generalizing Action Systems to Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:202-213 [Conf]
  16. Ralph-Johan Back
    Semantics of Unbounded Nondeterminism. [Citation Graph (0, 0)][DBLP]
    ICALP, 1980, pp:51-63 [Conf]
  17. Ralph-Johan Back, Reino Kurki-Suonio
    Serializability in Distributed Systems with Handshaking. [Citation Graph (0, 0)][DBLP]
    ICALP, 1988, pp:52-66 [Conf]
  18. Ralph-Johan Back, Heikki Mannila
    Locality in Modular Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:1-13 [Conf]
  19. Ralph-Johan Back
    SFI: A Refinement Based Layered Software Architecture. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:1-2 [Conf]
  20. Ralph-Johan Back, Viorel Preoteasa
    Reasoning about recursive procedures with parameters. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  21. Ralph-Johan Back, Michael J. Butler
    Exploring Summation and Product Operators in the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:128-158 [Conf]
  22. Ralph-Johan Back, Alain J. Martin, Kaisa Sere
    An Action System Specification of the Caltech Asynchronous Microprocessor. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:159-179 [Conf]
  23. Ralph-Johan Back, Kaisa Sere
    Stepwise Refinement of Action Systems. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:115-138 [Conf]
  24. Ralph-Johan Back, Joakim von Wright
    A Lattice-theoretical Basis for a Specification Language. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:139-156 [Conf]
  25. Ralph-Johan Back
    A Method for Refining Atomicity in Parallel Algorithms. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1989, pp:199-216 [Conf]
  26. Ralph-Johan Back, Reino Kurki-Suonio
    Decentralization of Process Nets with Centralized Control. [Citation Graph (0, 0)][DBLP]
    PODC, 1983, pp:131-142 [Conf]
  27. Ralph-Johan Back, Heikki Mannila
    A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:111-120 [Conf]
  28. Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä
    Derivation of Efficient DAG Marking Algorithms. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:20-27 [Conf]
  29. Ralph-Johan Back, Kaisa Sere
    Action Systems with Synchronous Communication. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:107-126 [Conf]
  30. Ralph-Johan Back, Luka Milovanov, Ivan Porres
    Software Development and Experimentation in an Academic Environment: The Gaudi Experience. [Citation Graph (0, 0)][DBLP]
    PROFES, 2005, pp:414-428 [Conf]
  31. Ralph-Johan Back
    Exception Handling with Multi-Exit Statements. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1980, pp:71-82 [Conf]
  32. Ralph-Johan Back
    Refinement Calculus, Part II: Parallel and Reactive Programs. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:67-93 [Conf]
  33. Ralph-Johan Back, Joakim von Wright
    Refinement Calculus, Part I: Sequential Nondeterministic Programs. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:42-66 [Conf]
  34. Ralph-Johan Back, Joakim von Wright
    Predicate Transformers and Higher Order Logic. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:1-20 [Conf]
  35. Ralph-Johan Back, Johannes Eriksson, Luka Milovanov
    Using Stepwise Feature Introduction in Practice: An Experience Report. [Citation Graph (0, 0)][DBLP]
    RISE, 2005, pp:2-17 [Conf]
  36. Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres
    A Workbench to Experiment on New Model Engineering Applications. [Citation Graph (0, 0)][DBLP]
    UML, 2003, pp:96-100 [Conf]
  37. Luigia Petre, Ralph-Johan Back, Ivan Paltor
    Analysing UML Use Cases as Contracts. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:518-533 [Conf]
  38. Ralph-Johan Back
    Software Construction by Stepwise Feature Introduction. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:162-183 [Conf]
  39. Ralph-Johan Back, Joakim von Wright
    Reasoning Algebraically about Loops. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1999, v:36, n:4, pp:295-334 [Journal]
  40. Ralph-Johan Back, Qiwen Xu
    Refinement of Fair Action Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:2, pp:131-165 [Journal]
  41. Ralph-Johan Back, Michael J. Butler
    Fusion and Simultaneous Execution in the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:11, pp:921-949 [Journal]
  42. Ralph-Johan Back, Joakim von Wright
    Duality in Specification Languages: A Lattice-Theoretical Approach. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:7, pp:583-625 [Journal]
  43. Ralph-Johan Back
    A Calculus of Refinements for Program Derivations. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1988, v:25, n:6, pp:593-624 [Journal]
  44. M. Aspnäs, Ralph-Johan Back
    A programming environment for a transputer-based multiprocessor system. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1990, v:9, n:3, pp:291-301 [Journal]
  45. Ralph-Johan Back, Reino Kurki-Suonio
    Decentralization of Process Nets with Centralized Control. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1989, v:3, n:2, pp:73-87 [Journal]
  46. Ralph-Johan Back, Joakim von Wright
    Compositional Action System Refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  47. Ralph-Johan Back, Joakim von Wright
    Contracts, games and refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  48. Ralph-Johan Back, Jim Grundy, Joakim von Wright
    Structured Calculational Proof. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:5-6, pp:469-483 [Journal]
  49. Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright
    Class Refinement as Semantics of Correct Object Substitutability. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:1, pp:18-40 [Journal]
  50. Ralph-Johan Back, Viorel Preoteasa
    An algebraic treatment of procedure refinement to support mechanical verification. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:1, pp:69-90 [Journal]
  51. Ralph-Johan Back, Kaisa Sere
    Superposition Refinement of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:3, pp:324-346 [Journal]
  52. Ralph-Johan Back, Joakim von Wright
    Encoding, Decoding and Data Refinement. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:5, pp:313-349 [Journal]
  53. Ralph-Johan Back, Joakim von Wright
    Compositional Action System Refinement. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:2-3, pp:103-117 [Journal]
  54. Ralph-Johan Back, Joakim von Wright
    Refinement Concepts Formalised in Higher Order Logic. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1990, v:2, n:3, pp:247-272 [Journal]
  55. Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio
    On Equivalence-Completions of Fairness Assumtions. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1992, v:4, n:6, pp:582-591 [Journal]
  56. Ralph-Johan Back, Heikki Mannila
    A Semantic Approach to Program Modularity [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:60, n:1-3, pp:138-167 [Journal]
  57. Ralph-Johan Back, Joakim von Wright
    Contracts, Games, and Refinement. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:156, n:1-2, pp:25-45 [Journal]
  58. Ralph-Johan Back, Joakim von Wright
    Games and Winning Strategies. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:53, n:3, pp:165-172 [Journal]
  59. Ralph-Johan Back
    On Correct Refinement of Programs. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1981, v:23, n:1, pp:49-68 [Journal]
  60. Ralph-Johan Back, Luigia Petre, Ivan Porres
    Continuous Action Systems as a Model for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2001, v:8, n:1, pp:2-21 [Journal]
  61. Ralph-Johan Back, Alain J. Martin, Kaisa Sere
    Specifying the Caltech Asynchronous Microprocessor. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:79-97 [Journal]
  62. Ralph-Johan Back, Kaisa Sere
    Stepwise Refinement of Parallel Algorithms. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1989, v:13, n:1, pp:133-180 [Journal]
  63. Ralph-Johan Back, Joakim von Wright
    Statement Inversion and Strongest Postcondition. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1993, v:20, n:3, pp:223-251 [Journal]
  64. Ralph-Johan Back, Kaisa Sere
    Stepwise Refinement of Action Systems. [Citation Graph (0, 0)][DBLP]
    Structured Programming, 1991, v:12, n:1, pp:17-30 [Journal]
  65. Ralph-Johan Back, Kaisa Sere
    From Action Systems to Modular Systems. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1996, v:17, n:1, pp:26-39 [Journal]
  66. Ralph-Johan Back
    A Continuous Semantics for Unbounded Nondeterminism. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:23, n:, pp:187-210 [Journal]
  67. Ralph-Johan Back, Heikki Mannila
    On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:39, n:, pp:47-68 [Journal]
  68. Ralph-Johan Back, Joakim von Wright
    Combining Angles, Demons and Miracles in Program Specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:100, n:2, pp:365-383 [Journal]
  69. Ralph-Johan Back, Reino Kurki-Suonio
    Distributed Cooperation with Action Systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1988, v:10, n:4, pp:513-554 [Journal]
  70. Ralph-Johan Back, Johannes Eriksson, Magnus Myreen
    Testing and Verifying Invariant Based Programs in the SOCOS Environment. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:61-78 [Conf]

  71. Computational Heuristics for Simplifying a Biological Model. [Citation Graph (, )][DBLP]


  72. Control Strategies for the Regulation of the Eukaryotic Heat Shock Response. [Citation Graph (, )][DBLP]


  73. Refinement Calculus as a Theory of Contracts (Invited Paper). [Citation Graph (, )][DBLP]


  74. Proceedings Second International Workshop on Computational Models for Cell Processes [Citation Graph (, )][DBLP]


  75. Data Refinement of Invariant Based Programs. [Citation Graph (, )][DBLP]


Search in 0.055secs, Finished in 0.058secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002