|
Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM)Welcome note Recent publications
Journal Articles1. Tignol, Jean-Pierre. Isotropy of symplectic and unitary involutions: Appendix to a paper of N. Karpenko. In: American Journal of Mathematics, Vol. 135, no.1, p. 12-15 (2013). doi:10.1353/ajm.2013.0011. http://hdl.handle.net/2078.1/129311 Recent publications
Conference Papers1. Busard, Simon; Pecheur, Charles. PyNuSMV: NuSMV as a Python Library. 5th NASA Formal Methods Symposium (NFM 2013) (NASA Ames Research Center, Moffett Field, CA, USA, du 14/05/2013 au 16/05/2013). http://hdl.handle.net/2078.1/129114
|
27/05/2013
|
|
Thesis defenses
> Agenda
[ > more]
Don't miss
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||