Search Results

Towards Verification of the Pastry Protocol using TLA+

by Merz, Stephan, Lu, Tianxiang, Weidenbach, Christoph
Published 2011

Architecturing Conflict Handling of Pervasive Computing Resources

by Jakob, Henner, Consel, Charles, Loriant, Nicolas
Published 2011

Pop-up Depth Views for Improving 3D Target Acquisition

by Wang, Guangyu, Mcguffin, Michael, Bérard, François, Cooperstock, Jeremy
Published 2011

Projecting Antarctica's contribution to future sea level rise from basal ice shelf melt using linear response functions of 16 ice sheet models (LARMIP-2)

by Levermann, Anders, Winkelmann, Ricarda, Albrecht, Torsten, Goelzer, Heiko, Golledge, Nicholas R., Greve, Ralf, Huybrechts, P., Jordan, James R., Leguy, Gunter R., Martin, Daniel F., Morlighem, Mathieu, Pattyn, Frank, Pollard, David, Quiquet, Aurélien, Rodehacke, Christian B., Seroussi, Hélène, Sutter, Johannes, Zhang, Tong, van Breedam, Jonas, Calov, Reinhard, Deconto, Robert M., Dumas, Christophe, Garbe, Julius, Hilmar Gudmundsson, G. Hilmar, Hoffman, Matthew J., Humbert, Angelika, Kleiner, Thomas, Lipscomb, William H., Meinshausen, Malte, Ng, Esmond G., Nowicki, Sophie M.J., Perego, Mauro, Price, Stephen F., Saito, Fuyuki, Schlegel, Nicole Jeanne, Sun, Sainan, van de Wal, Roderick S.W.
Published in Earth System Dynamics (2020)

Projected land ice contributions to twenty-first-century sea level rise

by Edwards, Tamsin L., Nowicki, Sophie M.J., Marzeion, Ben, Hock, Regine, Goelzer, Heiko, Seroussi, Hélène, Jourdain, Nicolas, Slater, Donald A., Turner, Fiona E., Smith, Christopher J., Mckenna, Christine M., Simon, Erika G., Abe-Ouchi, Ayako, Gregory, Jonathan M., Larour, Eric Y., Lipscomb, William H., Payne, Antony J., Shepherd, Andrew P., Agosta, Cécile, Alexander, Patrick M., Albrecht, Torsten, Anderson, Brian M., Asay-Davis, Xylar S., Aschwanden, Andy, Barthel, Alice M., Bliss, Andrew K., Calov, Reinhard, Chambers, Christopher, Champollion, Nicolas, Choi, Youngmin, Cullather, Richard I., Cuzzone, Joshua K., Dumas, Christophe, Felikson, Denis, Fettweis, Xavier, Fujita, Koji, Galton-Fenzi, Benjamin K., Gladstone, Rupert M.M., Golledge, Nicholas R., Greve, Ralf, Hattermann, Tore, Hoffman, Matthew J., Humbert, Angelika, Huss, Matthias, Huybrechts, P., Immerzeel, Walter Willem (walter), Kleiner, Thomas, Kraaijenbrink, Philip D.A., Le Clec’h, Sébastien, Lee, Victoria
Published in Nature (2021)