Naoki Yonezaki - Citegraph

Author Info

Name	Affiliation	Papers
NAOKI YONEZAKI	Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, Tokyo, Japan	48
Collaborators	Citations	PageRank
39	107	20.02
Referers	Referees	References
135	471	355

Search Limit

100471

Publications (48 rows)

Collaborators (39 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic.	0	0.34	2020
Efficient Analysis Of Homeostasis Of Gene Networks With Compositional Approach	1	0.36	2017
Safraless LTL synthesis considering maximal realizability.	3	0.41	2017
Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms	0	0.34	2017
Modularization of formal specifications or efficient synthesis of reactive systems	0	0.34	2017
Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract).	0	0.34	2017
Web server access trend analysis based on the Poisson distribution	2	0.40	2017
Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.	0	0.34	2016
Monitoring Temporal Properties Using Interval Analysis	2	0.37	2016
Qualitative analysis of gene regulatory networks by temporal logic	5	0.49	2015
Reducing Bounded Realizability Analysis to Reachability Checking.	2	0.38	2015
Monitoring Bounded LTL Properties Using Interval Analysis	1	0.36	2015
Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs	1	0.36	2015
Fast Translation from LTL to Büchi Automata via Non-transition-based Automata.	1	0.37	2014
Minimal strongly unsatisfiable subsets of reactive system specifications	4	0.42	2014
Bounded Strong Satisfiability Checking Of Reactive System Specifications	3	0.41	2014
A Qualitative Framework for Analysing Homeostasis in Gene Networks.	0	0.34	2014
Qualitative Analysis of Gene Regulatory Networks using Network Motifs.	2	0.39	2013
Modular Analysis Of Gene Networks By Linear Temporal Logic	6	0.51	2013
Complexity Of Strong Satisfiability Problems For Reactive System Specifications	2	0.40	2013
Formal Analysis of Gene Networks Using Network Motifs	0	0.34	2013
SAT: Based bounded strong satisfiability checking of reactive system specifications	2	0.38	2013
Complexity of Checking Strong Satisfiability of Reactive System Specifications.	2	0.39	2012
A temporal logic with mean-payoff constraints	10	0.57	2012
A Probabilistic Temporal Logic With Frequency Operators And Its Model Checking	6	0.47	2011
Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic	7	0.54	2010
Extracting Environmental Constraints to Make Reactive System Specifications Realizable	7	0.55	2009
Formal system of interactions on biomedical ontology	0	0.34	2009
A Quantitative Semantics of Formal Ontology of Drug Interactions	0	0.34	2008
A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products	1	0.36	2007
An operational semantics of program dependence graphs for unstructured programs	1	0.36	2006
Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers	18	1.29	2004
A Formal System for Analysis of Cryptographic Encryption and Their Security Properties	3	0.42	2003
A Multi-level Qualitative Formal Model for Geographic Maps	0	0.34	2002
Design of UNIX System for the Prevention of Damage Propagation by Intrusion and Its Implementation Based on 4.4BSD	0	0.34	2001
An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications	1	0.36	2000
An Object-Oriented Model of Maps	0	0.34	1999
A General Object-Oriented Model for Spatial Data	1	0.63	1999
Resolution Method for Modal Logic with Well-Founded Frames	0	0.34	1999
Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic	9	0.70	1994
TAP: A New Model for Software Process: Tasks-Agents-Products	1	0.41	1993
More Expressive Temporal Logic for Specifications	0	0.34	1993
Logical environment for natural language approach	0	0.34	1985
Functional specification of synchronized processes based on modal logic	1	0.37	1982
Image Modeling Aspects of Non-procedural Parallel Processing Language.	0	0.34	1980
Database system based on intensional logic	2	0.50	1980
A parallel programming language and description of scheduler	0	0.34	1980
A model for perception of structural image feature	0	0.34	1979