Ryuzo Hasegawa - Concepedia

Author

Ryuzo Hasegawa

Kyushu University

Also Known As

Hasegawa, Ryuzo, R. Hasegawa, Ryuzo HASEGAWA, Ryuzo Hasegawa

111

Publications

717

Citations

H-Index

Concepts

All Affiliations

Kyushu University NTT (Japan)University of Yamanashi

About

Ryuzo Hasegawa is an author at Kyushu University specializing in computer science, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	9	9	246
2	Computer Science	9	9	246
3	Computer Engineering	3	3	94
4	Business	2	2	28
5	Management	2	2	65

Ryuzo Hasegawa

Publications

403

Citations

H-Index

Page 1

	Year	Citations
QMaxSAT: A Partial Max-SAT Solver Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Journal on Satisfiability Boolean Modeling and Computation	2012	118
A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm. Hiroshi Fujita, Ryuzo Hasegawa International Conference on Lightning Protection EngineeringRamified -Stack AlgorithmAutomated ReasoningVerificationComputational Model Theory	1991	50
Implementation and evaluation of a list-processing-oriented data flow machine Makoto Amamiya, Masaru Takesue, Ryuzo Hasegawa, ACM SIGARCH Computer Architecture News EngineeringComputer ArchitectureParallel ImplementationSoftware AnalysisDfm Prototype Machine	1986	34
A list-processing-oriented data flow machine architecture Makoto Amamiya, Ryuzo Hasegawa, Osamu Nakamura, EngineeringNew TypeComputer ArchitectureAssociation MemoryData Streaming Architecture	1982	31
Dataflow computing and eager and lazy evaluations Makoto Amamiya, Ryuzo Hasegawa New Generation Computing Workflow ExecutionEngineeringData FlowProgram AnalysisFormal Methods	1984	31
Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Mathematical ProgrammingMaxsat SolversModulo TotalizerConstraint SolvingEngineering	2013	29
Parallel Execution of Logic Programs based on Dataflow Concept. Ryuzo Hasegawa, Makoto Amamiya Future Generation Computer Systems EngineeringProgram AnalysisFormal MethodsSoftware EngineeringParallel Programming	1984	27
Minimal model generation with respect to an atom set Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita,	2009	20
Bottom-up abduction by model generation Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa,	1993	19
Solving the Coalition Structure Generation Problem with MaxSAT Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Mathematical ProgrammingEngineeringGame TheoryFormal VerificationConstraint Solving	2012	17

Page 1