Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rudy Braquehais

Rudy M. Braquehais – Rudy Matela Braquehais – Rudy Matela

> Home > Persons

Person information

affiliation (PhD 2017): University of York, UK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2017
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Braquehais17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Braquehais17
Rudy Matela Braquehais:
Tools for discovery, refinement and generalization of functional properties by enumerative testing. University of York, UK, 2017

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Matela21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Matela21
Rudy Matela:
Express: applications of dynamically typed Haskell expressions. Haskell 2021: 98-109
2017
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/BraquehaisR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/BraquehaisR17
Rudy Braquehais, Colin Runciman:
Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. Haskell 2017: 40-51
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/BraquehaisR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/BraquehaisR17
Rudy Braquehais, Colin Runciman:
Extrapolate: generalizing counterexamples of functional test properties. IFL 2017: 3:1-3:11
2016
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/BraquehaisR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/BraquehaisR16
Rudy Braquehais, Colin Runciman:
FitSpec: refining property sets for functional testing. Haskell 2016: 1-12
2007
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/eatis/BezerraBRSFAJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eatis/BezerraBRSFAJ07
Jeandro Bezerra, Rudy Braquehais, Filipe Roberto, Jorge Silva, Marcial Porto Fernandez, Thelmo P. de Araújo, Celestino Junior:
A method using time series analysis for IEEE 802.11 WLANs channel forecasting. EATIS 2007: 21
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/eatis/CarneiroPPCSBMF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eatis/CarneiroPPCSBMF07
Domingos S. S. Carneiro, Paulo V. A. Pinheiro, Pedro H. Prudêncio, Daniel N. S. Cavalcante, Diego V. S. Sousa, Rudy M. Braquehais, Thially V. P. Marrocos, Marcial Porto Fernandez:
IP-checksum incremental update method proposal for efficient use of energy in wireless environments. EATIS 2007: 39

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.