Peter T. Breuer

인용

	전체	2018년 이후
서지정보	1673	268
h-index	21	9
i10-index	45	8

140

105

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 8 7 20 23 51 52 70 62 64 63 54 31 67 35 38 68 46 70 49 74 33 43 27 38 82 70 28 41 40 44 134 18 26 30 16

공개 액세스

모두 보기

자료 8개

자료 0개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Jonathan P. BowenEmeritus Professor of Computing, London South Bank Universitylsbu.ac.uk의 이메일 확인됨
Carlos Delgado KloosUniversidad Carlos III de Madridit.uc3m.es의 이메일 확인됨
LUIS SANCHEZ FERNANDEZUniversidad Carlos III de Madridit.uc3m.es의 이메일 확인됨
Kevin LanoDept. of Informatics, King's College Londonkcl.ac.uk의 이메일 확인됨
Natividad Martínez MadridReutlingen Universityieee.org의 이메일 확인됨
Andres Marin LopezAssociate Professor of Telematics, University Carlos III of Madrid, Leganes, Spainit.uc3m.es의 이메일 확인됨
Esther PalomarUniversity of Alcalauah.es의 이메일 확인됨
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, Chinaswu.edu.cn의 이메일 확인됨
Carlos Garcia-RubioUniversidad Carlos III de Madridit.uc3m.es의 이메일 확인됨
Vicente Luque CentenoLecturer (UC3M)it.uc3m.es의 이메일 확인됨
Celeste CampoUniversity Carlos III of Madridit.uc3m.es의 이메일 확인됨
Marisol García VallsCatedrática de Universidad (Full Professor) - Universitat Politècnica de Valènciadcom.upv.es의 이메일 확인됨
howard haughtonMD Holistic Risk Solutions and Kings College Londonkcl.ac.uk의 이메일 확인됨
Jan MaciejowskiUniversity of Cambridgecam.ac.uk의 이메일 확인됨
Robert FranceProfessor of Computer Science, Colorado State Universitycs.colostate.edu의 이메일 확인됨
Liliana Patricia Santacruz ValenciaUniversidad Rey Juan Carlosurjc.es의 이메일 확인됨
Volker LindenstruthProfessorcompeng.de의 이메일 확인됨
Luis S. BarbosaProfessor of Computer Science, Universidade do Minhodi.uminho.pt의 이메일 확인됨
Fernando Paniagua MartínUniversidad Carlos III de Madridinf.uc3m.es의 이메일 확인됨
Juan Carlos LópezProfessor of Computer Architecture, University of Castilla-La Manchauclm.es의 이메일 확인됨

팔로우

Peter T. Breuer

Independent Researcher

hecusys.com의 이메일 확인됨 - 홈페이지

Computer Science


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
Formal Semantics for VHDL C Delgado Kloos, PT Breuer Kluwer Academic Publishers, 1995	153*	1995
The enhanced network block device PT Breuer, A Marín Lopez, A García Ares Linux Journal 73, 2000	103	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	80	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	70	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	51	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	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	47	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
A compendium of formal techniques for software maintenance JP Bowen, PT Breuer, KC Lano Software Engineering Journal 8 (5), 253-262, 1993	38	1993
Static deadlock detection in the Linux kernel PT Breuer, M Garcia Valls Reliable Software Technologies-Ada-Europe 2004, 52-64, 2004	36	2004
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	31	1993
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 Practical Encrypted Microprocessor PT Breuer, JP Bowen, E Palomar, Z Liu 13th International Conference on Security and Cryptography (SECRYPT 2016 …, 2016	25	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	25	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	24	2006
Decompilation JP Bowen, PT Breuer The REDO compendium, 131-138, 1993	23	1993

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자