Peter T. Breuer

Geciteerd door

	Alles	Sinds 2019
Citaties	1728	255
h-index	21	8
i10-index	45	8

140

105

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 8 7 18 24 52 53 73 63 75 64 54 32 66 34 40 70 45 71 50 73 31 43 25 36 81 73 28 43 41 47 134 16 26 36 18 25

Openbare toegang

Alles bekijken

9 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityGeverifieerd e-mailadres voor lsbu.ac.uk
Carlos Delgado KloosUniversidad Carlos III de MadridGeverifieerd e-mailadres voor it.uc3m.es
LUIS SANCHEZ FERNANDEZUniversidad Carlos III de MadridGeverifieerd e-mailadres voor it.uc3m.es
Kevin LanoDept. of Informatics, King's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
Natividad Martínez MadridReutlingen UniversityGeverifieerd e-mailadres voor ieee.org
Andres Marin LopezAssociate Professor of Telematics, University Carlos III of Madrid, Leganes, SpainGeverifieerd e-mailadres voor it.uc3m.es
Esther PalomarUniversity of AlcalaGeverifieerd e-mailadres voor uah.es
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, ChinaGeverifieerd e-mailadres voor swu.edu.cn
Carlos García-RubioUniversidad Carlos III de MadridGeverifieerd e-mailadres voor it.uc3m.es
Vicente Luque CentenoLecturer (UC3M)Geverifieerd e-mailadres voor it.uc3m.es
Celeste CampoAssociate ProfessorGeverifieerd e-mailadres voor it.uc3m.es
Marisol García VallsCatedrática de Universidad (Full Professor) - Universitat Politècnica de ValènciaGeverifieerd e-mailadres voor dcom.upv.es
howard haughtonMD Holistic Risk Solutions and Kings College LondonGeverifieerd e-mailadres voor kcl.ac.uk
Jan MaciejowskiUniversity of CambridgeGeverifieerd e-mailadres voor cam.ac.uk
Robert FranceProfessor of Computer Science, Colorado State UniversityGeverifieerd e-mailadres voor cs.colostate.edu
Liliana Patricia Santacruz ValenciaUniversidad Rey Juan CarlosGeverifieerd e-mailadres voor urjc.es
Volker LindenstruthProfessorGeverifieerd e-mailadres voor compeng.de
Fernando Paniagua MartínUniversidad Carlos III de MadridGeverifieerd e-mailadres voor inf.uc3m.es
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoGeverifieerd e-mailadres voor di.uminho.pt
Antonio CeroneNazarbayev UniversityGeverifieerd e-mailadres voor nu.edu.kz

Volgen

Peter T. Breuer

Independent Researcher

Geverifieerd e-mailadres voor hecusys.com - Homepage

Computer Science


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Formal Semantics for VHDL C Delgado Kloos, PT Breuer Kluwer Academic Publishers, 1995	150*	1995
The enhanced network block device PT Breuer, A Marín Lopez, A García Ares Linux Journal 73, 2000	122	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	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	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	72	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	57	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
From programs to Z specifications KC Lano, PT Breuer Z User Workshop, Oxford, 46-70, 1989	47*	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	44	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	43	2002
A compendium of formal techniques for software maintenance JP Bowen, PT Breuer, KC Lano Software Engineering Journal 8 (5), 253-262, 1993	41	1993
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	40	1993
Static deadlock detection in the Linux kernel PT Breuer, M Garcia Valls Reliable Software Technologies-Ada-Europe 2004, 52-64, 2004	36	2004
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
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 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	27	1997
A Practical Encrypted Microprocessor PT Breuer, JP Bowen, E Palomar, Z Liu 13th International Conference on Security and Cryptography (SECRYPT 2016 …, 2016	26	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	25	2006
Decompilation JP Bowen, PT Breuer The REDO compendium, 131-138, 1993	23	1993

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs