Peter T. Breuer - Google Scholar Citations

Cited by

	All	Since 2015
Citations	1575	301
h-index	20	10
i10-index	44	10

160

120

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202010 6 6 19 22 55 53 76 61 61 66 53 32 61 38 37 61 43 67 52 77 31 37 23 38 101 49 36 36 38 45 142 4

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
Jan MaciejowskiUniversity of CambridgeVerified email at eng.cam.ac.uk
Robert FranceProfessor of Computer Science, Colorado State UniversityVerified email at cs.colostate.edu
Volker LindenstruthProfessorVerified email at compeng.de
Liliana Patricia Santacruz ValenciaUniversidad Rey Juan CarlosVerified email at urjc.es
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
Carmen Fernández-PanaderoAssociate Professor, Telematics Engineering, Universidad 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	136*	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	93	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	73	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	66*	2013
A prettier compiler‐compiler: Generating higher‐order parsers in C PT Breuer, JP Bowen Software: Practice and Experience 25 (11), 1263-1297, 1995	50	1995
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
From programs to Z specifications KC Lano, PT Breuer Z User Workshop, Oxford, 46-70, 1989	44*	1989
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	39	2002
A compendium of formal techniques for software maintenance JP Bowen, PT Breuer, KC Lano Software Engineering Journal 8 (5), 253-262, 1993	34	1993
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	33	1995
Static deadlock detection in the Linux kernel PT Breuer, M Garcia Valls Reliable Software Technologies-Ada-Europe 2004, 52-64, 2004	32	2004
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	26	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	25	1993
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	24	1997
Decompilation JP Bowen, PT Breuer The REDO compendium, 131-138, 1993	23	1993
A Practical Encrypted Microprocessor PT Breuer, JP Bowen, E Palomar, Z Liu 13th International Conference on Security and Cryptography (SECRYPT 2016 …, 2016	21	2016
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	21	2006

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