default search action

combined dblp search
author search
venue search
publication search

ask others

Essays Dedicated Wang Yi 0001 2025

> Home > Conferences and Workshops > Essays Dedicated

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2025yi
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2025yi
Susanne Graf, Paul Pettersson, Bernhard Steffen:
Real Time and Such - Essays Dedicated to Wang Yi to Celebrate His Scientific Career. Lecture Notes in Computer Science 15230, Springer 2025, ISBN 978-3-031-73750-3
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GrafPS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GrafPS25
Susanne Graf, Paul Pettersson, Bernhard Steffen:
All About Time. 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HanssonNS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HanssonNS25
Hans Hansson, Christer Norström, Cristina Seceleanu:
Wang at MDU in a Nutshell. 8-11
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FersmanP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FersmanP25
Elena Fersman, Paul Pettersson:
To Sifu - Supervision, Mentorship and Lifelong Bond. 12-17
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Andersson25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Andersson25
Bjorn Andersson:
Research in One Area Benefits Another. 18-22
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Olderog25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Olderog25
Ernst-Rüdiger Olderog:
Verifying PLC-Automata Against Counterexample Formulas Using Timed Automata. 23-41
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/JohnsenKPT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/JohnsenKPT25
Einar Broch Johnsen, Paul Kobialka, Andrea Pferscher, Silvia Lizeth Tapia Tarifa:
Nudging Strategies for User Journeys: Take a Path on the Wild Side. 42-63
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GaoZAJ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GaoZAJ25
Yulong Gao, Can Zhou, Alessandro Abate, Karl Henrik Johansson:
Adaptive Task Planning and Formal Control Synthesis Using Temporal Logic Trees. 64-78
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AbdullaAD0S25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AbdullaAD0S25
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas:
Trading Space for Simplicity in Stateless Model Checking. 79-97
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KristjansenL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KristjansenL25
Martin Kristjansen, Kim Guldstrand Larsen:
Performance Analysis of Stochastic Digraph Real-Time Task Model. 98-119
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BaruahE25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BaruahE25
Sanjoy K. Baruah, Pontus Ekberg:
A Closer Look at Pseudo-polynomial Time and Its Use in Real-Time Scheduling Theory. 120-134
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/MurtoviSS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/MurtoviSS25
Alnis Murtovi, Maximilian Schlüter, Bernhard Steffen:
Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models. 135-153
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Henzinger25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Henzinger25
Thomas A. Henzinger:
Reminiscences of a Real-Time Researcher. 154-164

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.