König, Barbara (19..-.... ; informaticienne)

König, Barbara (19..-.... ; informaticienne)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 156273225

URI de l'entité : http://www.idref.fr/156273225/id

Notice de type Personne

Point d'accès autorisé

König, Barbara (19..-.... ; informaticienne)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : anglais

Pays : Allemagne

Date de naissance : 19XX

Genre : Féminin

Notes

Note publique d'information :

Professeur à la faculté d'informatique de l'Université de Duisburg-Essen, Allemagne, à partir de 2006

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/281666375

Identifiant ORCID : 0000-0002-4193-2889

Identifiant SCOPUS : 8850002700

Identifiant ISNI : 0000000388442091

Source

CONCUR 2011 : concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings / Joost-Pieter Katoen, Barbara König (eds.), 2011

https://orcid.org/0000-0002-4193-2889, 2024-03-25

Information trouvée : Barbara König. Employment : Universität Duisburg-Essen, Germany, since 2006. Research interests : Concurrency theory, Semantics, Verification, Logic in computer science

https://www.uni-due.de/theoinf/people/koenig.php, 2024-03-25

Information trouvée : Prof. Dr. Barbara König, Universität Duisburg-Essen, Fakultät für Informatik, Abteilung für Allgemeine Informatik

... Références liées : ...