https://data.archives-ouvertes.fr/author/1457

https://data.archives-ouvertes.fr/author/1457

http://xmlns.com/foaf/0.1/topic_interest Nteractive theorem proving
http://xmlns.com/foaf/0.1/topic_interest Formal specifications
http://xmlns.com/foaf/0.1/topic_interest Non-locality
http://xmlns.com/foaf/0.1/topic_interest Graphe
http://xmlns.com/foaf/0.1/topic_interest Software analysis
http://xmlns.com/foaf/0.1/topic_interest Permutations
http://xmlns.com/foaf/0.1/topic_interest Rooted planar map
http://xmlns.com/foaf/0.1/topic_interest Combinatoire
http://xmlns.com/foaf/0.1/topic_interest Deductive verification
http://xmlns.com/foaf/0.1/topic_interest Binary
http://xmlns.com/foaf/0.1/topic_interest Algebra system
http://xmlns.com/foaf/0.1/topic_interest Software testing
http://xmlns.com/foaf/0.1/firstName Alain
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/topic_interest Tiling
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cr
http://xmlns.com/foaf/0.1/familyName Giorgetti
http://xmlns.com/foaf/0.1/topic_interest Boolean Function
http://xmlns.com/foaf/0.1/topic_interest Dessins d'enfants
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-et
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-es
http://xmlns.com/foaf/0.1/topic_interest Finite geomtries
http://xmlns.com/foaf/0.1/topic_interest Enumeration
http://xmlns.com/foaf/0.1/topic_interest Java modeling language
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dm
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dc
http://xmlns.com/foaf/0.1/topic_interest Property-based testing
http://xmlns.com/foaf/0.1/topic_interest Méthode déductive
http://xmlns.com/foaf/0.1/topic_interest Term rewriting
http://xmlns.com/foaf/0.1/topic_interest Propriétés temporelles
http://xmlns.com/foaf/0.1/topic_interest Liveness
http://xmlns.com/foaf/0.1/topic_interest Symbolic transformation
http://xmlns.com/foaf/0.1/topic_interest Programming
http://xmlns.com/foaf/0.1/topic_interest Schematic saturation
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-gr
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/topic_interest Symplectic
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ms
http://xmlns.com/foaf/0.1/topic_interest C programs
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ma
http://xmlns.com/foaf/0.1/topic_interest Deductive method
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-iu
http://xmlns.com/foaf/0.1/topic_interest Formal verification
http://xmlns.com/foaf/0.1/topic_interest Calcul formel
http://xmlns.com/foaf/0.1/topic_interest Superposition
http://xmlns.com/foaf/0.1/topic_interest Formal power series
http://xmlns.com/foaf/0.1/topic_interest Java Modeling Language
http://xmlns.com/foaf/0.1/topic_interest PHP
http://xmlns.com/foaf/0.1/topic_interest Méthodes formelles
http://xmlns.com/foaf/0.1/topic_interest Rooted map
http://xmlns.com/foaf/0.1/topic_interest Specifications
http://xmlns.com/foaf/0.1/topic_interest Non-compliance
http://xmlns.com/foaf/0.1/topic_interest Shuffle of Dyck words
http://xmlns.com/foaf/0.1/topic_interest Annotations
http://xmlns.com/foaf/0.1/topic_interest Time-consuming tasks
http://xmlns.com/foaf/0.1/topic_interest Rooted maps
http://xmlns.com/foaf/0.1/topic_interest Formal methods
http://xmlns.com/foaf/0.1/topic_interest Énumération
http://xmlns.com/foaf/0.1/topic_interest Application programs
http://xmlns.com/foaf/0.1/topic_interest Decision procedures
http://xmlns.com/foaf/0.1/topic_interest Unit testing
http://xmlns.com/foaf/0.1/topic_interest Equivalence relation
http://xmlns.com/foaf/0.1/topic_interest Design-by-Contract
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-au
http://xmlns.com/foaf/0.1/topic_interest Plug-ins
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest Logiciel sûr
http://xmlns.com/foaf/0.1/topic_interest Exhaustive Testing
http://xmlns.com/foaf/0.1/topic_interest Java language
http://xmlns.com/foaf/0.1/topic_interest Computer
http://xmlns.com/foaf/0.1/topic_interest Random testing
http://xmlns.com/foaf/0.1/topic_interest Programmation impérative
http://xmlns.com/foaf/0.1/topic_interest Surface topologique
http://xmlns.com/foaf/0.1/topic_interest Multiscale modeling
http://xmlns.com/foaf/0.1/topic_interest C codes
http://xmlns.com/foaf/0.1/topic_interest Temporal logic
http://xmlns.com/foaf/0.1/mbox_sha1sum bc5e32bc61ef7713f2b89a3355722bf8
http://xmlns.com/foaf/0.1/topic_interest Symbolic computation
http://xmlns.com/foaf/0.1/topic_interest Combinatorial enumeration
http://xmlns.com/foaf/0.1/topic_interest C programming language
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-co
http://xmlns.com/foaf/0.1/topic_interest Orientability
http://xmlns.com/foaf/0.1/topic_interest Combinatorics
http://xmlns.com/foaf/0.1/topic_interest Imperative programming
http://xmlns.com/foaf/0.1/topic_interest Functional specification
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/phys.qphy
http://xmlns.com/foaf/0.1/topic_interest Picture automata
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-gr
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/phys.phys.phys-optics
http://xmlns.com/foaf/0.1/topic_interest JML assertion
http://xmlns.com/foaf/0.1/topic_interest Algorithmic efficiency
http://xmlns.com/foaf/0.1/topic_interest Spécification fonctionnelle
http://xmlns.com/foaf/0.1/topic_interest Riemann surface
http://xmlns.com/foaf/0.1/topic_interest Carte
http://xmlns.com/foaf/0.1/topic_interest Simulation
http://xmlns.com/foaf/0.1/topic_interest Bounded exhaustive testing
http://xmlns.com/foaf/0.1/topic_interest Annotation language
http://xmlns.com/foaf/0.1/topic_interest Test generations
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-mp
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest Pattern
http://xmlns.com/foaf/0.1/topic_interest Enumerative Combinatorics
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ni
http://www.w3.org/2002/07/owl#sameAs https://scholar.google.com/citations?user=md_Mx2kAAAAJ
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest Vérification
http://xmlns.com/foaf/0.1/topic_interest Enumerative testing
http://www.w3.org/2002/07/owl#sameAs 0000-0002-0990-9611
http://www.w3.org/2002/07/owl#sameAs 117818380
http://www.w3.org/2002/07/owl#sameAs giorgetti_a_1
http://xmlns.com/foaf/0.1/topic_interest Quantum
http://xmlns.com/foaf/0.1/topic_interest Logic Programming
http://xmlns.com/foaf/0.1/topic_interest Picture languages
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest Logiciel
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-sc
http://xmlns.com/foaf/0.1/topic_interest Quantum contextuality
http://xmlns.com/foaf/0.1/topic_interest Sémantique formelle
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/alain-giorgetti
http://xmlns.com/foaf/0.1/topic_interest Strategies
http://xmlns.com/foaf/0.1/topic_interest Bounded-exhaustive testing
http://xmlns.com/foaf/0.1/topic_interest Série formelle
http://xmlns.com/foaf/0.1/topic_interest Formal specification
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/phys.mphy
http://xmlns.com/foaf/0.1/topic_interest Carte pointée
http://xmlns.com/foaf/0.1/topic_interest Formal semantics
http://xmlns.com/foaf/0.1/topic_interest Pauli groups
http://xmlns.com/foaf/0.1/name Alain Giorgetti
https://aurehal.archives-ouvertes.fr/author/1457

Télécharger au format  
RDF/XML Turtle N3 Json