I agree that this site is using cookies. You can find further informations here.
X
Breuer, Peter T.
926  results:
Articles (Online) X
Search for persons X
?
1

A Fully Encrypted Microprocessor The Secret Computer is Nea..:

Breuer, Peter T. ; Bowen, Jonathan P.
Procedia Computer Science.  83 (2016)  - p. 1282-1287 , 2016
Link: https://doi.org/10.1016/..
 
?
2

Open source verification in an anonymous volunteer network:

Breuer, Peter T. ; Pickin, Simon
Science of Computer Programming.  91 (2014)  - p. 161-187 , 2014
Link: https://doi.org/10.1016/..
 
?
3

A formal nethod (a networked formal method):

Breuer, Peter T. ; Pickin, Simon
Innovations in Systems and Software Engineering.  6 (2010)  4 - p. 255-268 , 2010
Link: https://doi.org/10.1007/..
 
?
4

Approximate verification in an open source world:

Breuer, Peter T. ; Pickin, Simon
Innovations in Systems and Software Engineering.  4 (2008)  1 - p. 87-105 , 2008
Link: https://doi.org/10.1007/..
 
?
5

Symbolic approximation: an approach to verification in the ..:

Breuer, Peter T. ; Pickin, Simon
Innovations in Systems and Software Engineering.  2 (2006)  3-4 - p. 147-163 , 2006
Link: https://doi.org/10.1007/..
 
?
6

Raiding the Noosphere: the open development of networked RA..:

Breuer, Peter T. ; García Valls, Marisol
Software: Practice and Experience.  36 (2006)  4 - p. 365-395 , 2006
Link: https://doi.org/10.1002/..
 
?
7

A refinement calculus for the synthesis of verified hardwar..:

Breuer, Peter T. ; Delgado, Carlos Kloos ; Marín, Andrés López..
ACM Transactions on Programming Languages and Systems (TOPLAS).  19 (1997)  4 - p. 586-616 , 1997
Link: https://dl.acm.org/doi/1..
 
?
8

A refinement calculus for the synthesis of verified hardwar..:

Breuer, Peter T. ; Delgado, Carlos Kloos ; Marín, Andrés López..
ACM Transactions on Programming Languages and Systems.  19 (1997)  4 - p. 586-616 , 1997
Link: https://doi.org/10.1145/..
 
?
9

A simple denotational semantics, proof theory and a validat..:

Breuer, Peter T. ; Fern�ndez, Luis S�nchez ; Kloos, Carlos Delgado
Formal Methods in System Design.  7 (1995)  1-2 - p. 27-51 , 1995
Link: https://doi.org/10.1007/..
 
?
10

Decompilation: the enumeration of types and grammars:

Breuer, Peter T. ; Bowen, Jonathan P.
ACM Transactions on Programming Languages and Systems.  16 (1994)  5 - p. 1613-1647 , 1994
Link: https://doi.org/10.1145/..
 
?
11

Decompilation: the enumeration of types and grammars:

Breuer, Peter T. ; Bowen, Jonathan P.
ACM Transactions on Programming Languages and Systems (TOPLAS).  16 (1994)  5 - p. 1613-1647 , 1994
Link: https://dl.acm.org/doi/1..
 
?
12

Abdominal incision defect following AAA-surgery (AIDA): 2-y..:

Honig, S. ; Diener, H. ; Kölbel, T....
Updates in Surgery.  74 (2021)  3 - p. 1105-1116 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Tissue engineered vascular grafts are resistant to the form..:

Turner, Mackenzie E. ; Blum, Kevin M. ; Watanabe, Tatsuya...
Nature Communications.  15 (2024)  1 - p. , 2024
Link: https://doi.org/10.1038/..
 
?
14

Cricoid Pressure During Induction for Tracheal Intubation i..:

Kojima, Taiki ; Harwayne-Gidansky, Ilana ; Shenoi, Asha N....
Pediatric Critical Care Medicine.  19 (2018)  6 - p. 528-537 , 2018
Link: https://doi.org/10.1097/..
 
?
15

Clinical Impact of External Laryngeal Manipulation During L..:

Kojima, Taiki ; Laverriere, Elizabeth K. ; Owen, Erin B....
Pediatric Critical Care Medicine.  19 (2018)  2 - p. 106-114 , 2018
Link: https://doi.org/10.1097/..
 
1-15