5 research outputs found
Later Credits: {R}esourceful Reasoning for the Later Modality
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- 01/01/2022
- Field of study
Get PDFTransfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- 01/01/2021
- Field of study
Get PDFContains fulltext :
236635.pdf (Publisher’s version ) (Open Access)
Contains fulltext :
236635.pdf (Author’s version preprint ) (Open Access)PLDI 202
Coq development for "Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations"
- Publication venue
- Zenodo
- Publication date
- 01/01/2021
- Field of study
No full textThis is the artifact for the POPL'22 paper 'Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations”. It contains the Coq development mechanizing the results of the paper. The public development repository is available athttps://gitlab.mpi-sws.org/iris/simuliris
Simuliris: A Separation Logic Framework for Verifying concurrent Program Optimizations
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- 10/11/2021
- Field of study
Get PDFThis is the artifact for the POPL'22 paper “Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations”. It contains the Coq development mechanizing the results of the paper.
The public development repository is available at https://gitlab.mpi-sws.org/iris/simuliris
Cell biology and molecular basis of denitrification
- Author
- Abraham Z. H. L.
- Adman E. T.
- Adman E. T.
- Adman E. T.
- Ahlers B.
- Akutsu H.
- Alefounder P. R.
- Alefounder P. R.
- Alvarez-Ossorio M. C.
- Anderson L. A.
- Anderson L. A.
- Anthamatten D.
- Antholine W. E.
- AntĂłn J.
- Aono S.
- Arai H.
- Arai H.
- Arai H.
- Arai H.
- Arai H.
- Arai H.
- Arciero D. M.
- Armor J. N.
- Armor J. N.
- Arts P. A. M.
- Arvidsson R. H. A.
- Averill B. A.
- Axelrod H. L.
- Baikalov I.
- Baker S. C.
- Balderston W. L.
- Ballard A. L.
- Banks R. G. S.
- Barkigia K. M.
- Bartnikas T. B.
- Bastian N. R.
- Battistoni A.
- Batut J.
- Baumann B.
- Baumgärtner M.
- Bazylinski D. A.
- Bazylinski D. A.
- Bazylinski D. A.
- Becker S.
- Beckman D. L.
- Beckman D. L.
- Beinert H.
- Beinert H.
- Beinert H.
- Beinert H.
- Bell L. C.
- Bell L. C.
- Bell L. C.
- Bennasar A.
- Bennett B.
- Bennett B.
- Benning M. M.
- Benov L.
- Berendes F.
- Bergmann D. J.
- Berks B. C.
- Berks B. C.
- Berks B. C.
- Berks B. C.
- Berks B. C.
- Berks B. C.
- Berlett B. S.
- Bertagnolli H.
- Besson S.
- Betlach M. R.
- Bickel-Sandkötter S.
- Blackburn N. J.
- Blasco F.
- Blasco F.
- Blasco F.
- Blasco F.
- Bleakley B. H.
- BlĂĽmle S.
- Bollag J.
- Bollivar D. W.
- Bonin P.
- Bonnefoy V.
- Bonner F. T.
- Bonner F. T.
- Boogerd F. C.
- Boogerd F. C.
- Boogerd F. C.
- Bosma G.
- Bott M.
- Bottomley F.
- Brandner J. P.
- Braun C.
- Braun C.
- Breton J.
- Breton R.
- Brito F.
- Broda E.
- Brons H. J.
- Brown N. L.
- Brudvig G. W.
- Brunelli L.
- Bryan B. A.
- Burth I.
- Börner G.
- Cai M.
- Cai M.
- Calder K.
- Calmels S.
- Camilli A.
- Canters G. W.
- Canters G. W.
- Carlson C. A.
- Carlson C. A.
- Carlson C. A.
- Carlson C. R.
- Carr G.
- Carr G. J.
- Carr G. J.
- Carr G. J.
- Carratala J.
- Castignetti D.
- Cavicchioli R.
- Chaddock A. M.
- Chan M. K.
- Chan S. I.
- Chan Y.
- Chan Y.
- Chang C. K.
- Chang C. K.
- Chang T. K.
- Chauhan S.
- Chauret C.
- Chen J.
- Chen Y. J.
- Chen Y. J.
- Chiang R. C.
- Chikwem J. O.
- Chou P.
- Clark M. A.
- Claros M. G.
- Cofer W. R.
- Cole J. A.
- Conrad R.
- Coomber S. A.
- Costa C.
- Coyle C. L.
- Coyne M. S.
- Coyne M. S.
- Coyne M. S.
- Cramer S. P.
- Cramm R.
- Cramm R.
- Craske A.
- Crooke H.
- Crouzet J.
- Cruz Ramos H.
- Cunningham L.
- CutruzzolĂ F.
- Cuypers H.
- Cuypers H.
- Cuypers H.
- Dailey H. A.
- Dalsgaard T.
- Daniel R. M.
- Danneberg G.
- Danneberg G.
- Darwin A. J.
- David M.
- de Boer A. P. N.
- de Boer A. P. N.
- de Gier J.
- De Groote M. A.
- de Lajudie P.
- De Mot R.
- De Vos P.
- Delic-Attree I.
- DeMoss J. A.
- DeMoss J. A.
- DeMoss J. A.
- Dempsey J. A. F.
- Denariaz G.
- Denariaz G.
- Denariaz G.
- Dennison C.
- Dermastia M.
- deRojas-Walker T.
- Detlefsen D. J.
- Dickinson R. E.
- Ding H.
- DiSpirito A. A.
- Dobson S. J.
- Dodd F. E.
- Dodd F. E.
- Doi M.
- Doi M.
- Dolata M. M.
- Dong A.
- Dong X.
- Donohue T. J.
- Dooley D. M.
- Dooley D. M.
- Dooley D. M.
- Dooley D. M.
- Downey R. J.
- Doyle W. A.
- Dreusch A.
- Dreusch A.
- Drummond J. T.
- Dubourdieu M.
- Dunstan R. H.
- Döhler K.
- Eaves D. J.
- Egami F.
- EinarsdĂłttir O.
- Ensign S. A.
- Farinha M. A.
- Farrar J. A.
- Farrar J. A.
- Farrar J. A.
- Fast B.
- Fauman E. B.
- Fedorova R. I.
- Fee J. A.
- Fegley B.
- Fenderson F. F.
- Fernández-López M.
- Finazzi-Agrò A.
- Finlay B. J.
- Firestone M. K.
- Fischer H.
- Fleischmann R. D.
- Fonstein M.
- Forget P.
- Fossing H.
- Fries M. R.
- Frunzke K.
- Frunzke K.
- Frunzke K.
- Frunzke K.
- Frustaci J. M.
- Fujiwara T.
- Fülöp V.
- Gaballa A.
- Galimand M.
- Galván A.
- Gamble T. N.
- Garber E. A. E.
- Garber E. A. E.
- Garber E. A. E.
- Garber E. A. E.
- Garcia J.
- GarcĂa-Horsman J. A.
- George G. N.
- George G. N.
- Gest H.
- Gilles-González M. A.
- Ginard M.
- Girsch P.
- Glaser J. H.
- Glaser P. A.
- Glockner A. B.
- Glockner A. B.
- Godden J. W.
- Godfrey C.
- Gokce N.
- Goldflam M.
- Goldstein S.
- Goldstein S.
- Goodhew C. F.
- Goretski J.
- Goretski J.
- Goretski J.
- Gorny N.
- Grant M. A.
- Green J.
- Green J.
- Greenberg E. P.
- Greenwood C.
- Grossmann J. G.
- Grove J.
- Grove J.
- Grunden A. M.
- Grätzel M.
- Gudat J. C.
- Guest J. R.
- Guigliarelli B.
- Guigliarelli B.
- Gurne D.
- Gäher M.
- Halfen J. A.
- Haltia T.
- Haltia T.
- Haltia T.
- Han J.
- Hansson M.
- Hart L. T.
- Harwood C. S.
- Haskin C. J.
- Hay M.
- Hazes B.
- He Y.
- Heider J.
- Heiss B.
- Hemschemeier S.
- Henkel G.
- Henry Y.
- Hernandez D.
- Hernandez D.
- Higgins C. F.
- Hill K. E.
- Hille R.
- Hilton J. C.
- Hinton S. M.
- Hiraishi A.
- Hiraishi A.
- Hiraishi A.
- Hiraishi A.
- Hiraishi A.
- Ho T. P.
- Hochstein L. I.
- Hochstein L. I.
- Hoeren F. U.
- Hoffmann T.
- Hoitink C. W. G.
- Hoitink C. W. G.
- Hole U. H.
- Holloway B. W.
- Holloway P.
- Holm R. H.
- Holmes B.
- Honeycutt R. J.
- Horio T.
- Horio T.
- Hornberger U.
- Horowitz P. M.
- Houser R. P.
- Howes B. D.
- Hubbard J. A.
- Huber R.
- Huie R. E.
- Hulse C. L.
- Hulse C. L.
- Hungerer C.
- Hungerer C.
- Hutchins S. R.
- Huynh B. H.
- Hyman M. R.
- Hyman M. R.
- Härtig E.
- Igarashi N.
- Imhoff J. F.
- Inatomi K.
- Ingledew W. J.
- Ingledew W. J.
- Iobbi-Nivol C.
- Iobbi-Nivol C.
- Iobbi-Nivol C.
- Ishizuka M.
- Itoh M.
- Itoh M.
- Iwasaki H.
- Iwasaki H.
- Iwasaki H.
- Iwasaki H.
- Iwasaki H.
- Iwasaki H.
- Iwata S.
- Jackson M. A.
- Jacobs N. J.
- Jacobs N. J.
- Jahn D.
- Jankielewicz A.
- Jenal-Wanner U.
- Jenni B.
- Jensen B. B.
- Jeter R. M.
- Ji X.
- Jin H.
- Jin S.
- Johann S.
- John P.
- Johnson J. L.
- Johnson J. L.
- Johnson J. L.
- Johnson J. L.
- Johnson J. L.
- Johnson J. L.
- Johnson J. L.
- Johnson M. E.
- Jones A. M.
- Jones A. M.
- Jones R. M.
- Jones R. W.
- Joshi M. S.
- Joshi M. S.
- Juez G.
- JĂĽngst A.
- JĂĽngst A.
- JĂĽngst A.
- Kakutani T.
- Kakutani T.
- Kaldorf M.
- Kalkowski I.
- Kandler O.
- Karlsson B. G.
- Karrasch M.
- Kasting J. F.
- Kastrau D. H. W.
- Katayama Y.
- Kawasaki S.
- Kawasaki S.
- Kelly M.
- Kereszt A.
- Kersters K.
- Keshive M.
- Ketchum P. A.
- Khoroshilova N.
- Khoroshilova N.
- Kim C.
- Kim K.
- Kinsman R.
- Kiredjian M.
- Kizawa H.
- Klemm D. J.
- Kluyver A. J.
- Knowles R.
- Kobayashi M.
- Kobayashi M.
- Kodama T.
- Kohzuma T.
- Koike I.
- Koschorreck M.
- Kramer S. P.
- Kristjansson J. K.
- Kristjansson J. K.
- Kristjansson J. K.
- Kroneck P. M. H.
- Kroneck P. M. H.
- Kroneck P. M. H.
- Kroneck P. M. H.
- Krotzky A.
- Krämer M.
- KrĂĽger B.
- Kudo T.
- Kukimoto M.
- Kukimoto M.
- Kukimoto M.
- Kukimoto M.
- Kullik I.
- Kundu B.
- Kustu S.
- KuÄŤera I.
- KuÄŤera I.
- KuÄŤera I.
- KuÄŤera I.
- KuÄŤera I.
- KuÄŤera I.
- Kwiatkowski A. V.
- Kwiatkowski A. V.
- Körner H.
- Körner H.
- Körner H.
- KĂĽndig C.
- LaCelle M.
- LaCroix L. B.
- Lalande R.
- Lancaster J. R.
- Lang S. E.
- Lappalainen P.
- Lappalainen P.
- Larsson S.
- Lazazzera B. A.
- Lazazzera B. A.
- Lee H. S.
- Lee H. S.
- Lee J. K.
- Leong S. A.
- Li J.
- Li P. M.
- Libby E.
- Lin J. T.
- Liu M.
- Liu M.
- Liu M.
- Lodge J.
- Lopez Corcuera G.
- Lorenz M. G.
- Lu W.
- Ludwig B.
- Ludwig W.
- Luque F.
- Luque I.
- MacMicking J. D.
- Macy J. M.
- Maier R. J.
- Malkin R.
- Malmström B. G.
- Mancinelli R. L.
- Mancinelli R. L.
- Mancinelli R. L.
- Marger M. D.
- Martens C. F.
- Martin C. T.
- Masuko M.
- Masuko M.
- Matsubara T.
- Matsubara T.
- Matsubara T.
- Matsubara T.
- Matsubara T.
- Matsubara T.
- Matsubara T.
- Matsushita K.
- Matsuura Y.
- Matthews J. C.
- Matˇchová I.
- Maupin-Furlow J. A.
- McClung C. R.
- McEwan A. G.
- McEwan A. G.
- McEwan A. G.
- McNicholas P. M.
- McTavish H.
- Meijer E. M.
- Melville S. B.
- Melville S. B.
- Menéndez C.
- Menéndez C.
- Merchant K.
- Merchante R.
- Merrick M. J.
- Meyer O.
- Meyer O.
- Meyer O.
- Michalski W. P.
- Michalski W. P.
- Michalski W. P.
- Michalski W. P.
- Michalski W. P.
- Micklefield J.
- Milcamps A.
- Miller D. J.
- Miller J. B.
- Minagawa N.
- Miyata M.
- Miyata M.
- Mohr C. D.
- Moir J. W. B.
- Moir J. W. B.
- Moir J. W. B.
- Mokhele K.
- Montforts F.
- Moore E. R. B.
- Muhoberac B. B.
- Muhoberac B. B.
- Mulder A.
- Murphy M. E.
- MĂ©jean V.
- Nakahara K.
- Nakahara K.
- Nakahara K.
- Nakamura K.
- Nakano M. M.
- Nakayama N.
- Nakayama N.
- Nathan C. F.
- Neese F.
- Neidle E. L.
- Neidle E. L.
- Newton N.
- Nishiyama M.
- Nivière V.
- Nohno T.
- Noji S.
- Noji S.
- Nordling M.
- Norris G. E.
- Nunoshiba T.
- O'Brien W.
- O'Hara G. W.
- Obika K.
- Ohkubo S.
- Ohshima T.
- Oliver J. D.
- Omata T.
- Oren A.
- Otte S.
- Page K. M.
- Page K. M.
- Page M. D.
- Page M. D.
- Page M. D.
- Page M. D.
- Page M. D.
- Palmedo G.
- Palmer T.
- Palmer T.
- Paneque A.
- Parr S. R.
- Parsonage D.
- Parsonage D.
- Patureau D.
- Payne W. J.
- Payne W. J.
- Pfenninger S.
- Philippot L.
- Pichinoty F.
- Pichinoty F.
- Pichinoty F.
- Pitterle D. M.
- Pollock W. B. R.
- Poole R. K.
- Poth M.
- Poth M.
- Potter W. T.
- Preisig O.
- Preisig O.
- Preuss M.
- Quevedo M.
- Rabin R. S.
- Rabin R. S.
- Rabin R. S.
- Rabus R.
- Rainey P. B.
- Rainey P. B.
- Raitio M.
- Rajagopalan K. V.
- Ramseier T. M.
- Ray A.
- Rech S.
- Rech S.
- Rees E.
- Reichenbecher W.
- Remde A.
- Remde A.
- Renner E. D.
- Reyes F.
- Rice P. A.
- Richardson D. J.
- Richardson D. J.
- Richardson D. J.
- Riester J.
- Riet J.
- Ritchie G. A. F.
- Ritz D.
- Ritz D.
- Rivers S. L.
- Robertson L. A.
- Robertson L. A.
- Robertson L. A.
- Robertson L. A.
- Robertson L. A.
- Rodriguez-Valera F.
- Romberg R. W.
- Rosentel J. K.
- RossellĂł R.
- RossellĂł-Mora R. A.
- Roth J. R.
- Routledge M. N.
- Rowe J. J.
- Römermann D.
- Römermann D.
- Römling U.
- Römling U.
- Sabaty M.
- Sambongi Y.
- Sambongi Y.
- Samuelsson M.
- Sann R.
- Santini C.
- Santini C.
- Saraste M.
- Satoh T.
- Satoh T.
- Satoh T.
- Savioz A.
- Sawada E.
- Sawada E.
- Sawers R. G.
- Sawers R. G.
- Scharf B.
- Schell M. A.
- Schichman S. A.
- Schilke B. A.
- Schindelin H.
- Schirawski J.
- Schleifer K. H.
- Schmidt K. D.
- Schneider B.
- Schneider F.
- Schröder I.
- Schulp J. A.
- Schäfer F.
- Scott D.
- Scott R. A.
- Sears H. J.
- Sears H. J.
- Sears H. J.
- Shanmugam K. T.
- Shapleigh J. P.
- Shapleigh J. P.
- Shapleigh J. P.
- Shapleigh J. P.
- Shariati P.
- Sharrocks A. D.
- Shearer G.
- Shelver D.
- Shiba T.
- Shimada H.
- Shimizu M.
- Shingler V.
- Shioi Y.
- Shiro Y.
- Shiro Y.
- Shoun H.
- Shoun H.
- Sias S. R.
- Sias S. R.
- Siddiqui R. A.
- Siedow A.
- Sigwart C.
- Silvestrini M. C.
- Silvestrini M. C.
- Silvestrini M. C.
- Silvestrini M. C.
- Silvestrini M. C.
- Silvestrini M. C.
- Silvestrini M. C.
- Silvestrini M. C.
- Slutter C. E.
- Smith G. B.
- Smith M. S.
- Smith M. S.
- Snyder S. W.
- Snyder S. W.
- SooHoo C. K.
- SooHoo C. K.
- SooHoo C. K.
- Speno H.
- Spiro S.
- Spiro S.
- Spiro S.
- Spiro S.
- Steffens G. C. M.
- Steinman H. M.
- Stetter K. O.
- Stewart G. J.
- Stewart V.
- Stoll R.
- Stouthamer A. H.
- Strange R. W.
- Straub K. L.
- Subczynski W. K.
- Sutherland J.
- Suwanto A.
- Suwanto A.
- Suzuki S.
- Suzuki S.
- Tait G. H.
- Takamiya K.
- Takashina T.
- Tam R.
- Tamir S.
- Tanimoto T.
- Teraguchi S.
- Thiemens M. H.
- Thomas K. L.
- Thompson J. D.
- Thomsen J. K.
- Thöny-Meyer L.
- Thöny-Meyer L.
- Thöny-Meyer L.
- Thöny-Meyer L.
- Timkovich R.
- Timkovich R.
- Timkovich R.
- Timmer A.
- Tindall B. J.
- Toffanin A.
- Tomlinson G. A.
- Tomura D.
- Toritsuka N.
- Torreblanca M.
- Torres J.
- Tosques I. E.
- Tosques I. E.
- Totten P. A.
- Toyama H.
- Troup B.
- Trueman L. J.
- Trueman L. J.
- Tsukihara T.
- Tuan D. F.
- Turk T.
- Tyson K. L.
- Uhland K.
- Unden G.
- Unden G.
- Unkles S. E.
- Urakami T.
- Urakami T.
- Urata K.
- Urata K.
- Urata K.
- Urata K.
- Urata K.
- Usuda K.
- Vairinhos F.
- van de Graaf A. A.
- van de Graaf A. A.
- van de Graaf A. A.
- van de Kamp M.
- van de Kamp M.
- van der Oost J.
- van der Oost J.
- van der Oost J.
- van Hartingsveldt J.
- van Hartingsveldt J.
- Van Pouderoyen G.
- van Spanning R. J. M.
- van Spanning R. J. M.
- van Spanning R. J. M.
- van Spanning R. J. M.
- Vandamme P.
- Vanderkooi J. M.
- Vaughan G. A.
- Verplaetse J.
- Viale A. M.
- Viebrock A.
- Viebrock A.
- Vignais P. M.
- Vijgenboom E.
- von Wachenfeldt C.
- Vorholt J. A.
- VoĂźwinkel R.
- Völkl P.
- Walkenhorst H. M.
- Walker M. S.
- Walsh T. A.
- Wang G.
- Wang Y.
- Warnecke-Eberz U.
- Warrelmann J.
- Warren M. J.
- Weeg-Aerssens E.
- Weeg-Aerssens E.
- Wehrfritz J.
- Wei X.
- Werber M. M.
- Wharton D. C.
- Wientjes F. B.
- Willems A.
- Willems A.
- Williams P. A.
- Williams P. A.
- Williams S. B.
- Wilmanns M.
- Wing H. J.
- Wink D. A.
- Wink D. A.
- Winteler H. V.
- Witt H.
- Witt H.
- Woese C. R.
- Wood P. M.
- Wu Q.
- Wu Q.
- Wu Q.
- Wu S.
- Wu W.
- Wuebbens M. M.
- Wuebbens M. M.
- WĂĽlfing C.
- Xu K.
- Yabuuchi E.
- Yamamoto K.
- Yamanaka T.
- Yamanaka T.
- Yamanaka T.
- Yamazaki T.
- Yang C.
- Yang T.
- Yap-Bondoc F.
- Ye R. W.
- Ye R. W.
- Ye R. W.
- Ye R. W.
- Ye R. W.
- Ye R. W.
- Yokoyama K.
- Yoneyama H.
- Yoshida M.
- Yoshida T.
- Yoshimura T.
- Yoshimura T.
- Yoshinari T.
- Yoshinari T.
- Yung Y. L.
- Zafiriou O. C.
- Zannoni D.
- Zeilstra-Ryalls J. H.
- Zeilstra-Ryalls J. H.
- Zennaro E.
- Zhang C.
- Zhang C.
- Zhang X.
- Zhou J.
- Zickermann V.
- Zimmermann A.
- ZoBell C. E.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Zumft W. G.
- Publication venue
- 'American Society for Microbiology'
- Publication date
- Field of study
No full text
