Safe and optimal scheduling of hard and soft tasks

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Référence Leibniz international proceedings in informatics, 122, page (1-22), 36
Publication Publié, 2018

Article révisé par les pairs

Titre:	Safe and optimal scheduling of hard and soft tasks
Auteur:	Geeraerts, Gilles; Guha, Shibashis; Raskin, Jean-François
Informations sur la publication:	Leibniz international proceedings in informatics, 122, page (1-22), 36
Statut de publication:	Publié, 2018
Sujet CREF:	Informatique mathématique
Langue:	Français
Identificateurs:	urn:issn:1868-8969

Two-Way Parikh Automata
par Filiot, Emmanuel , Guha, Shibashis , Mazzocchi, Nicolas
Publication 2019-01-01
An abstraction-refinement methodology for reasoning about network games
par Avni, Guy , Guha, Shibashis , Kupferman, Orna
Publication 2018-09
Timed network games with clocks
par Avni, Guy , Guha, Shibashis , Kupferman, Orna
Publication 2018-08
Timed vacuity
par Chockler, Hana , Guha, Shibashis , Kupferman, Orna
Publication 2018
Multi-player flow games
par Guha, Shibashis , Kupferman, Orna , Vardi, Gal
Publication 2018

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.

Conditions d'utilisation - Version : 4.1 (2019)

Exporter la liste de :

Loading scholar E-mail ...

Export bibliographie

Format de fichier :

Depuis :

Jusqu'à :

Inclure les références sans date :

Trier par :

Rôles :

Inclure les liens vers le texte intégral :

Oui (Non est la valeur par défaut)

Inclure l'abstract:

Oui (Non est la valeur par défaut)