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

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

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 5G standard
http://xmlns.com/foaf/0.1/topic_interest Equivalence-based properties
http://xmlns.com/foaf/0.1/topic_interest Symbolic verification
http://xmlns.com/foaf/0.1/topic_interest Parity automata
http://xmlns.com/foaf/0.1/topic_interest AKA protocol
http://xmlns.com/foaf/0.1/name Lucca Hirschi
http://xmlns.com/foaf/0.1/topic_interest Safra construction
http://www.w3.org/2002/07/owl#sameAs 201643510
http://xmlns.com/foaf/0.1/topic_interest Buchi automata
http://xmlns.com/foaf/0.1/topic_interest Software analysis
http://xmlns.com/foaf/0.1/topic_interest Security and privacy
http://xmlns.com/foaf/0.1/topic_interest Formal analysis
http://xmlns.com/foaf/0.1/familyName Hirschi
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest E-voting
http://xmlns.com/foaf/0.1/mbox_sha1sum 9fc4b72abba2edef7897028bdb16c40e
http://xmlns.com/foaf/0.1/topic_interest Proof theory
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cr
http://xmlns.com/foaf/0.1/topic_interest Linear time mu calculus
http://xmlns.com/foaf/0.1/firstName Lucca
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/lucca-hirschi
http://xmlns.com/foaf/0.1/topic_interest Formal verification
http://xmlns.com/foaf/0.1/topic_interest Authentication protocols
http://xmlns.com/foaf/0.1/topic_interest Circular proofs
http://xmlns.com/foaf/0.1/topic_interest Cryptographic protocols
http://xmlns.com/foaf/0.1/topic_interest Security protocols
http://xmlns.com/foaf/0.1/topic_interest Symbolic model
http://xmlns.com/foaf/0.1/topic_interest Exclusive or
https://aurehal.archives-ouvertes.fr/author/179451

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