Skip to content
cs-conference-ranking.org

Sukhamay Kundu

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

22

Venues

11

Active years

1985–2019

Best venue rank

A*

Where they publish

Papers

22 indexed papers, newest first.

YearVenueTitleAuthors
2019SCPeachy Parallel Assignments (EduHPC 2019).Mulya Agung, Allen D. Malony, Hiroyuki Takizawa, David P. Bunde, Muhammad Alfian Amrizal, Steven Bogaerts, Ryusuke Egawa, Daniel A. Ellsworth, Jorge Fernndez-Fabeiro, Arturo Gonzlez-Escribano, Sukhamay Kundu, Alina Lazar
2010COMPSACApproximation of CFL by Regular Languages for Concurrent Program Verification.Sukhamay Kundu, Supratik Mukhopadhyay
2009ICDCNA Distributed O(|E|) Algorithm for Optimal Link-Reversal.Sukhamay Kundu
2009ICSEARequirements Engineering by Connecting Requirements Directly to Data and Operations during Modeling.Sukhamay Kundu
2007COMPSACStructuring Software Functional Requirements For Automated Design And Verification.Sukhamay Kundu
2005COMPSACA Formal Approach to Designing a Class-Subclass Structure Using a Partial-Order on the Functions.Sukhamay Kundu, Nigel Gwee
2004ICDCITA Modern Graphic Flowchart Layout Tool.Sukhamay Kundu
2003APSECModeling Complex Systems by A Set of Interacting Finite-State Models.Sukhamay Kundu
2002APSECFinite-State Modeling in Software Design: Some Fundamental Techniques.Sukhamay Kundu
2001APSECThe Canonical Functional Design Based on the Domination-Relationship among Data.Sukhamay Kundu
2000APSECThe concept of path-closed subsets and its use in software functional design.Sukhamay Kundu
1999ISMISA Better Fitness Measure of a Text-Document for a Given Set of Keywords.Sukhamay Kundu
1996ISMISA Sound and Complete Fuzzy Logic System Using Zadeh's Implication Operator.Jianhua Chen, Sukhamay Kundu
1994ISMISFuzzy Logic or Lukasiewicz Logic: A Clarification.Sukhamay Kundu, Jianhua Chen
1991IJCAIA New Logic of Beliefs: Monotonic and Non-Monotonic Beliefs - Part 1.Sukhamay Kundu
1991ISMISThe Strong Semantics for Logic Programs.Jianhua Chen, Sukhamay Kundu
1990KIA New and Simple Method for Explicit Computation of a Circumscription.Sukhamay Kundu, Jianhua Chen
1988ISMISA Correct Form of the Satisfiability-Graph Based Decision Algorithm for Linear Propositional Temporal Logic.Sukhamay Kundu
1987ISMISRule-Discovery from Examples Using a Combination of Syntactic and Semantic Information.Sukhamay Kundu
1986ISMISTree resolution and generalized semantic tree.Sukhamay Kundu
1985PODSAn Improved Algorithm for Finding a Key of a Relation.Sukhamay Kundu
1985SIGMODAnalysis of the Context Dependency of CODASYL Find-Statements with Application to Database Program Conversion.G. Barbara Demo, Sukhamay Kundu