Laura M. Castro

	2011
14		Thomas Arts, Laura M. Castro: Model-based testing of data types with side effects. Erlang Workshop 2011: 30-38
13		Laura M. Castro, Thomas Arts: Testing Data Consistency of Data-Intensive Applications Using QuickCheck. Electr. Notes Theor. Comput. Sci. 271: 41-62 (2011)
	2009
12		Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías: A Practical Methodology for Integration Testing. EUROCAST 2009: 881-888
	2008
11		J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro: Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. AISC/MKM/Calculemus 2008: 296-299
10		Thomas Arts, Laura M. Castro, John Hughes: Testing Erlang data types with quviq quickcheck. Erlang Workshop 2008: 1-8
9		Carlos Abalde, Víctor M. Gulías, Laura M. Castro: Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. ICIW 2008: 370-376
8		Laura M. Castro, Víctor M. Gulías, Carlos Abalde, J. Santiago Jorge: Managing the Risks of Risk Management. Journal of Decision Systems 17(4): 501-521 (2008)
	2007
7		Carlos Abalde, Víctor M. Gulías, Laura M. Castro: Towards a Decentralized and Structured Network of P2P Public Information Screens. EUROCAST 2007: 217-224
6		J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro: Verification of Program Properties Using Different Theorem Provers: A Case Study. EUROCAST 2007: 233-240
5		Carlos Abalde, Víctor M. Gulías, Laura M. Castro: Extending the VoDKA Architecture with P2P Aggregated Content Management. ISCC 2007: 1085-1090
4		J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro: Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio. JIISIC 2007: 27-34
	2006
3		Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela: Formalisation of a Functional Risk Management System. ICEIS (3) 2006: 516-519
	2004
2		Carlos Varela, Carlos Abalde, Laura M. Castro, Jose Gulías: On modelling agent systems with Erlang. Erlang Workshop 2004: 65-70
	2003
1		David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro: ARMISTICE: an experience developing management software with Erlang. Erlang Workshop 2003: 23-28

Coauthor Index

1	Carlos Abalde	[1] [2] [3] [5] [7] [8] [9]
2	Thomas Arts	[10] [13] [14]
3	David Cabrero	[1]
4	Miguel A. Francisco	[12]
5	Jose Gulías	[2]
6	Víctor M. Gulías	[3] [4] [5] [6] [7] [8] [9] [11] [12]
7	John Hughes	[10]
8	J. Santiago Jorge	[4] [6] [8] [11]
9	Carlos Varela	[1] [2] [3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page