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
Authors
(129)
Konstantinos Sagonas
10
Thomas Arts
7
Lars-ake Fredlund (Lars-åke Fredlund)
6
Richard Carlsson
5
Hans Eric Svensson
5
Clara Benac Earle
4
Jan Henry Nystrom (Jan Henry Nyström)
4
Philip W. Trinder
3
Joe L. Armstrong
3
Francesco Cesarini
3
Keywords
(245)
Subscribe
Academic
Conferences
ERLANG - Erlang Workshop
ERLANG - Erlang Workshop
Publications: 90
|
Citation Count: 339 (Self-Citation: 46)
|
H-Index: 9Year Range: 1993-2009
Interests:
Programming Languages
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(90)
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
Cleaning up Erlang code is a dirty job but somebody's gotta do it
(
Citations: 2
)
Thanassis Avgerinos
,
Konstantinos F. Sagonas
Conference:
Erlang Workshop - ERLANG
, pp. 1-10, 2009
Automatic testing of TCP/IP implementations using QuickCheck
(
Citations: 3
)
Javier Paris
,
Thomas Arts
Conference:
Erlang Workshop - ERLANG
, pp. 83-92, 2009
Implementing an LTL-to-Büchi translator in Erlang: a protest experience report
(
Citations: 2
)
Hans Svensson
Conference:
Erlang Workshop - ERLANG
, pp. 63-70, 2009
Automated module interface upgrade
(
Citations: 1
)
László Lövei
Conference:
Erlang Workshop - ERLANG
, pp. 11-22, 2009