The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Juliana Küster Filipe: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Leïla Kloul, Juliana Küster Filipe
    Modelling Mobility with UML2.0 and PEPA Nets. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:153-164 [Conf]
  2. Juliana Küster Filipe
    Modelling Concurrent Interactions. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:304-318 [Conf]
  3. Juliana Küster Filipe
    Decomposing Interactions. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:189-203 [Conf]
  4. Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills
    Formal specification of Catalysis frameworks. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:180-187 [Conf]
  5. Alessandra Cavarra, Juliana Küster Filipe
    Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2004, pp:62-77 [Conf]
  6. Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe
    Optimizing Protocol Rewrite Rules of CIL Specifications. [Citation Graph (0, 0)][DBLP]
    CSFW, 2000, pp:52-62 [Conf]
  7. Juliana Küster Filipe
    Giving Life to Agent Interactions. [Citation Graph (0, 0)][DBLP]
    Objects, Agents, and Features, 2003, pp:98-116 [Conf]
  8. Antonio Grau, Juliana Küster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich
    The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools. [Citation Graph (0, 8)][DBLP]
    ER, 1998, pp:277-290 [Conf]
  9. Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens
    Enriching OCL Using Observational Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:203-217 [Conf]
  10. Stuart Anderson, Juliana Küster Filipe
    Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2003, pp:178-0 [Conf]
  11. Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu
    On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1999, pp:42-61 [Conf]
  12. Massimo Felici, Juliana Küster Filipe
    Limits in modelling evolving computer-based systems. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:706-710 [Conf]
  13. Alessandra Cavarra, Juliana Küster Filipe
    Combining Sequence Diagrams and OCL for Liveness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:19-38 [Journal]
  14. Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:1-2 [Journal]
  15. Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:3, pp:1-2 [Journal]
  16. Juliana Küster Filipe
    Fundamentals of Module Logic for Distributed Object Systems. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2000, v:2000, n:3, pp:- [Journal]
  17. Juliana Küster Filipe
    A logic-based formalization for component specification. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2002, v:1, n:3, pp:231-248 [Journal]
  18. Juliana Küster Filipe, Stuart Anderson
    On a time enriched OCL liveness template. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:2, pp:156-166 [Journal]
  19. Juliana Küster Filipe
    Modelling concurrent interactions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:351, n:2, pp:203-220 [Journal]
  20. Juliana Küster Filipe, Sotiris Moschoyiannis
    Concurrent Logic and Automata Combined: A Semantics for Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:135-151 [Journal]

Search in 0.004secs, Finished in 0.005secs
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