Edit Profile Sekerinski, Emil Compute Distance To: Compute Author ID: sekerinski.emil Published as: Sekerinski, Emil Documents Indexed: 16 Publications since 1993, including 4 Books all top 5 Co-Authors 8 single-authored 2 Zhang, Tian 2 Zurob, Rafik 1 Albert, Elvira 1 Büchi, Martin 1 Misra, Jayadev 1 Nipkow, Tobias 1 Sere, Kaisa Serials 2 Lecture Notes in Computer Science 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 Fundamenta Informaticae Fields 16 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 6 Publications have been cited 12 times in 11 Documents Cited by ▼ Year ▼ Program development by refinement. Case studies using the B method. Zbl 0930.68087Sekerinski, Emil (ed.); Sere, Kaisa (ed.) 4 1999 A calculus for predicative programming. Zbl 0789.68098Sekerinski, Emil 3 1993 A foundation for refining concurrent objects. Zbl 0965.68023Büchi, Martin; Sekerinski, Emil 2 2000 Concurrent object-oriented programs: from specification to code. Zbl 1254.68061Sekerinski, Emil 1 2003 Translating statecharts to B. Zbl 1057.68633Sekerinski, Emil; Zurob, Rafik 1 2002 On guarded commands with fair choice. Zbl 0963.68034Sekerinski, Emil 1 2000 Concurrent object-oriented programs: from specification to code. Zbl 1254.68061Sekerinski, Emil 1 2003 Translating statecharts to B. Zbl 1057.68633Sekerinski, Emil; Zurob, Rafik 1 2002 A foundation for refining concurrent objects. Zbl 0965.68023Büchi, Martin; Sekerinski, Emil 2 2000 On guarded commands with fair choice. Zbl 0963.68034Sekerinski, Emil 1 2000 Program development by refinement. Case studies using the B method. Zbl 0930.68087Sekerinski, Emil (ed.); Sere, Kaisa (ed.) 4 1999 A calculus for predicative programming. Zbl 0789.68098Sekerinski, Emil 3 1993 all cited Publications top 5 cited Publications all top 5 Cited by 24 Authors 2 Barbosa, Luís Soares 2 Hennicker, Rolf 2 Madeira, Alexandre 2 Martins, Manuel António 2 Sekerinski, Emil 2 Tchier, Fairouz 1 Banach, Richard 1 Desharnais, Jules 1 Fukuda, Akira 1 Hallerstede, Stefan 1 Huang, Runlei 1 Knapp, Alexander 1 Kong, Weiqiang 1 Kurki-Suonio, Reino 1 Merz, Stephan 1 Möller, Bernhard 1 Ohsaki, Hitoshi 1 Su, Wen 1 Taguchi, Kenji 1 Van Tang, Nguyen 1 Wirsing, Martin 1 Yamagata, Yoriyuki 1 Zappe, Júlia 1 Zhu, Huibiao Cited in 5 Serials 3 Theoretical Computer Science 3 Formal Aspects of Computing 1 Distributed Computing 1 The Journal of Logic and Algebraic Programming 1 Discrete and Continuous Dynamical Systems. Series S Cited in 5 Fields 10 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Systems theory; control (93-XX) Citations by Year