{"id":"https://openalex.org/A5084580777","orcid":"https://orcid.org/0000-0003-3379-9608","observed_orcids":["https://orcid.org/0000-0003-3379-9608"],"display_name":"Mark B. Josephs","raw_author_names":["M. Josephs","M.B. Josephs","Mark B. Josephs","Mark Josephs"],"full_name":"Mark B. Josephs","works_count":59,"cited_by_count":794,"summary_stats":{"2yr_mean_citedness":1.0,"h_index":15,"i10_index":22},"ids":{"openalex":"https://openalex.org/A5084580777","orcid":"https://orcid.org/0000-0003-3379-9608","observed_orcids":["https://orcid.org/0000-0003-3379-9608"]},"affiliations":[{"institution":{"id":"https://openalex.org/I12870472","ror":"https://ror.org/00t67pt25","display_name":"Birmingham City University","country_code":"GB","type":"education","lineage":["https://openalex.org/I12870472"]},"years":[2024,2022,2021,2020,2019,2018]},{"institution":{"id":"https://openalex.org/I1341412227","ror":"https://ror.org/05hh8d621","display_name":"IBM (United States)","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},"years":[1989,1988]},{"institution":{"id":"https://openalex.org/I141584323","ror":"https://ror.org/0267vjk41","display_name":"University of Hertfordshire","country_code":"GB","type":"education","lineage":["https://openalex.org/I141584323"]},"years":[2006]},{"institution":{"id":"https://openalex.org/I204465549","ror":"https://ror.org/01yc7t268","display_name":"Washington University in St. Louis","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]},"years":[1991]},{"institution":{"id":"https://openalex.org/I28257850","ror":"https://ror.org/02vwnat91","display_name":"London South Bank University","country_code":"GB","type":"education","lineage":["https://openalex.org/I28257850"]},"years":[2007,2006,2005,2004,2003,2002,2001,2000,1999,1998,1997,1996,1995,1994]},{"institution":{"id":"https://openalex.org/I40120149","ror":"https://ror.org/052gg0110","display_name":"University of Oxford","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},"years":[2006,2005,2002,1991,1986]},{"institution":{"id":"https://openalex.org/I4210114115","ror":"https://ror.org/0265w5591","display_name":"IBM Research - Thomas J. Watson Research Center","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]},"years":[1988]},{"institution":{"id":"https://openalex.org/I83019370","ror":"https://ror.org/02c2kyt77","display_name":"Eindhoven University of Technology","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},"years":[1992,1990]}],"last_known_institutions":[{"id":"https://openalex.org/I12870472","ror":"https://ror.org/00t67pt25","display_name":"Birmingham City University","country_code":"GB","type":"education","lineage":["https://openalex.org/I12870472"]}],"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","count":33,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","count":29,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","count":21,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","count":11,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","count":8,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"topic_share":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","value":0.000129,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","value":0.0001137,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","value":0.0001057,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","value":6.35e-05,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","value":3.47e-05,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"x_concepts":[{"id":"41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","score":0.8928892612457275},{"id":"151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","score":0.8440223932266235},{"id":"199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","score":0.7187950611114502},{"id":"80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","score":0.5522159337997437},{"id":"33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","score":0.48892226815223694}],"counts_by_year":[{"year":1986,"works_count":1,"oa_works_count":1,"cited_by_count":0},{"year":1988,"works_count":2,"oa_works_count":0,"cited_by_count":0},{"year":1989,"works_count":1,"oa_works_count":1,"cited_by_count":0},{"year":1990,"works_count":2,"oa_works_count":1,"cited_by_count":0},{"year":1991,"works_count":2,"oa_works_count":0,"cited_by_count":0},{"year":1992,"works_count":2,"oa_works_count":0,"cited_by_count":0},{"year":1993,"works_count":3,"oa_works_count":0,"cited_by_count":0},{"year":1994,"works_count":2,"oa_works_count":0,"cited_by_count":0},{"year":1995,"works_count":1,"oa_works_count":0,"cited_by_count":0},{"year":1996,"works_count":1,"oa_works_count":0,"cited_by_count":0},{"year":1997,"works_count":1,"oa_works_count":1,"cited_by_count":0},{"year":1998,"works_count":3,"oa_works_count":1,"cited_by_count":0},{"year":1999,"works_count":2,"oa_works_count":0,"cited_by_count":0},{"year":2000,"works_count":1,"oa_works_count":1,"cited_by_count":0},{"year":2001,"works_count":1,"oa_works_count":0,"cited_by_count":0},{"year":2002,"works_count":7,"oa_works_count":0,"cited_by_count":0},{"year":2003,"works_count":2,"oa_works_count":0,"cited_by_count":0},{"year":2004,"works_count":3,"oa_works_count":0,"cited_by_count":0},{"year":2005,"works_count":2,"oa_works_count":1,"cited_by_count":0},{"year":2006,"works_count":4,"oa_works_count":1,"cited_by_count":0},{"year":2007,"works_count":3,"oa_works_count":1,"cited_by_count":0},{"year":2012,"works_count":0,"oa_works_count":0,"cited_by_count":15},{"year":2013,"works_count":0,"oa_works_count":0,"cited_by_count":13},{"year":2014,"works_count":0,"oa_works_count":0,"cited_by_count":7},{"year":2015,"works_count":0,"oa_works_count":0,"cited_by_count":13},{"year":2016,"works_count":0,"oa_works_count":0,"cited_by_count":4},{"year":2017,"works_count":0,"oa_works_count":0,"cited_by_count":9},{"year":2018,"works_count":4,"oa_works_count":2,"cited_by_count":8},{"year":2019,"works_count":3,"oa_works_count":0,"cited_by_count":10},{"year":2020,"works_count":2,"oa_works_count":0,"cited_by_count":16},{"year":2021,"works_count":2,"oa_works_count":1,"cited_by_count":19},{"year":2022,"works_count":1,"oa_works_count":1,"cited_by_count":21},{"year":2023,"works_count":0,"oa_works_count":0,"cited_by_count":25},{"year":2024,"works_count":1,"oa_works_count":1,"cited_by_count":26},{"year":2025,"works_count":0,"oa_works_count":0,"cited_by_count":19},{"year":2026,"works_count":0,"oa_works_count":0,"cited_by_count":7}],"display_name_alternatives":["M. Josephs","M.B. Josephs","Mark B. Josephs","Mark Josephs"],"block_key":"m josephs","works_api_url":"https://api.openalex.org/works?filter=author.id:A5084580777","updated_date":"2026-11-08T12:57:04","created_date":"2016-06-24T00:00:00"}