Peter T. Breuer

Navedeno

	Vse	Od leta 2020
Navedbe	1728	109
indeks h	21	5
indeks i10	44	2

160

120

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 8 5 18 22 54 56 73 62 77 64 53 32 68 34 38 68 46 71 50 76 33 41 25 37 83 73 28 47 36 46 142 9 23 35 14 24 4

Javni dostop

Prikaži vse

9 člankov

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityPreverjeni e-poštni naslov na lsbu.ac.uk
Carlos Delgado KloosUniversidad Carlos III de MadridPreverjeni e-poštni naslov na it.uc3m.es
LUIS SANCHEZ FERNANDEZUniversidad Carlos III de MadridPreverjeni e-poštni naslov na it.uc3m.es
Kevin LanoDept. of Informatics, King's College LondonPreverjeni e-poštni naslov na kcl.ac.uk
Natividad Martínez MadridReutlingen UniversityPreverjeni e-poštni naslov na ieee.org
Andres Marin LopezAssociate Professor of Telematics, University Carlos III of Madrid, Leganes, SpainPreverjeni e-poštni naslov na it.uc3m.es
Esther PalomarUniversity of AlcalaPreverjeni e-poštni naslov na uah.es
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, ChinaPreverjeni e-poštni naslov na swu.edu.cn
Carlos García-RubioUniversidad Carlos III de MadridPreverjeni e-poštni naslov na it.uc3m.es
Vicente Luque CentenoLecturer (UC3M)Preverjeni e-poštni naslov na it.uc3m.es
Celeste CampoAssociate ProfessorPreverjeni e-poštni naslov na it.uc3m.es
Marisol García VallsCatedrática de Universidad (Full Professor) - Universitat Politècnica de ValènciaPreverjeni e-poštni naslov na dcom.upv.es
howard haughtonMD Holistic Risk Solutions and Kings College LondonPreverjeni e-poštni naslov na kcl.ac.uk
Jan MaciejowskiUniversity of CambridgePreverjeni e-poštni naslov na cam.ac.uk
Robert FranceProfessor of Computer Science, Colorado State UniversityPreverjeni e-poštni naslov na cs.colostate.edu
Liliana Patricia Santacruz ValenciaUniversidad Rey Juan CarlosPreverjeni e-poštni naslov na urjc.es
Volker LindenstruthProfessorPreverjeni e-poštni naslov na compeng.de
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoPreverjeni e-poštni naslov na di.uminho.pt
Fernando Paniagua MartínUniversidad Carlos III de MadridPreverjeni e-poštni naslov na inf.uc3m.es
Antonio CeroneNazarbayev UniversityPreverjeni e-poštni naslov na nu.edu.kz

Spremljaj

Peter T. Breuer

Independent Researcher

Preverjeni e-poštni naslov na hecusys.com - Domača stran

Computer Science


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
Formal Semantics for VHDL C Delgado Kloos, PT Breuer Kluwer Academic Publishers, 1995	149*	1995
The enhanced network block device PT Breuer, A Marín Lopez, A García Ares Linux Journal 73, 2000	123	2000
Creating specifications from code: Reverse‐engineering techniques PT Breuer, K Lano Journal of Software Maintenance: Research and Practice 3 (3), 145-162, 1991	92*	1991
Towards correct executable semantics for Z PT Breuer, JP Bowen Z User Workshop, Cambridge, 185-209, 1994	83	1994
Decompilation: the enumeration of types and grammars PT Breuer, JP Bowen ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1613-1647, 1994	75	1994
A Fully Homomorphic Crypto-Processor Design: Correctness of a Secret Computer PT Breuer, JP Bowen ESSOS'13: International Symposium on Engineering Secure Software and Systems …, 2013	71	2013
Reverse‐engineering cobol via formal methods K Lano, PT Breuer, H Haughton Journal of Software Maintenance: Research and Practice 5 (1), 13-35, 1993	56	1993
A prettier compiler‐compiler: Generating higher‐order parsers in C PT Breuer, JP Bowen Software: Practice and Experience 25 (11), 1263-1297, 1995	49	1995
From programs to Z specifications KC Lano, PT Breuer Z User Workshop, Oxford, 46-70, 1989	48*	1989
A simple denotational semantics, proof theory and a validation condition generator for unit-delay VHDL PT Breuer, L Sánchez Fernández, C Delgado Kloos Formal Methods in System Design 7 (1), 27-51, 1995	45	1995
A compendium of formal techniques for software maintenance JP Bowen, PT Breuer, KC Lano Software Engineering Journal 8 (5), 253-262, 1993	44	1993
Service discovery in pervasive multi-agent systems C Campo, A Marin, C Garcia Rubio, P Breuer First International Joint Conference on Autonomous Agents and Multiagents …, 2002	42	2002
Formal specifications in software maintenance: from code to Z++ and back again JP Bowen, PT Breuer, KC Lano Information and Software Technology 35 (11), 679-690, 1993	39	1993
Static deadlock detection in the Linux kernel PT Breuer, M Garcia Valls Reliable Software Technologies-Ada-Europe 2004, 52-64, 2004	34	2004
Typed assembler for a RISC crypto-processor PT Breuer, JP Bowen ESSoS '12 International Symposium on Engineering Secure Software and Systems …, 2012	28	2012
A clean formal semantics for VHDL PT Breuer, L Sánchez Fernández, C Delgado Kloos European Design and Test Conference (EDAC), 641-647, 1994	28	1994
A Practical Encrypted Microprocessor PT Breuer, JP Bowen, E Palomar, Z Liu 13th International Conference on Security and Cryptography (SECRYPT 2016 …, 2016	26	2016
A refinement calculus for the synthesis of verified hardware descriptions in VHDL PT Breuer, C Delgado Kloos, A Marín López, N Martinez Madrid, ... ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (4), 586-616, 1997	26	1997
One million (LOC) and counting: Static analysis for errors and vulnerabilities in the Linux kernel source code PT Breuer, S Pickin Reliable Software Technologies–Ada-Europe 2006, 56-70, 2006	25	2006
Decompilation JP Bowen, PT Breuer The REDO compendium, 131-138, 1993	23	1993

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji