The SCEAS System
Navigation Menu

Search the dblp DataBase


Pertti Kellomäki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pertti Kellomäki, Tommi Mikkonen
    Design Templates for Collective Behavior. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2000, pp:277-295 [Conf]
  2. Pertti Kellomäki
    Verification of Reactive Systems Using DisCo and PVS. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:589-604 [Conf]
  3. Pertti Kellomäki, Tommi Mikkonen
    Archived Design Steps in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1858- [Conf]
  4. Pertti Kellomäki
    Composing Distributed Systems from Reusable Aspects of Behavior. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2002, pp:481-486 [Conf]
  5. Pertti Kellomäki
    Deriving Message Passing Protocols from Collective Behavior. [Citation Graph (0, 0)][DBLP]
    DIPES, 2000, pp:183-192 [Conf]
  6. Pertti Kellomäki, Tommi Mikkonen
    Modeling Distributed State as an Abstract Object. [Citation Graph (0, 0)][DBLP]
    DIPES, 1998, pp:223-230 [Conf]
  7. Pertti Kellomäki
    A Structural Embedding of Ocsid in PVS. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:281-296 [Conf]
  8. Timo Aaltonen, Joni Helin, Mika Katara, Pertti Kellomäki, Tommi Mikkonen
    Coordinating Aspects and Objects. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  9. Timo Aaltonen, Pertti Kellomäki, Risto Pitkänen
    Specifying Cash-Point with DisCo. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:231-232 [Journal]

  10. Reducing Context Switch Overhead with Compiler-Assisted Threading. [Citation Graph (, )][DBLP]

  11. Impact of Software Bypassing on Instruction Level Parallelism and Register File Traffic. [Citation Graph (, )][DBLP]

  12. Reducing processor energy consumption by compiler optimization. [Citation Graph (, )][DBLP]

  13. Reconfigurable video decoder with transform acceleration. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002