Juliana Küster Filipe Bowles

Juliana Küster Filipe

	2008
23		Juliana Küster Filipe Bowles, Sotiris Moschoyiannis: When Things Go Wrong: Interrupting Conversations. FASE 2008: 131-145
	2007
22		Juliana Küster Filipe Bowles, Behzad Bordbar: A Formal Model for Integrating Multiple Views. ACSD 2007: 71-79
21		Juliana Küster Filipe, Sotiris Moschoyiannis: Concurrent Logic and Automata Combined: A Semantics for Components. Electr. Notes Theor. Comput. Sci. 175(2): 135-151 (2007)
20		Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner: Preface. Electr. Notes Theor. Comput. Sci. 176(2): 1-4 (2007)
	2006
19		Leïla Kloul, Juliana Küster Filipe: Modelling Mobility with UML2.0 and PEPA Nets. ACSD 2006: 153-164
18		Juliana Küster Filipe: Decomposing Interactions. AMAST 2006: 189-203
17		Juliana Küster Filipe, Stuart Anderson: On a time enriched OCL liveness template. STTT 8(2): 156-166 (2006)
16		Juliana Küster Filipe: Modelling concurrent interactions. Theor. Comput. Sci. 351(2): 203-220 (2006)
	2005
15		Alessandra Cavarra, Juliana Küster Filipe: Combining Sequence Diagrams and OCL for Liveness. Electr. Notes Theor. Comput. Sci. 115: 19-38 (2005)
14		Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla: Preface. Electr. Notes Theor. Comput. Sci. 141(3): 1-2 (2005)
	2004
13		Juliana Küster Filipe: Modelling Concurrent Interactions. AMAST 2004: 304-318
12		Alessandra Cavarra, Juliana Küster Filipe: Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. Abstract State Machines 2004: 62-77
11		Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla: Preface. Electr. Notes Theor. Comput. Sci. 108: 1-2 (2004)
	2003
10		Stuart Anderson, Juliana Küster Filipe: Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg. ICDCS Workshops 2003: 178-
9		Juliana Küster Filipe: Giving Life to Agent Interactions. Objects, Agents, and Features 2003: 98-116
	2002
8		Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens: Enriching OCL Using Observational Mu-Calculus. FASE 2002: 203-217
7		Massimo Felici, Juliana Küster Filipe: Limits in modelling evolving computer-based systems. SAC 2002: 706-710
6		Juliana Küster Filipe: A logic-based formalization for component specification. Journal of Object Technology 1(3): 231-248 (2002)
	2000
5		Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills: Formal specification of Catalysis frameworks. APSEC 2000: 180-187
4		Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe: Optimizing Protocol Rewrite Rules of CIL Specifications. CSFW 2000: 52-62
3		Juliana Küster Filipe: Fundamentals of Module Logic for Distributed Object Systems. Journal of Functional and Logic Programming 2000(3): (2000)
	1999
2		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. LOPSTR 1999: 42-61
	1998
1		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. ER 1998: 277-290

Coauthor Index

1	Stuart Anderson	[10] [17]
2	Behzad Bordbar	[22]
3	Julian C. Bradfield	[8]
4	Alessandra Cavarra	[12] [15]
5	Grit Denker	[4]
6	Silke Eckstein	[1]
7	Hans-Dieter Ehrich	[1]
8	Massimo Felici	[7]
9	Antonio Grau	[1] [4]
10	Leïla Kloul	[19]
11	Mojgan Kowsari	[1]
12	Kung-Kiu Lau	[2] [5]
13	Jonathan K. Millen	[4]
14	Sotiris Moschoyiannis	[21] [23]
15	Mario Ornaghi	[2] [5]
16	Ralf Pinger	[1]
17	Iman Poernomo	[11] [14] [20]
18	Ralf Reussner (Ralf H. Reussner)	[11] [14] [20]
19	Sandeep K. Shukla	[11] [14]
20	Perdita Stevens	[8]
21	Kenji Taguchi	[5]
22	Alan Wills	[5]
23	Hirokazu Yatsu	[2] [5]

Colors in the list of coauthors