par Hunter, Paul William ;Perez, Guillermo A. ;Raskin, Jean-François
Référence 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 42, page (114-127)
Publication Publié, 2015
Publication dans des actes
Titre:
  • Reactive Synthesis Without Regret
Auteur:Hunter, Paul William; Perez, Guillermo A.; Raskin, Jean-François
Informations sur la publication:26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 42, page (114-127)
Statut de publication:Publié, 2015
series:LIPIcs
Sujet CREF:Sciences exactes et naturelles
Langue:Anglais
Identificateurs:info:doi/10.4230/LIPIcs.CONCUR.2015.114
https://doi.org/10.4230/LIPIcs.CONCUR.2015.114

Documents en relation

DI-fusion

  • Data-based Reports; Hydroacoustic observations of volcanic degassing (IN REVIEW)
    par Caudron, Corentin , Roche, Ben John , Vandemeulebrouck, Jean , Barrière, Julien
    Publication 2026-12-31
  • Climate modulations of the Mediterranean nitrogen cycle
    par Wald, Tanja , Ai, Xuyuan Ellen , Foreman, Alan , Fripiat, François , Bieler, Aaron L. , Ryu, Yeongjun , Udara, Amarathunga , Montagna, Paolo , A, Rüggeberg , Creel, Roger , Schiebel, Ralf , A, Foubert , M, Taviani , E, Pons-Branchu , N, Haghipour , Eglinton, Timothy Ian , Haug, Gerald H. , Sigman, Daniel M , Martínez-García, Alfredo
    Publication 2026-09-21
  • Projected Effects of Climate-induced Changes in Phytoplankton biomass in the Southern South China Sea
    par Kiel, Chathumini W , Bandara, Kanchana , M.D. Amin, Roswati , Gypens, Nathalie , Akhir, Mohd Fadzil
    Publication 2026-09-01
  • Toward an Improved Understanding of the Antarctic Coastal Zone and Its Contribution to Future Global Sea Level
    par Matsuoka, Kenichi , Moholdt, Geir , Arthur, Jennifer F. , Bodart, Julien A. , Cui, Xiangbin , Ferraccioli, Fausto , Forsberg, René , Goel, Vikram , Jordan, Tom A. , McCormack, Felicity S. , Mottram, Ruth , Pritchard, Hamish D. , Shackleton, Calvin , Tinto, Kirsty J. , Boberg, Fredrik , Cavitte, Marie G.P. , Drews, Reinhard , Dutrieux, Pierre , Ebbing, Jörg , Eisen, Olaf , Eisermann, Hannes , Gardner, Alex S. , Greene, Chad A. , Holschuh, Nicholas , Jamieson, Stewart S. R. , Kim, Byeong‐Hoon , Krauzig, Naomi , Kulessa, Bernd , Leuschen, Carlton , Li, Jilu , Li, Lu , Liebsch, Jonas , MacGregor, Joseph A. , MacKie, Emma , Mahagaonkar, Anirudha , Maton, Joséphine , Morlighem, Mathieu , Navarro, Francisco , Neff, Peter D. , Otosaka, Inès , Pattyn, Frank , Ruppel, Antonia , Sanderson, Rebecca J. , Seroussi, Helene , Shepherd, Andrew , Siegfried, Matthew , Slater, Thomas , Stroeven, Arjen , Studinger, Michael , Teisberg, Thomas , Venturelli, Ryan , Winberry, Jeremy , Zhao, Chen , An, Lu , Bamber, Jonathan L. , Bell, Robin Jean , Bingham, Robert G. , Brehmer‐Moltmann, Johanna , Eagles, Graeme , Greenbaum, Jamin Stevens , Gronset, Jorn , Lee, Won Sang , Le Meur, Emmanuel , Jong, Lenneke M. , Lindbäck, Katrin , Lidström, Sven , Lösing, Mareen , Minowa, Masahiro , Pandey, Mayuri , Ray, Yogesh , Scheinert, Mirko , Schroeder, Dustin M. , Seehaus, Thorsten , Shahateet, Kaian , Steinhage, Daniel , Tang, Xueyuan , Taylor, Drew , Verboncoeur, Hannah , Yang, Junjun , Young, Duncan A.
    Publication 2026-09
  • The quest for the oldest ice: potential and challenges of blue ice areas
    par Tollenaar, Veronica , Legrain, Etienne , Zoé, Bosman , Izeboud, Maaike , Harvey, Ralph R.P. , Ardoin, Lisa , Pattyn, Frank , Fripiat, François , Zekollari, Harry
    Publication 2026-08-08