{"id":"https://openalex.org/A5000114432","orcid":"https://orcid.org/0000-0002-3657-989X","observed_orcids":["https://orcid.org/0000-0002-3657-989X"],"display_name":"Stephen T. Gilmore","raw_author_names":["Gilmore, S","Gilmore, Stephen","S Gilmore","S. Gilmore","S.T. Gilmore","ST Gilmore","Stephen Gilmore","Stephen T. Gilmore"],"full_name":"Stephen T. Gilmore","works_count":219,"cited_by_count":4583,"summary_stats":{"2yr_mean_citedness":0.0,"h_index":34,"i10_index":72},"ids":{"openalex":"https://openalex.org/A5000114432","orcid":"https://orcid.org/0000-0002-3657-989X","observed_orcids":["https://orcid.org/0000-0002-3657-989X"]},"affiliations":[{"institution":{"id":"https://openalex.org/I138801177","ror":"https://ror.org/01yp9g959","display_name":"University of Ulster","country_code":"GB","type":"education","lineage":["https://openalex.org/I138801177"]},"years":[1990]},{"institution":{"id":"https://openalex.org/I142263535","ror":"https://ror.org/01ee9ar58","display_name":"University of Nottingham","country_code":"GB","type":"education","lineage":["https://openalex.org/I142263535"]},"years":[2013]},{"institution":{"id":"https://openalex.org/I142444530","ror":"https://ror.org/02n742c10","display_name":"University of Trieste","country_code":"IT","type":"education","lineage":["https://openalex.org/I142444530"]},"years":[2015]},{"institution":{"id":"https://openalex.org/I183935753","ror":"https://ror.org/0220mzb33","display_name":"King's College London","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]},"years":[2022,2020,2018,2004]},{"institution":{"id":"https://openalex.org/I23923803","ror":"https://ror.org/03yghzc09","display_name":"University of Exeter","country_code":"GB","type":"education","lineage":["https://openalex.org/I23923803"]},"years":[2013]},{"institution":{"id":"https://openalex.org/I4210118579","ror":"https://ror.org/02c7akf81","display_name":"Systems Biology Institute","country_code":"JP","type":"nonprofit","lineage":["https://openalex.org/I4210118579"]},"years":[2013]},{"institution":{"id":"https://openalex.org/I98677209","ror":"https://ror.org/01nrxwf90","display_name":"University of Edinburgh","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]},"years":[2020,2018,2017,2016,2015,2014,2013,2012,2011,2010,2009,2008,2007,2006,2005,2004,2003,2002,2001,2000,1999,1994]}],"last_known_institutions":null,"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","count":90,"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","count":77,"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":66,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13096","display_name":"Family and Matrimonial Law","count":35,"subfield":{"id":"https://openalex.org/subfields/3308","display_name":"Law"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","count":34,"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"}}],"topic_share":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","value":0.0007555,"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/T10142","display_name":"Formal Methods in Verification","value":0.0003338,"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/T11195","display_name":"Simulation Techniques and Applications","value":0.0001622,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","value":0.0001493,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","value":0.0001468,"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"}}],"x_concepts":[{"id":"41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","score":0.9325778484344482},{"id":"199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","score":0.7879781723022461},{"id":"98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","score":0.6146483421325684},{"id":"80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","score":0.5984930396080017},{"id":"33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","score":0.5432511568069458}],"counts_by_year":[{"year":1990,"works_count":1,"oa_works_count":0,"cited_by_count":0},{"year":1991,"works_count":2,"oa_works_count":0,"cited_by_count":0},{"year":1994,"works_count":1,"oa_works_count":1,"cited_by_count":0},{"year":1996,"works_count":3,"oa_works_count":0,"cited_by_count":0},{"year":1997,"works_count":3,"oa_works_count":1,"cited_by_count":0},{"year":1998,"works_count":6,"oa_works_count":3,"cited_by_count":0},{"year":1999,"works_count":5,"oa_works_count":3,"cited_by_count":0},{"year":2000,"works_count":6,"oa_works_count":1,"cited_by_count":0},{"year":2001,"works_count":7,"oa_works_count":2,"cited_by_count":0},{"year":2002,"works_count":4,"oa_works_count":1,"cited_by_count":0},{"year":2003,"works_count":11,"oa_works_count":4,"cited_by_count":0},{"year":2004,"works_count":12,"oa_works_count":8,"cited_by_count":0},{"year":2005,"works_count":19,"oa_works_count":8,"cited_by_count":0},{"year":2006,"works_count":13,"oa_works_count":5,"cited_by_count":0},{"year":2007,"works_count":11,"oa_works_count":5,"cited_by_count":0},{"year":2008,"works_count":14,"oa_works_count":6,"cited_by_count":0},{"year":2009,"works_count":12,"oa_works_count":6,"cited_by_count":0},{"year":2010,"works_count":4,"oa_works_count":1,"cited_by_count":0},{"year":2011,"works_count":13,"oa_works_count":6,"cited_by_count":0},{"year":2012,"works_count":4,"oa_works_count":1,"cited_by_count":313},{"year":2013,"works_count":6,"oa_works_count":5,"cited_by_count":291},{"year":2014,"works_count":4,"oa_works_count":3,"cited_by_count":279},{"year":2015,"works_count":10,"oa_works_count":8,"cited_by_count":219},{"year":2016,"works_count":11,"oa_works_count":4,"cited_by_count":111},{"year":2017,"works_count":2,"oa_works_count":1,"cited_by_count":68},{"year":2018,"works_count":14,"oa_works_count":3,"cited_by_count":102},{"year":2019,"works_count":0,"oa_works_count":0,"cited_by_count":78},{"year":2020,"works_count":15,"oa_works_count":2,"cited_by_count":86},{"year":2021,"works_count":0,"oa_works_count":0,"cited_by_count":54},{"year":2022,"works_count":3,"oa_works_count":0,"cited_by_count":56},{"year":2023,"works_count":1,"oa_works_count":0,"cited_by_count":33},{"year":2024,"works_count":2,"oa_works_count":2,"cited_by_count":73},{"year":2025,"works_count":0,"oa_works_count":0,"cited_by_count":40},{"year":2026,"works_count":0,"oa_works_count":0,"cited_by_count":30}],"display_name_alternatives":["Gilmore, S","Gilmore, Stephen","S Gilmore","S. Gilmore","S.T. Gilmore","ST Gilmore","Stephen Gilmore","Stephen T. Gilmore"],"block_key":"s gilmore","works_api_url":"https://api.openalex.org/works?filter=author.id:A5000114432","updated_date":"2026-11-01T11:00:13","created_date":"2016-06-24T00:00:00"}