Skip to contents

Moriconi, Mark [Author] ; Association for Computing Machinery, ACM Special Interest Group on Software Engineering

Conference proceedings on Formal methods in software development

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=99569

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 1990

Published in: ACM Digital Library- ACM Conferences
Moriconi, Mark [Author] ; Association for Computing Machinery, ACM Special Interest Group on Software Engineering

Proceedings of the conference on Software for citical systems

View online
Schließen

Access

http://dl.acm.org/citation.cfm?id=125083

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 1991

Published in: ACM Digital Library- ACM Conferences
Moriconi, Mark

Advanced Programming Environments: PegaSys and the role of logic in programming environments

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1986

Published in: Advanced Programming Environments
Moriconi, Mark; Qian, Xiaolei

Correctness and composition of software architectures

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1994

Published in: ACM SIGSOFT Software Engineering Notes
Moriconi, Mark; Hare, Dwight F.

The PegaSys System: pictures as formal documentation of large programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1986

Published in: ACM Transactions on Programming Languages and Systems
Moriconi, Mark; Hare, Dwight F.

PegaSys : A system for graphical explanation of program designs : A system for graphical explanation of program designs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1985

Published in: ACM SIGPLAN Notices
Moriconi, Mark; Hare, Dwight F.

PegaSys : A system for graphical explanation of program designs : A system for graphical explanation of program designs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1983

Published in: ACM SIGPLAN Notices
Moriconi, Mark; Schwartz, Richard L.

Automata, Languages and Programming: Automatic construction of verification condition generators from hoare logics

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1981

Published in: Automata, Languages and Programming
Moriconi, Chiara; Civita, Prospero; Neto, Catia; Pilkington, Geoffrey J.; Gumbleton, Mark

Caveolin-1, a Key Mediator Across Multiple Pathways in Glioblastoma and an Independent Negative Biomarker of Patient Survival

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Frontiers Media SA, 2021

Published in: Frontiers in Oncology
Moriconi, Chiara; Palmieri, Valentina; tornillo, giusy; Fillmore, Helen; Pilkington, Geoffrey J; Gumbleton, Mark

Caveolin-1, a driver of invasive phenotype in in-vitro 3D-spheroid assays comprised of high grade GBM cells association with an AKT-inhibited phenotype

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford University Press (OUP), 2018

Published in: Neuro-Oncology
Moriconi, Chiara; Palmieri, Valentina; Di Santo, Riccardo; Tornillo, Giusy; Papi, Massimiliano; Pilkington, Geoff; De Spirito, Marco; Gumbleton, Mark

INSIDIA: A FIJI Macro Delivering High‐Throughput and High‐Content Spheroid Invasion Analysis

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2017

Published in: Biotechnology Journal
Moriconi, Ms Chiara; Palmieri, Dr Valentina; Tornillo, Dr Giusy; Fillmore, Dr Helen; Pilkington, Prof Geoff; Gumbleton, Prof Mark

PP80. CAVEOLIN-1 IMPLICATED AS A PRO-INVASIVE GENE IN HIGH-GRADE GLIOMA CELL MODELS: IMPLEMENTATION OF A 3D SPHEROID MATRIX INVASION ASSAY

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford University Press (OUP), 2017

Published in: Neuro-Oncology
Tarn, Derjung M.; Pletcher, Mark J.; Tosqui, Rosa; Fernandez, Alicia; Tseng, Chi-hong; Moriconi, Rachel; Bell, Douglas S.; Barrientos, Maureen; Turner, Jon A.; Schwartz, Janice B.

Primary nonadherence to statin medications: Survey of patient perspectives

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2021

Published in: Preventive Medicine Reports
Coussement, Julien; Maggiore, Umberto; Manuel, Oriol; Scemla, Anne; López-Medrano, Francisco; Nagler, Evi V; Aguado, José María; Abramowicz, Daniel; Adams, Brigitte; Agnelli, Caroline; Ailioaie, Oana; Akan, Hamdi; Amrouche, Lucile; Andrés, Amado; Anglicheau, Dany; Arnouts, Paul; Baas, Marije; Balgradean, Cristian; Bammens, Bert; Battaglia, Yuri; Baudoux, Thomas; Berto, Ilario Mauro; Binet, Isabelle; Bistrup, Claus; [...]

Diagnosis and management of asymptomatic bacteriuria in kidney transplant recipients: a survey of current practice in Europe

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford University Press (OUP), 2018

Published in: Nephrology Dialysis Transplantation
Bougouin, Wulfran; Marijon, Eloi; Planquette, Benjamin; Karam, Nicole; Dumas, Florence; Celermajer, David; Jost, Daniel; Lamhaut, Lionel; Beganton, Frankie; Cariou, Alain; Meyer, Guy; Jouven, Xavier; Bureau, Côme; Charpentier, Julien; Salem, Omar Ben Hadj; Guillemet, Lucie; Arnaout, Michel; Ferre, Alexis; Geri, Guillaume; Mongardon, Nicolas; Pène, Frédéric; Chiche, Jean-Daniel; Mira, Jean-Paul; Labro, Guylaine; [...]

Proceedings of Réanimation 2017, the French Intensive Care Society International Congress

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2017

Published in: Annals of Intensive Care

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication