E-LIB Suche - Ergebnisse für: Pace, Gordon J.

1

Mixed Conducting Polymers Alter Electron Transfer Thermodyn..:

Agee, Alec ; Pace, Gordon ; Yang, Victoria..
Journal of the American Chemical Society. , 2024

Link: https://doi.org/10.1021/..

2

Mixed Ion–Electron-Conducting Polymer Complexes as High-Rat..:

Pace, Gordon ; Zele, Alexandra ; Nguyen, Phong..
Chemistry of Materials. , 2023

Link: https://doi.org/10.1021/..

3

Electrochemical Characterization of Biomolecular Electron T..:

Agee, Alec ; Gill, Thomas Mark ; Pace, Gordon..
Journal of The Electrochemical Society. 170 (2023) 1 - p. 016509 , 2023

Link: https://doi.org/10.1149/..

4

When is good enough good enough? On software assurances:

Ellul, Joshua ; Pace, Gordon J. ; Revolidis, Ioannis.
ERA Forum. 23 (2023) 3 - p. 337-360 , 2023

Link: https://doi.org/10.1007/..

5

Verifiable External Blockchain Calls: Towards Removing Orac..:

, In: Lecture Notes in Computer Science; Data Privacy Management, Cryptocurrencies and Blockchain Technology,

Ellul, Joshua ; Pace, Gordon J. - p. 317-324 , 2023

Link: https://doi.org/10.1007/..

6

Event Guarded Command Language:

, In: Runtime Verification,

Colombo, Christian ; Pace, Gordon J. - p. 53-65 , 2022

Link: https://doi.org/10.1007/..

7

The Need for Verification:

, In: Runtime Verification,

Colombo, Christian ; Pace, Gordon J. - p. 1-7 , 2022

Link: https://doi.org/10.1007/..

8

Selective Presumed Benevolence in Multi-party System Verifi..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,

Ahrendt, Wolfgang ; Pace, Gordon J. - p. 106-123 , 2022

Link: https://doi.org/10.1007/..

10

Tainting in Smart Contracts: Combining Static and Runtime V..:

, In: Runtime Verification; Lecture Notes in Computer Science,

Azzopardi, Shaun ; Ellul, Joshua ; Falzon, Ryan. - p. 143-161 , 2022

Link: https://doi.org/10.1007/..

11

What is Runtime Verification:

, In: Runtime Verification,

Colombo, Christian ; Pace, Gordon J. - p. 9-15 , 2022

Link: https://doi.org/10.1007/..

12

Impact of Side Chain Chemistry on Lithium Transport in Mixe..:

Pace, Gordon ; Nordness, Oscar ; Asham, Kareem..
Chemistry of Materials. 34 (2022) 10 - p. 4672-4681 , 2022

Link: https://doi.org/10.1021/..

13

Offline Runtime Verification:

, In: Runtime Verification,

Colombo, Christian ; Pace, Gordon J. - p. 155-163 , 2022

Link: https://doi.org/10.1007/..

14

FiTS: A Financial Transaction System:

, In: Runtime Verification,

Colombo, Christian ; Pace, Gordon J. - p. 17-27 , 2022

Link: https://doi.org/10.1007/..

15

Linear Temporal Logic:

, In: Runtime Verification,

Colombo, Christian ; Pace, Gordon J. - p. 109-122 , 2022

Link: https://doi.org/10.1007/..