{"id":"https://openalex.org/W2118977486","doi":"https://doi.org/10.1093/bioinformatics/btq727","title":"MIRACH: efficient model checker for quantitative biological pathway models","display_name":"MIRACH: efficient model checker for quantitative biological pathway models","publication_year":2011,"publication_date":"2011-01-05","ids":{"openalex":"https://openalex.org/W2118977486","doi":"https://doi.org/10.1093/bioinformatics/btq727","mag":"2118977486","pmid":"https://pubmed.ncbi.nlm.nih.gov/21208986"},"language":"en","primary_location":{"id":"doi:10.1093/bioinformatics/btq727","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/btq727","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/27/5/734/48867392/bioinformatics_27_5_734.pdf","source":{"id":"https://openalex.org/S52395412","display_name":"Bioinformatics","issn_l":"1367-4803","issn":["1367-4803","1367-4811"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://academic.oup.com/bioinformatics/article-pdf/27/5/734/48867392/bioinformatics_27_5_734.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012980019","display_name":"Chuan Hock Koh","orcid":null},"institutions":[{"id":"https://openalex.org/I161296585","display_name":"Tokyo University of Science","ror":"https://ror.org/05sj3n476","country_code":"JP","type":"education","lineage":["https://openalex.org/I161296585"]},{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["JP","SG"],"is_corresponding":true,"raw_author_name":"Chuan Hock Koh","raw_affiliation_strings":["1 NUS Graduate School for Integrative Sciences and Engineering, Singapore 117597, 2School of Computing, National University of Singapore, Computing Drive, Singapore 117417 and 3Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan"],"affiliations":[{"raw_affiliation_string":"1 NUS Graduate School for Integrative Sciences and Engineering, Singapore 117597, 2School of Computing, National University of Singapore, Computing Drive, Singapore 117417 and 3Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan","institution_ids":["https://openalex.org/I165932596","https://openalex.org/I161296585"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025220924","display_name":"Masao Nagasaki","orcid":"https://orcid.org/0000-0002-4292-8785"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]},{"id":"https://openalex.org/I161296585","display_name":"Tokyo University of Science","ror":"https://ror.org/05sj3n476","country_code":"JP","type":"education","lineage":["https://openalex.org/I161296585"]}],"countries":["JP","SG"],"is_corresponding":false,"raw_author_name":"Masao Nagasaki","raw_affiliation_strings":["1 NUS Graduate School for Integrative Sciences and Engineering, Singapore 117597, 2School of Computing, National University of Singapore, Computing Drive, Singapore 117417 and 3Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan"],"affiliations":[{"raw_affiliation_string":"1 NUS Graduate School for Integrative Sciences and Engineering, Singapore 117597, 2School of Computing, National University of Singapore, Computing Drive, Singapore 117417 and 3Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan","institution_ids":["https://openalex.org/I165932596","https://openalex.org/I161296585"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079013346","display_name":"Ayumu Saito","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]},{"id":"https://openalex.org/I161296585","display_name":"Tokyo University of Science","ror":"https://ror.org/05sj3n476","country_code":"JP","type":"education","lineage":["https://openalex.org/I161296585"]}],"countries":["JP","SG"],"is_corresponding":false,"raw_author_name":"Ayumu Saito","raw_affiliation_strings":["1 NUS Graduate School for Integrative Sciences and Engineering, Singapore 117597, 2School of Computing, National University of Singapore, Computing Drive, Singapore 117417 and 3Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan"],"affiliations":[{"raw_affiliation_string":"1 NUS Graduate School for Integrative Sciences and Engineering, Singapore 117597, 2School of Computing, National University of Singapore, Computing Drive, Singapore 117417 and 3Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan","institution_ids":["https://openalex.org/I165932596","https://openalex.org/I161296585"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100369793","display_name":"Chen Li","orcid":"https://orcid.org/0000-0002-0079-3106"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]},{"id":"https://openalex.org/I161296585","display_name":"Tokyo University of Science","ror":"https://ror.org/05sj3n476","country_code":"JP","type":"education","lineage":["https://openalex.org/I161296585"]}],"countries":["JP","SG"],"is_corresponding":false,"raw_author_name":"Chen Li","raw_affiliation_strings":["1 NUS Graduate School for Integrative Sciences and Engineering, Singapore 117597, 2School of Computing, National University of Singapore, Computing Drive, Singapore 117417 and 3Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan"],"affiliations":[{"raw_affiliation_string":"1 NUS Graduate School for Integrative Sciences and Engineering, Singapore 117597, 2School of Computing, National University of Singapore, Computing Drive, Singapore 117417 and 3Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan","institution_ids":["https://openalex.org/I165932596","https://openalex.org/I161296585"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012381970","display_name":"Limsoon Wong","orcid":"https://orcid.org/0000-0003-1241-5441"},"institutions":[{"id":"https://openalex.org/I161296585","display_name":"Tokyo University of Science","ror":"https://ror.org/05sj3n476","country_code":"JP","type":"education","lineage":["https://openalex.org/I161296585"]},{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["JP","SG"],"is_corresponding":false,"raw_author_name":"Limsoon Wong","raw_affiliation_strings":["1 NUS Graduate School for Integrative Sciences and Engineering, Singapore 117597, 2School of Computing, National University of Singapore, Computing Drive, Singapore 117417 and 3Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan"],"affiliations":[{"raw_affiliation_string":"1 NUS Graduate School for Integrative Sciences and Engineering, Singapore 117597, 2School of Computing, National University of Singapore, Computing Drive, Singapore 117417 and 3Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan","institution_ids":["https://openalex.org/I165932596","https://openalex.org/I161296585"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088167618","display_name":"Satoru Miyano","orcid":"https://orcid.org/0000-0002-1753-6616"},"institutions":[{"id":"https://openalex.org/I161296585","display_name":"Tokyo University of Science","ror":"https://ror.org/05sj3n476","country_code":"JP","type":"education","lineage":["https://openalex.org/I161296585"]},{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["JP","SG"],"is_corresponding":false,"raw_author_name":"Satoru Miyano","raw_affiliation_strings":["1 NUS Graduate School for Integrative Sciences and Engineering, Singapore 117597, 2School of Computing, National University of Singapore, Computing Drive, Singapore 117417 and 3Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan"],"affiliations":[{"raw_affiliation_string":"1 NUS Graduate School for Integrative Sciences and Engineering, Singapore 117597, 2School of Computing, National University of Singapore, Computing Drive, Singapore 117417 and 3Human Genome Center, Institute of Medical Science, University of Tokyo, 4-6-1 Shirokanedai, Minato-ku, Tokyo 108-8639, Japan","institution_ids":["https://openalex.org/I165932596","https://openalex.org/I161296585"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5012980019"],"corresponding_institution_ids":["https://openalex.org/I161296585","https://openalex.org/I165932596"],"apc_list":{"value":3618,"currency":"USD","value_usd":3618},"apc_paid":null,"fwci":0.5336,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.6659653,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"27","issue":"5","first_page":"734","last_page":"735"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9926000237464905,"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/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":0.9919999837875366,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/sbml","display_name":"SBML","score":0.9287793040275574},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.8908838629722595},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7950794100761414},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6845797896385193},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6307346820831299},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.5999965667724609},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5325849056243896},{"id":"https://openalex.org/keywords/license","display_name":"License","score":0.46277177333831787},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.44973719120025635},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4201093018054962},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4040825366973877},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.36159083247184753},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3414102792739868},{"id":"https://openalex.org/keywords/markup-language","display_name":"Markup language","score":0.3086918890476227},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.21395960450172424}],"concepts":[{"id":"https://openalex.org/C87186988","wikidata":"https://www.wikidata.org/wiki/Q452197","display_name":"SBML","level":4,"score":0.9287793040275574},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8908838629722595},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7950794100761414},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6845797896385193},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6307346820831299},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.5999965667724609},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5325849056243896},{"id":"https://openalex.org/C2780560020","wikidata":"https://www.wikidata.org/wiki/Q79719","display_name":"License","level":2,"score":0.46277177333831787},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.44973719120025635},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4201093018054962},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4040825366973877},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.36159083247184753},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3414102792739868},{"id":"https://openalex.org/C45874996","wikidata":"https://www.wikidata.org/wiki/Q37045","display_name":"Markup language","level":3,"score":0.3086918890476227},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.21395960450172424}],"mesh":[{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D008954","descriptor_name":"Models, Biological","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012984","descriptor_name":"Software","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D015233","descriptor_name":"Models, Statistical","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D015233","descriptor_name":"Models, Statistical","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D015233","descriptor_name":"Models, Statistical","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D016001","descriptor_name":"Confidence Intervals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D016001","descriptor_name":"Confidence Intervals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D016001","descriptor_name":"Confidence Intervals","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D049490","descriptor_name":"Systems Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D049490","descriptor_name":"Systems Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false},{"descriptor_ui":"D049490","descriptor_name":"Systems Biology","qualifier_ui":"Q000379","qualifier_name":"methods","is_major_topic":false}],"locations_count":3,"locations":[{"id":"doi:10.1093/bioinformatics/btq727","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/btq727","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/27/5/734/48867392/bioinformatics_27_5_734.pdf","source":{"id":"https://openalex.org/S52395412","display_name":"Bioinformatics","issn_l":"1367-4803","issn":["1367-4803","1367-4811"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics","raw_type":"journal-article"},{"id":"pmid:21208986","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/21208986","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics (Oxford, England)","raw_type":null},{"id":"pmh:oai:scholarbank.nus.edu.sg:10635/39878","is_oa":false,"landing_page_url":"http://scholarbank.nus.edu.sg/handle/10635/39878","pdf_url":null,"source":{"id":"https://openalex.org/S7407052290","display_name":"National University of Singapore","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scopus","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1093/bioinformatics/btq727","is_oa":true,"landing_page_url":"https://doi.org/10.1093/bioinformatics/btq727","pdf_url":"https://academic.oup.com/bioinformatics/article-pdf/27/5/734/48867392/bioinformatics_27_5_734.pdf","source":{"id":"https://openalex.org/S52395412","display_name":"Bioinformatics","issn_l":"1367-4803","issn":["1367-4803","1367-4811"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bioinformatics","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5199999809265137}],"awards":[{"id":"https://openalex.org/G3034753964","display_name":null,"funder_award_id":"grant","funder_id":"https://openalex.org/F4320320671","funder_display_name":"National Research Foundation"}],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320320698","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49"},{"id":"https://openalex.org/F4320320709","display_name":"National Research Foundation Singapore","ror":"https://ror.org/03cpyc314"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2118977486.pdf","grobid_xml":"https://content.openalex.org/works/W2118977486.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W138443365","https://openalex.org/W1509766189","https://openalex.org/W1520566118","https://openalex.org/W2007072455","https://openalex.org/W2020018978","https://openalex.org/W2096248361","https://openalex.org/W2118039525","https://openalex.org/W2131463591","https://openalex.org/W2137590391","https://openalex.org/W2148523353","https://openalex.org/W2150908245","https://openalex.org/W2161281125","https://openalex.org/W2167770337","https://openalex.org/W2171501814","https://openalex.org/W2171594815","https://openalex.org/W4230704549","https://openalex.org/W6631043582","https://openalex.org/W6683572152","https://openalex.org/W6684974061"],"related_works":["https://openalex.org/W2170405129","https://openalex.org/W2367240299","https://openalex.org/W2528467228","https://openalex.org/W4236107411","https://openalex.org/W2134221731","https://openalex.org/W2348100758","https://openalex.org/W2026046761","https://openalex.org/W3135404922","https://openalex.org/W2118977486","https://openalex.org/W2951522607"],"abstract_inverted_index":{"MIRACH":[0,21],"1.0":[1],"was":[2],"developed":[3],"using":[4],"Java":[5],"and":[6,29],"thus":[7],"executable":[8],"on":[9],"any":[10],"platform":[11],"installed":[12],"with":[13,24],"JDK":[14],"6.0":[15],"(not":[16],"JRE":[17],"6.0)":[18],"or":[19],"later.":[20],"1.0,":[22],"along":[23],"its":[25],"source":[26],"codes,":[27],"documentation":[28],"examples":[30],"are":[31],"available":[32],"at":[33],"http://sourceforge.net/projects/mirach/":[34],"under":[35],"the":[36],"LGPLv3":[37],"license.":[38]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}