Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(20)
Carlos Abalde
12
Victor M. Gulias (Víctor M. Gulías)
11
Carlos A. Varela
6
J. Santiago Jorge
5
Thomas Arts
2
Conferences
(8)
EUROCAST
3
ERLANG
3
ICEIS
1
AISC
1
ISCC
1
Journals
(4)
ENTCS
1
Journal of Decision Systems
1
CHEM ENG J
1
Fuel and Energy Abstracts
1
Keywords
(91)
Embed
Subscribe
Academic
Authors
Laura M. Castro
Edit
Laura M. Castro
Universidade da Coruña
Publications: 20
|
Citations: 20
|
G-Index: 3
|
H-Index: 3
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Artificial Intelligence
,
Engineering
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
20 co-authors
from 2003 to 2011
; Cited by
32 authors
Bing
Cumulative
Annual
Order by:
Publications
(20)
BibTeX
|
RIS
|
RefWorks
Download
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
(
Citations: 1
)
Laura M. Castro
,
Thomas Arts
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 271, pp. 41-62, 2011
Extracellular biosynthesis of gold nanoparticles using sugar beet pulp
(
Citations: 1
)
Laura Castro
,
M. Luisa Blázquez
,
Felisa González
,
Jesús A. Muñoz
,
Antonio Ballester
Journal:
Chemical Engineering Journal - CHEM ENG J
, vol. 164, no. 1, pp. 92-97, 2010
A Practical Methodology for Integration Testing
Laura M. Castro
,
Miguel A. Francisco
,
Víctor M. Gulías
Conference:
Conference On Computer Aided Systems Theory - EUROCAST
, pp. 881-888, 2009
Testing Erlang data types with quviq quickcheck
(
Citations: 3
)
Thomas Arts
,
Laura M. Castro
,
John Hughes
Conference:
Erlang Workshop - ERLANG
, pp. 1-8, 2008
Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs
(
Citations: 1
)
Carlos Abalde
,
Víctor M. Gulías
,
Laura M. Castro
Conference:
International Conference on Internet and Web Applications and Services - ICIW
, pp. 370-376, 2008
Order by:
Citations
(20 times by 15 publications)
Boom analytics: exploring data-centric, declarative programming for the cloud
(
Citations: 7
)
Peter Alvaro
,
Tyson Condie
,
Neil Conway
,
Khaled Elmeleegy
,
Joseph M. Hellerstein
,
Russell Sears
Conference:
EuroSys Conference - EUROSYS
, pp. 223-236, 2010
Property driven development in Erlang, by example
Samuel Rivas
,
Miguel Ángel Francisco
,
Víctor M. Gulías
Published in 2010.
Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck
(
Citations: 2
)
Nicolae Paladi
,
Thomas Arts
Conference:
Erlang Workshop - ERLANG
, pp. 71-82, 2009
BOOM: Data-Centric Programming in the Datacenter
(
Citations: 2
)
Peter Alvaro
,
Tyson Condie
,
Neil Conway
,
Khaled Elmeleegy
,
Joseph M. Hellerstein
,
Russell Sears
Conference:
EuroSys Conference - EUROSYS
, 2009
Property-Based Testing - The ProTest Project
(
Citations: 1
)
John Derrick
,
Neil Walkinshaw
,
Thomas Arts
,
Clara Benac Earle
,
Francesco Cesarini
,
Lars-Åke Fredlund
,
Víctor M. Gulías
,
John Hughes
,
Simon J. Thompson
Conference:
Formal Methods for Components and Objects
, pp. 250-271, 2009
Comments