Skip to contents
-
Armah, Adjoa [Author]; Derrida, Jacques [Author]; Gordon, Avery F. [Author] ; Abudu, Kojo [Editor] Pace GalleryLiving with ghosts : a reader : July 8-August 5, 2022, Pace Gallery ... LondonView onlineClose
> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.[London]: Pace Publishing, [2022]
-
Francalanza, Adrian [Editor]; Pace, Gordon J. [Editor] ; International Workshop on Pre- and Post-Deployment Verification Techniques 2. 2017 Turin, Open Publishing AssociationProceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques : Torino, Italy, 19 September 2017View onlineClose
> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.[Waterloo, NSW]: [Open Publishing Association], 23rd August 2017
Published in: Electronic proceedings in theoretical computer science ; 254
-
Davis, Brian [Editor]; Pace, Gordon J. [Editor]; Wyner, Adam [Editor]Controlled Natural Language : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, ProceedingsView onlineSchließen
> Access
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.Cham: Springer, 2016
Published in: Lecture notes in computer science ; 9767
-
Ellul, Joshua [Author]; Pace, Gordon J. [Author]Blockchain and the Common Good ReimaginedView onlineClose
> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.[S.l.]: SSRN, [2021]
Published in: The Common Good in the Digital Age. Vatican City State, September 2019
-
Barringer, Howard [Author] ; Falcone, Ylies [Other]; Finkbeiner, Bernd [Other]; Havelund, Klaus [Other]; Lee, Insup [Other]; Pace, Gordon J. [Other]; Rosu, Grigore [Other]; Sokolsky, Oleg [Other]; Tillmann, Nikolai [Other]Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. ProceedingsView onlineSchließen
> Access
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.Berlin, Heidelberg: Springer Berlin Heidelberg, 2010
Published in: Lecture notes in computer science ; 6418
-
Ellul, Joshua [Author]; Galea, Jonathan [Author]; Ganado, Max [Author]; McCarthy, Stephen [Author]; Pace, Gordon J. [Author]Regulating Blockchain, DLT and Smart Contracts : A Technology Regulator’s PerspectiveView onlineClose
> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.[S.l.]: SSRN, [2021]
-
Abbott, B.P. [Author]; Abbott, R. [Author]; Abbott, T.D. [Author]; Abernathy, M.R. [Author]; Acernese, F. [Author]; Ackley, K. [Author]; Adams, C. [Author]; Adams, T. [Author]; Addesso, P. [Author]; Adhikari, R.X. [Author]; Adya, V.B. [Author]; Affeldt, C. [Author]; Agathos, M. [Author]; Agatsuma, K. [Author]; Aggarwal, N. [Author]; Aguiar, O.D. [Author]; Aiello, L. [Author]; Ain, A. [Author]; Allen, B. [Author]; Allocca, A. [Author]; Altin, P.A. [Author]; Anderson, S.B. [Author]; Anderson, W.G. [Author]; Arai, K. [Author]; [...]Search for continuous gravitational waves from neutron stars in globular cluster NGC 6544 - [published Version]View onlineSchließen
> Links
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.College Park, MD : American Physical Society, 2017
Published in: Physical Review D 95 (2017), Nr. 8 ; Physical Review D
-
Abbott, B.P. [Author]; Abbott, R. [Author]; Abbott, T.D. [Author]; Abernathy, M.R. [Author]; Acernese, F. [Author]; Ackley, K. [Author]; Adams, C. [Author]; Adams, T. [Author]; Addesso, P. [Author]; Adhikari, R.X. [Author]; Adya, V.B. [Author]; Affeldt, C. [Author]; Agathos, M. [Author]; Agatsuma, K. [Author]; Aggarwal, N. [Author]; Aguiar, O.D. [Author]; Aiello, L. [Author]; Ain, A. [Author]; Ajith, P. [Author]; Allen, B. [Author]; Allocca, A. [Author]; Altin, P.A. [Author]; Anderson, S.B. [Author]; Anderson, W.G. [Author]; [...]GW150914: Implications for the stochastic gravitational-wave background from binary black holes - [published Version]View onlineSchließen
> Links
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.College Park, MD : American Physical Society, 2016
Published in: Physical Review Letters 116 (2016), Nr. 13 ; Physical Review Letters
-
Abbott, B.P. [Author]; Abbott, R. [Author]; Abbott, T.D. [Author]; Abernathy, M.R. [Author]; Acernese, F. [Author]; Ackley, K. [Author]; Adams, C. [Author]; Adams, T. [Author]; Addesso, P. [Author]; Adhikari, R.X. [Author]; Adya, V.B. [Author]; Affeldt, Christoph [Author]; Agathos, M. [Author]; Agatsuma, K. [Author]; Aggarwal, N. [Author]; Aguiar, O.D. [Author]; Aiello, L. [Author]; Ain, A. [Author]; Ajith, P. [Author]; Allen, B. [Author]; Allocca, A. [Author]; Altin, P.A. [Author]; Anderson, S.B. [Author]; Anderson, W.G. [Author]; [...] ; LIGO Scientific Collaboration [Contributor]; Virgo Collaboration [Contributor]Properties of the Binary Black Hole Merger GW150914 - [published Version]View onlineSchließen
> Links
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.College Park, MD : American Physical Society, 2016
Published in: Physical Review Letters (2016), Nr. 24 ; Physical Review Letters
-
Abbott, B.P. [Author]; Abbott, R. [Author]; Abbott, T.D. [Author]; Abernathy, M.R. [Author]; Acernese, F. [Author]; Ackley, K. [Author]; Adams, C. [Author]; Adams, T. [Author]; Addesso, P. [Author]; Adhikari, R.X. [Author]; Adya, V.B. [Author]; Affeldt, C. [Author]; Agathos, M. [Author]; Agatsuma, K. [Author]; Aggarwal, N. [Author]; Aguiar, O.D. [Author]; Aiello, L. [Author]; Ain, A. [Author]; Ajith, P. [Author]; Allen, B. [Author]; Allocca, A. [Author]; Altin, P.A. [Author]; Anderson, S.B. [Author]; Anderson, W.G. [Author]; [...]GW150914: The Advanced LIGO Detectors in the Era of First Discoveries - [published Version]View onlineSchließen
> Links
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.College Park, MD : American Physical Society, 2016
Published in: Physical Review Letters 116 (2016), Nr. 13 ; Physical Review Letters
-
Pace, Gordon J.Formal Methods in Computer-Aided Design: The Semantics of Verilog Using Transition System CombinatorsView onlineSchließen
> Access
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.Springer Berlin Heidelberg, 2000
Published in: Formal Methods in Computer-Aided Design (2000), Seite 442-459
-
Ellul, Joshua; Pace, Gordon J.Lecture Notes in Computer Science: Verifiable External Blockchain Calls: Towards Removing Oracle Input IntermediariesView onlineSchließen
> Access
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.Springer International Publishing, 2023
Published in: Lecture Notes in Computer Science (2023), Seite 317-324
-
Ahrendt, Wolfgang; Pace, Gordon J.Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Selective Presumed Benevolence in Multi-party System VerificationView onlineSchließen
> Access
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.Springer International Publishing, 2022
Published in: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (2022), Seite 106-123
-
Ellul, Joshua; Pace, Gordon J.Blockchain and the Common Good ReimaginedView onlineSchließen
> Access
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.Elsevier BV, 2019
Published in: SSRN Electronic Journal (2019)
-
Colombo, Christian; Pace, Gordon J.Lecture Notes in Computer Science: Considering Academia-Industry Projects Meta-characteristics in Runtime Verification DesignView onlineSchließen
> Access
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.Springer International Publishing, 2018
Published in: Lecture Notes in Computer Science (2018), Seite 32-41
-
Colombo, Christian; Pace, Gordon J.Lectures on Runtime Verification: Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing ChallengesView onlineSchließen
> Access
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.Springer International Publishing, 2018
Published in: Lectures on Runtime Verification (2018), Seite 211-232
-
Francalanza, Adrian; Pace, Gordon J.Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques : Preface : PrefaceView onlineSchließen
> Access
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.Open Publishing Association, 2017
Published in: Electronic Proceedings in Theoretical Computer Science, 254 (2017)
-
Colombo, Christian; Pace, Gordon J.Comprehensive Monitor-Oriented Compensation ProgrammingView onlineSchließen
> Access
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.Open Publishing Association, 2014
Published in: Electronic Proceedings in Theoretical Computer Science, 147 (2014), Seite 47-61
-
Pace, Gordon J.; Rosner, MichaelLecture Notes in Computer Science: Explaining Violation Traces with Finite State Natural Language Generation ModelsView onlineSchließen
> Access
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.Springer International Publishing, 2014
Published in: Lecture Notes in Computer Science (2014), Seite 179-189
-
Falzon, Kevin; Pace, Gordon J.Model-Based Methodologies for Pervasive and Embedded Software: Combining Testing and Runtime Verification TechniquesView onlineSchließen
> Access
Close> Bookmarks
You can manage bookmarks using lists, please log in to your user account for this.Springer Berlin Heidelberg, 2013
Published in: Model-Based Methodologies for Pervasive and Embedded Software (2013), Seite 38-57