Peter T. Breuer

Cited by

	All	Since 2016
Citations	1569	277
h-index	21	9
i10-index	44	9

140

105

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202110 7 6 18 21 51 41 71 60 58 69 47 32 59 36 39 61 45 69 47 74 30 39 27 38 101 53 35 38 37 47 138 11 6

New!

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk
Carlos Delgado KloosProfessor (Catedrático de Universidad), Universidad Carlos III de MadridVerified email at it.uc3m.es
LUIS SANCHEZ FERNANDEZUniversidad Carlos III de MadridVerified email at it.uc3m.es
Kevin LanoDept. of Informatics, King's College LondonVerified email at kcl.ac.uk
Natividad Martínez MadridReutlingen University and I.M. Sechenov First Moscow State Medical UniversityVerified email at ieee.org
Andres Marin LopezAssociate Professor of Telematics, University Carlos III of Madrid, Leganes, SpainVerified email at it.uc3m.es
Esther PalomarBirmingham City UniversityVerified email at bcu.ac.uk
Zhiming LiuUnited Nations University-International Institute for Software Technology (UNU-IIST)Verified email at iist.unu.edu
Carlos Garcia-RubioUniversidad Carlos III de MadridVerified email at it.uc3m.es
Celeste CampoUniversity Carlos III of MadridVerified email at it.uc3m.es
Vicente Luque CentenoLecturer (UC3M)Verified email at it.uc3m.es
Marisol García VallsCatedrática de Universidad (Full Professor) - Universitat Politècnica de ValènciaVerified email at dcom.upv.es
howard haughtonMD Holistic Risk Solutions and Kings College LondonVerified email at kcl.ac.uk
Jan MaciejowskiUniversity of CambridgeVerified email at eng.cam.ac.uk
Robert FranceProfessor of Computer Science, Colorado State UniversityVerified email at cs.colostate.edu
Liliana Patricia Santacruz ValenciaUniversidad Rey Juan CarlosVerified email at urjc.es
Volker LindenstruthProfessorVerified email at compeng.de
Fernando Paniagua MartínUniversidad Carlos III de MadridVerified email at inf.uc3m.es
Juan Carlos LópezProfessor of Computer Architecture, University of Castilla-La ManchaVerified email at uclm.es
ANDRES MARIN LOPEZUniversidad Carlos III de MadridVerified email at it.uc3m.es

Peter T. Breuer

Independent Researcher

Verified email at hecusys.com - Homepage

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal Semantics for VHDL C Delgado Kloos, PT Breuer Kluwer Academic Publishers, 1995	139*	1995
The enhanced network block device PT Breuer, A Marín Lopez, A García Ares Linux Journal 73, 2000	106	2000
Creating specifications from code: Reverse‐engineering techniques PT Breuer, K Lano Journal of Software Maintenance: Research and Practice 3 (3), 145-162, 1991	87*	1991
Towards correct executable semantics for Z PT Breuer, JP Bowen Z User Workshop, Cambridge, 185-209, 1994	78	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	74	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	64*	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	49	1993
A prettier compiler‐compiler: Generating higher‐order parsers in C PT Breuer, JP Bowen Software: Practice and Experience 25 (11), 1263-1297, 1995	48	1995
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	41	2002
From programs to Z specifications KC Lano, PT Breuer Z User Workshop, Oxford, 46-70, 1989	41*	1989
A compendium of formal techniques for software maintenance JP Bowen, PT Breuer, KC Lano Software Engineering Journal 8 (5), 253-262, 1993	37	1993
Static deadlock detection in the Linux kernel PT Breuer, M Garcia Valls Reliable Software Technologies-Ada-Europe 2004, 52-64, 2004	32	2004
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	32	1995
Typed assembler for a RISC crypto-processor PT Breuer, JP Bowen ESSoS '12 International Symposium on Engineering Secure Software and Systems …, 2012	27	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	27	1994
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	27	1993
Decompilation JP Bowen, PT Breuer The REDO compendium, 131-138, 1993	24	1993
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	22	2006
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	22	1997
A Practical Encrypted Microprocessor PT Breuer, JP Bowen, E Palomar, Z Liu 13th International Conference on Security and Cryptography (SECRYPT 2016 …, 2016	21	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors