Sung-Shik T. Q. Jongmans

Author

Centrum Wiskunde & Informatica

Also Known As

Jongmans, Sung-Shik T. Q., Sung-Shik Jongmans, Sung-Shik T. Q. Jongmans, Sung-Shik T.Q. Jongmans, Sung-shik T. Q

Publications

273

Citations

H-Index

Concepts

All Affiliations

Centrum Wiskunde & Informatica

About

Sung-Shik T. Q. Jongmans is an author at Centrum Wiskunde & Informatica specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	120
2	Computer Science	8	8	120
3	Computer Engineering	3	3	44
4	Medicine	1	1	12
5	Biochemistry	1	1	12

Sung-Shik T. Q. Jongmans

Publications

120

Citations

H-Index

Page 1

	Year	Citations
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code Sung-Shik T. Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Service Oriented Computing and Applications Web Service SpecificationEngineeringWeb Service ModelingProgram AnalysisComputer Engineering	2013	20
Modularizing and Specifying Protocols among Threads Sung-Shik T. Q. Jongmans, Farhad Arbab Electronic Proceedings in Theoretical Computer Science EngineeringComputer ArchitectureConcurrent SystemFormal VerificationSpecifying Protocols	2013	19
Partially-Distributed Coordination with Reo Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab Cluster ComputingEngineeringComputer ArchitectureCoordination LanguagesConcurrent System	2014	19
Automata-theoretic protocol programming Sung-Shik T. Q. Jongmans Leiden Repository (Leiden University) EngineeringVerificationSpecific AutomataSoftware AnalysisFormal Verification	2016	16
Partially distributed coordination with Reo and constraint automata Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab Service Oriented Computing and Applications EngineeringConstraint AutomataFormal MethodsDistributed Constraint OptimizationDistributed Problem Solving	2015	12
PMG: Multi-core Metabolite Identification Mohammad Mahdi Jaghoori, Sung-Shik T. Q. Jongmans, Frank de Boer, Electronic Notes in Theoretical Computer Science Cluster ComputingEngineeringMetabolomics PipelineMetabolomic ProfilingComputer Architecture	2013	12
Reo: A Dataflow Inspired Language for Multicore Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab EngineeringDataflow Inspired LanguageCompiler TechnologyComputer ArchitectureProto-runtime Approach	2013	12
A Procedure for Splitting Processes and its Application to Coordination Sung-Shik T. Q. Jongmans, Dave Clarke, José Proença Electronic Proceedings in Theoretical Computer Science EngineeringSplitting ProcedureSpecification Language Mcrl2Concurrent SystemSoftware Analysis	2012	10

Page 1