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

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

http://xmlns.com/foaf/0.1/topic_interest Associativite-commutativite
http://xmlns.com/foaf/0.1/topic_interest Protocoles de sécurité
http://xmlns.com/foaf/0.1/topic_interest Protocole de sécurité
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest Lazy strategy
http://xmlns.com/foaf/0.1/topic_interest Protocols
http://xmlns.com/foaf/0.1/topic_interest Reecriture
http://xmlns.com/foaf/0.1/topic_interest Web service
http://xmlns.com/foaf/0.1/topic_interest Intruder model
http://xmlns.com/foaf/0.1/topic_interest Unification
http://xmlns.com/foaf/0.1/topic_interest Security protocol
http://xmlns.com/foaf/0.1/topic_interest Problèmes sat
http://xmlns.com/foaf/0.1/topic_interest Internet
http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/topic_interest Convergence
http://xmlns.com/foaf/0.1/topic_interest Unbounded
http://xmlns.com/foaf/0.1/topic_interest Completion
http://xmlns.com/foaf/0.1/topic_interest Secure Electronic Commerce
http://xmlns.com/foaf/0.1/topic_interest Théorie équationnelle
http://xmlns.com/foaf/0.1/topic_interest Splitting
http://xmlns.com/foaf/0.1/topic_interest First-order logic
http://xmlns.com/foaf/0.1/topic_interest Algèbres Booléennes
http://xmlns.com/foaf/0.1/topic_interest Rough set
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 Boolean algebras
http://xmlns.com/foaf/0.1/mbox_sha1sum 0a37c8b0d32a34102c5453d200ab938f
http://xmlns.com/foaf/0.1/topic_interest Modèle paresseux
http://xmlns.com/foaf/0.1/topic_interest Quasi-Boolean algebras
http://xmlns.com/foaf/0.1/topic_interest Démonstration automatique
http://xmlns.com/foaf/0.1/topic_interest Theorem proving
http://xmlns.com/foaf/0.1/topic_interest Sécurité réseau
http://xmlns.com/foaf/0.1/topic_interest Formal Methods
http://xmlns.com/foaf/0.1/topic_interest Logique du premier ordre
http://xmlns.com/foaf/0.1/topic_interest Automated verification
http://xmlns.com/foaf/0.1/topic_interest Vérification automatique
http://xmlns.com/foaf/0.1/topic_interest Diagrammes
http://xmlns.com/foaf/0.1/topic_interest Security protocols
http://www.w3.org/2002/07/owl#sameAs 137591489
http://xmlns.com/foaf/0.1/topic_interest Algèbres quasi-Booléennes
http://xmlns.com/foaf/0.1/topic_interest Protocoles de groupe
http://xmlns.com/foaf/0.1/familyName Vigneron
http://xmlns.com/foaf/0.1/topic_interest Protocol
http://xmlns.com/foaf/0.1/topic_interest UML verification
http://xmlns.com/foaf/0.1/topic_interest Lazy model
http://xmlns.com/foaf/0.1/topic_interest Hierarchical Group Protocols
http://xmlns.com/foaf/0.1/topic_interest Vérification
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/laurent-vigneron
http://xmlns.com/foaf/0.1/topic_interest Tree automata
http://xmlns.com/foaf/0.1/topic_interest Congruence closure
http://xmlns.com/foaf/0.1/topic_interest Clôture par congruence
http://xmlns.com/foaf/0.1/topic_interest Théorie des
http://xmlns.com/foaf/0.1/topic_interest Fairness
http://xmlns.com/foaf/0.1/topic_interest Ac theories
http://xmlns.com/foaf/0.1/topic_interest Sat solving
http://xmlns.com/foaf/0.1/topic_interest Non-repudiation
http://xmlns.com/foaf/0.1/topic_interest Rough diagrams
http://xmlns.com/foaf/0.1/topic_interest Network security
http://xmlns.com/foaf/0.1/topic_interest First order theorem proving
http://xmlns.com/foaf/0.1/topic_interest Modèle d'intrus
http://xmlns.com/foaf/0.1/topic_interest Authentication
http://xmlns.com/foaf/0.1/topic_interest Constraint reasoning
http://xmlns.com/foaf/0.1/topic_interest Ensembles approximants
http://xmlns.com/foaf/0.1/topic_interest Boolean algebra
http://xmlns.com/foaf/0.1/topic_interest Specification
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cr
http://xmlns.com/foaf/0.1/topic_interest Term rewriting
http://xmlns.com/foaf/0.1/topic_interest Déduction logique
http://xmlns.com/foaf/0.1/topic_interest Démonstration
http://xmlns.com/foaf/0.1/topic_interest Sécurité des communications
http://xmlns.com/foaf/0.1/topic_interest Automatic analysis
http://xmlns.com/foaf/0.1/topic_interest Associativity-commutativity
http://xmlns.com/foaf/0.1/topic_interest Quasi-Boolean algebra
http://xmlns.com/foaf/0.1/topic_interest Security
http://xmlns.com/foaf/0.1/topic_interest Déduction automatique
http://xmlns.com/foaf/0.1/topic_interest Logiciels
http://xmlns.com/foaf/0.1/topic_interest Verification of infinite state systems
http://xmlns.com/foaf/0.1/topic_interest Protocoles cryptographiques
http://xmlns.com/foaf/0.1/topic_interest Propriétés de sécurité
http://xmlns.com/foaf/0.1/topic_interest Composition
http://xmlns.com/foaf/0.1/topic_interest Cryptographic protocols
http://xmlns.com/foaf/0.1/topic_interest Unbounded size
http://xmlns.com/foaf/0.1/name Laurent Vigneron
http://xmlns.com/foaf/0.1/topic_interest Security Verification
http://xmlns.com/foaf/0.1/topic_interest Timeliness
http://xmlns.com/foaf/0.1/topic_interest Formal methods in security
http://xmlns.com/foaf/0.1/topic_interest Algèbres approximantes
http://xmlns.com/foaf/0.1/topic_interest Automated deduction
http://xmlns.com/foaf/0.1/topic_interest Protocoles
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dc
http://xmlns.com/foaf/0.1/topic_interest Congruence
http://xmlns.com/foaf/0.1/topic_interest Cloture par congruence
http://xmlns.com/foaf/0.1/topic_interest Privacy
http://xmlns.com/foaf/0.1/topic_interest AVISPA Tool
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest Rough sets
http://xmlns.com/foaf/0.1/topic_interest Non borné
http://xmlns.com/foaf/0.1/topic_interest Réécriture
http://xmlns.com/foaf/0.1/topic_interest Rough algebras
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ni
http://xmlns.com/foaf/0.1/firstName Laurent
http://xmlns.com/foaf/0.1/topic_interest Equational theories
http://xmlns.com/foaf/0.1/topic_interest Theories ac
http://xmlns.com/foaf/0.1/topic_interest Méthodes formelles en sécurité
http://xmlns.com/foaf/0.1/topic_interest Equations
http://xmlns.com/foaf/0.1/topic_interest Model checking
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Vérification de modèles
http://xmlns.com/foaf/0.1/topic_interest Ensemble approximant
http://xmlns.com/foaf/0.1/topic_interest Basic paramodulation
http://xmlns.com/foaf/0.1/topic_interest Diagrams
http://xmlns.com/foaf/0.1/topic_interest Taille non bornée
http://xmlns.com/foaf/0.1/topic_interest Stratégie paresseuse
http://xmlns.com/foaf/0.1/topic_interest Automatic Verification
https://aurehal.archives-ouvertes.fr/author/1421

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