{"id":"https://openalex.org/A5048819609","orcid":null,"observed_orcids":[],"display_name":"Hac\u00e8ne Sebih","raw_author_names":["Hacene Sebih","Hac\u00e8ne Sebih","Sebih Hacene","Sebih, Hac\u00e8ne"],"full_name":"Sebih, Hac\u00e8ne","works_count":5,"cited_by_count":0,"summary_stats":{"2yr_mean_citedness":0.0,"h_index":0,"i10_index":0},"ids":{"openalex":"https://openalex.org/A5048819609","orcid":null,"observed_orcids":[]},"affiliations":[{"institution":{"id":"https://openalex.org/I4210145724","ror":"https://ror.org/044j5mm75","display_name":"Centre d'\u00e9tudes et de recherche en informatique et communications","country_code":"FR","type":"facility","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562","https://openalex.org/I4210145724"]},"years":[2005,2003]},{"institution":{"id":"https://openalex.org/I4210160465","ror":"https://ror.org/056mctw68","display_name":"Universit\u00e9 Constantine 2","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210160465"]},"years":[2013]}],"last_known_institutions":[{"id":"https://openalex.org/I4210160465","ror":"https://ror.org/056mctw68","display_name":"Universit\u00e9 Constantine 2","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210160465"]}],"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","count":4,"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":3,"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/T11125","display_name":"Petri Nets in System Modeling","count":3,"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/T10639","display_name":"Advanced Software Engineering Methodologies","count":1,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","count":1,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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":3.11e-05,"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":1.56e-05,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","value":7.7e-06,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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","value":6.6e-06,"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/T11567","display_name":"semigroups and automata theory","value":5.5e-06,"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"}}],"x_concepts":[{"id":"154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","score":0.8489266633987427},{"id":"41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","score":0.8085575103759766},{"id":"4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","score":0.7603999972343445},{"id":"25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","score":0.6978999972343445},{"id":"199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","score":0.6378775835037231}],"counts_by_year":[{"year":2003,"works_count":2,"oa_works_count":0,"cited_by_count":0},{"year":2005,"works_count":1,"oa_works_count":0,"cited_by_count":0},{"year":2008,"works_count":1,"oa_works_count":0,"cited_by_count":0},{"year":2013,"works_count":1,"oa_works_count":0,"cited_by_count":0}],"display_name_alternatives":["Hacene Sebih","Hac\u00e8ne Sebih","Sebih Hacene","Sebih, Hac\u00e8ne"],"block_key":"h sebih","works_api_url":"https://api.openalex.org/works?filter=author.id:A5048819609","updated_date":"2026-10-25T12:29:02","created_date":"2016-06-24T00:00:00"}