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

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

http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/topic_interest Version control system
http://xmlns.com/foaf/0.1/name Cinzia Di Giusto
http://xmlns.com/foaf/0.1/topic_interest Theory of computation → Automata over infinite objects
http://xmlns.com/foaf/0.1/topic_interest Message sequence charts
http://xmlns.com/foaf/0.1/topic_interest Global types
http://xmlns.com/foaf/0.1/topic_interest Sugar substitutes
http://xmlns.com/foaf/0.1/topic_interest Petri nets
http://xmlns.com/foaf/0.1/topic_interest Special tree-width
http://xmlns.com/foaf/0.1/topic_interest Ecosystem models
http://xmlns.com/foaf/0.1/topic_interest Toxicity
http://xmlns.com/foaf/0.1/topic_interest Non-emptiness
http://xmlns.com/foaf/0.1/topic_interest Bounded Model Checking
http://xmlns.com/foaf/0.1/topic_interest Session types
http://xmlns.com/foaf/0.1/topic_interest Reductions and completeness
http://xmlns.com/foaf/0.1/topic_interest Distributed Systems
http://xmlns.com/foaf/0.1/topic_interest Programmation réactive synchrone
http://xmlns.com/foaf/0.1/topic_interest Bounded Treewidth
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/scco.comp
http://xmlns.com/foaf/0.1/mbox_sha1sum 2393a7d91255936aa54b6c5c0e08e511
http://xmlns.com/foaf/0.1/topic_interest 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 Types for structured communications
http://xmlns.com/foaf/0.1/topic_interest Message-passing
http://xmlns.com/foaf/0.1/familyName Di Giusto
http://xmlns.com/foaf/0.1/topic_interest MSO logic
http://xmlns.com/foaf/0.1/topic_interest Expressiveness
http://xmlns.com/foaf/0.1/topic_interest Sessions multi-parties
http://xmlns.com/foaf/0.1/topic_interest CCS
http://xmlns.com/foaf/0.1/topic_interest Model checking
http://xmlns.com/foaf/0.1/topic_interest Programming calculi
http://xmlns.com/foaf/0.1/topic_interest Membership
http://xmlns.com/foaf/0.1/topic_interest Types globaux
http://xmlns.com/foaf/0.1/topic_interest Adaptation
http://xmlns.com/foaf/0.1/topic_interest Theory of computation → Problems
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-ct
http://xmlns.com/foaf/0.1/topic_interest Runtime adaptation
http://xmlns.com/foaf/0.1/topic_interest Computation theory
http://xmlns.com/foaf/0.1/topic_interest Ecosystems
http://xmlns.com/foaf/0.1/topic_interest Memory automata
http://xmlns.com/foaf/0.1/topic_interest Patch
http://xmlns.com/foaf/0.1/topic_interest Asynchronous Communication
http://xmlns.com/foaf/0.1/topic_interest Dynamic infrastructure
http://xmlns.com/foaf/0.1/topic_interest Multiparty sessions
http://xmlns.com/foaf/0.1/topic_interest Concurrency
http://xmlns.com/foaf/0.1/topic_interest Service Oriented Systems
http://xmlns.com/foaf/0.1/topic_interest Behavioral types
http://xmlns.com/foaf/0.1/topic_interest Process calculi
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/cinziadigiusto
http://xmlns.com/foaf/0.1/topic_interest Pattern matching
http://xmlns.com/foaf/0.1/topic_interest Types de session
http://xmlns.com/foaf/0.1/topic_interest Communicating Automata
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest A/Synchronous communication
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-sc
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ni
http://xmlns.com/foaf/0.1/topic_interest Ν-automata
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/topic_interest Synchronizability
http://xmlns.com/foaf/0.1/topic_interest HRA
http://xmlns.com/foaf/0.1/topic_interest Structured communication
http://xmlns.com/foaf/0.1/topic_interest LaMA
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Rewriting systems
http://xmlns.com/foaf/0.1/topic_interest Synchronous reactive programming
http://xmlns.com/foaf/0.1/topic_interest Concurrent process
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-iu
http://xmlns.com/foaf/0.1/topic_interest Communicating finite-state machines
http://xmlns.com/foaf/0.1/topic_interest Run-time adaptation
http://xmlns.com/foaf/0.1/topic_interest Treewidth
http://xmlns.com/foaf/0.1/topic_interest Nu-automata
http://xmlns.com/foaf/0.1/topic_interest Adaptable processes
http://www.w3.org/2002/07/owl#sameAs 225879751
http://www.w3.org/2002/07/owl#sameAs https://scholar.google.com/citations?hl=it&user=mLyFdYIAAAAJ&view_op=list_works
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
http://xmlns.com/foaf/0.1/firstName Cinzia
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ds
http://www.w3.org/2002/07/owl#sameAs 0000-0003-1563-6581
http://xmlns.com/foaf/0.1/topic_interest Monadic Second order Logic
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest Free cocompletion
http://xmlns.com/foaf/0.1/topic_interest Process algebra
http://xmlns.com/foaf/0.1/topic_interest Similarity rate
http://xmlns.com/foaf/0.1/topic_interest Reaction networks
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-bi
https://aurehal.archives-ouvertes.fr/author/1477

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