BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Gilles Geeraerts
SearchCollections
Map detail
Gilles Geeraerts13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGilles GeeraertsAGilles GeeraertsResearcherEvent-Clock Automata: From Theory to PracticeWEvent-Clock Automata: F...preprint / 2011ω-Petri netsWω-Petri netspreprint / 2013Queue-Dispatch Asynchronous SystemsWQueue-Dispatch Asynchro...preprint / 2012Synthesising Succinct Strategies in Safety GamesWSynthesising Succinct S...preprint / 2014Adding Negative Prices to Priced Timed GamesWAdding Negative Prices ...preprint / 2020A faster exact multiprocessor schedulability test for sporadic tasksWA faster exact multipro...preprint / 2011To Reach or not to Reach? Efficient Algorithms for Total-Payoff GamesWTo Reach or not to Reac...preprint / 2015Quantitative Games under FailuresWQuantitative Games unde...preprint / 2015On Reachability for Hybrid Automata over Bounded TimeWOn Reachability for Hyb...preprint / 2011Time-bounded Reachability for Hybrid Automata: Complexity and FixpointsWTime-bounded Reachabili...preprint / 2012On MITL and alternating timed automataWOn MITL and alternating...preprint / 2013On MITL and alternating timed automata over infinite wordsWOn MITL and alternating...preprint / 2014
Person12 links

Gilles Geeraerts

Researcher

PaperEvent-Clock Automata: From Theory to PracticeAuthorship / preprint / 2011Paperω-Petri netsAuthorship / preprint / 2013PaperQueue-Dispatch Asynchronous SystemsAuthorship / preprint / 2012PaperSynthesising Succinct Strategies in Safety GamesAuthorship / preprint / 2014PaperAdding Negative Prices to Priced Timed GamesAuthorship / preprint / 2020PaperA faster exact multiprocessor schedulability test for sporadic tasksAuthorship / preprint / 2011PaperTo Reach or not to Reach? Efficient Algorithms for Total-Payoff GamesAuthorship / preprint / 2015PaperQuantitative Games under FailuresAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)