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

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

http://xmlns.com/foaf/0.1/topic_interest Ordonnancement par étagères
http://xmlns.com/foaf/0.1/topic_interest Empirical evaluation
http://xmlns.com/foaf/0.1/topic_interest Left-linearity
http://xmlns.com/foaf/0.1/topic_interest Composition
http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/topic_interest Component
http://xmlns.com/foaf/0.1/topic_interest Algebraic properties
http://xmlns.com/foaf/0.1/topic_interest Substitutivity
http://xmlns.com/foaf/0.1/topic_interest Top-down automaton
http://xmlns.com/foaf/0.1/familyName Heam
http://xmlns.com/foaf/0.1/topic_interest Symbolic animation
http://xmlns.com/foaf/0.1/topic_interest Random generation
http://xmlns.com/foaf/0.1/topic_interest Performance asymptotique
http://xmlns.com/foaf/0.1/topic_interest Evaluation empirique
http://xmlns.com/foaf/0.1/topic_interest Gray Codes
http://xmlns.com/foaf/0.1/topic_interest Web Services
http://xmlns.com/foaf/0.1/topic_interest Membership problem
http://xmlns.com/foaf/0.1/topic_interest Abstraction refinement
http://xmlns.com/foaf/0.1/topic_interest Automates finis
http://xmlns.com/foaf/0.1/topic_interest Security protocols
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-wb
http://xmlns.com/foaf/0.1/topic_interest Tree automaton
http://xmlns.com/foaf/0.1/topic_interest Uniform distribution
http://xmlns.com/foaf/0.1/topic_interest Regular model cheking
http://xmlns.com/foaf/0.1/topic_interest Safe and sound abstractions
http://xmlns.com/foaf/0.1/topic_interest QoS
http://xmlns.com/foaf/0.1/topic_interest Decidability
http://xmlns.com/foaf/0.1/topic_interest Model-based testing
http://xmlns.com/foaf/0.1/topic_interest N-cube
http://xmlns.com/foaf/0.1/topic_interest Difficult cases
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest Chaotic Iterations
http://xmlns.com/foaf/0.1/topic_interest Reachability problem
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-rb
http://xmlns.com/foaf/0.1/topic_interest Évaluation empirique
http://xmlns.com/foaf/0.1/topic_interest Sequential transducer
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest Test generation
http://xmlns.com/foaf/0.1/topic_interest Pseudorandom Numbers Generator
http://xmlns.com/foaf/0.1/topic_interest PRNG
http://xmlns.com/foaf/0.1/topic_interest Finite Automata
http://xmlns.com/foaf/0.1/topic_interest Longest Processing Time LPT heuristic
http://xmlns.com/foaf/0.1/topic_interest Emptiness problem
http://xmlns.com/foaf/0.1/topic_interest Automata
http://xmlns.com/foaf/0.1/topic_interest Markov chains
http://xmlns.com/foaf/0.1/topic_interest Approximations
http://xmlns.com/foaf/0.1/firstName Pierre-Cyrille
http://xmlns.com/foaf/0.1/mbox_sha1sum 2f56fd8fd7dd4e65faaf995d76f23dcc
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 Tree-walking automaton
http://xmlns.com/foaf/0.1/topic_interest Transitive Closures
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-iu
http://xmlns.com/foaf/0.1/topic_interest TAGED
http://xmlns.com/foaf/0.1/topic_interest Regular tree languages
http://xmlns.com/foaf/0.1/topic_interest Regular languages
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mc
http://xmlns.com/foaf/0.1/topic_interest HLPSL
http://xmlns.com/foaf/0.1/topic_interest Minimisation d’énergie
http://xmlns.com/foaf/0.1/topic_interest Test
http://xmlns.com/foaf/0.1/topic_interest Modelisation
http://xmlns.com/foaf/0.1/topic_interest Constraint solving
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cc
http://xmlns.com/foaf/0.1/topic_interest Automatic approximation
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cr
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dm
http://xmlns.com/foaf/0.1/topic_interest Verifications
http://xmlns.com/foaf/0.1/topic_interest Model-checking
http://xmlns.com/foaf/0.1/topic_interest Security protocol
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dc
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/topic_interest Heuristique LPT Longest Processing Time
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ds
http://xmlns.com/foaf/0.1/topic_interest Non-deterministic automata
http://www.w3.org/2002/07/owl#sameAs 0000-0002-1125-1767
http://xmlns.com/foaf/0.1/topic_interest Distribution de coûts
http://www.w3.org/2002/07/owl#sameAs 089057872
http://xmlns.com/foaf/0.1/topic_interest Tree automata
http://xmlns.com/foaf/0.1/topic_interest Quality of Service
http://xmlns.com/foaf/0.1/topic_interest Chinese Postman algorithm
http://xmlns.com/foaf/0.1/topic_interest The original publication is available at wwwspringerlinkcom
http://xmlns.com/foaf/0.1/topic_interest Shelf scheduling
http://xmlns.com/foaf/0.1/topic_interest Theoretical limit
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-bi
http://xmlns.com/foaf/0.1/topic_interest Random Walk
http://xmlns.com/foaf/0.1/topic_interest Formal methods
http://xmlns.com/foaf/0.1/topic_interest Parametric systems
http://xmlns.com/foaf/0.1/topic_interest Energy minimization
http://xmlns.com/foaf/0.1/topic_interest Finite automata
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/nlin.nlin-cd
http://xmlns.com/foaf/0.1/topic_interest Max/plus automata
http://xmlns.com/foaf/0.1/topic_interest Machine learning
http://xmlns.com/foaf/0.1/topic_interest AVISPA
http://xmlns.com/foaf/0.1/topic_interest Asymptotic performance
http://xmlns.com/foaf/0.1/topic_interest Abstractions
http://xmlns.com/foaf/0.1/topic_interest Tree automata with constraints
http://xmlns.com/foaf/0.1/topic_interest Undecidable
http://xmlns.com/foaf/0.1/topic_interest Regular model checking
http://xmlns.com/foaf/0.1/topic_interest Rewriting techniques
http://xmlns.com/foaf/0.1/name Pierre-Cyrille Heam
http://xmlns.com/foaf/0.1/topic_interest Simulation
http://xmlns.com/foaf/0.1/topic_interest Hamiltonian cycles
http://xmlns.com/foaf/0.1/topic_interest Mixing time
http://xmlns.com/foaf/0.1/topic_interest Mutation testing
http://xmlns.com/foaf/0.1/topic_interest Cost distributions
http://xmlns.com/foaf/0.1/topic_interest Average complexity
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 Vérification
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/pierre-cyrille-heam
http://xmlns.com/foaf/0.1/topic_interest Semi-commutations
http://xmlns.com/foaf/0.1/topic_interest Infinite Words
http://xmlns.com/foaf/0.1/topic_interest Security
https://aurehal.archives-ouvertes.fr/author/1340

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