Bart J. van Rijnsoever

According to our database1, Bart J. van Rijnsoever authored at least 5 papers between 2000 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Evaluating the effect of a lightweight formal technique in industry.
Int. J. Softw. Tools Technol. Transf., 2016

2012
Experience Report on Designing and Developing Control Components Using Formal Methods.
Proceedings of the FM 2012: Formal Methods, 2012

2003
Interoperable Protection for Digital Multimedia Content.
J. VLSI Signal Process., 2003

2001
Conditional access system interoperability through software downloading.
IEEE Trans. Consumer Electron., 2001

2000
Interoperable Content Protection for Digital TV.
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000


  Loading...