Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(677)
Manuel Fahndrich
8
Zhe Yang
7
Thomas Ball
7
Thomas W. Reps
5
Jakob Rehof
5
Conferences
(19)
MWSCAS
10
SAS(WSA)
4
PASTE
3
PEPM
3
ICSE
2
Journals
(14)
SIGPLAN
7
ACM Sigsoft Software Engineering Notes
7
ISA TRANS
2
Colloids and Surfaces
2
SOFTWARE
1
Keywords
(192)
Embed
Subscribe
Academic
Authors
Manuvir Das
Manuvir Das,Jadavpur University,Software Engineering,Programming Languages,Electrical & Electronic Engineering
Edit
Manuvir Das
Jadavpur University
Publications:
82
|
Citations:
1369
Fields:
Software Engineering
,
Programming Languages
,
Electrical & Electronic Engineering
View FAQ about top research areas and Fields of study
Collaborated with
677 co-authors
from 1990 to 2010
|
Cited by
1455 authors
Cumulative
Annual
Sort by:
Publications
(82)
BibTeX
|
RIS
|
RefWorks
Download
Architectural layout planning using genetic algorithms
Manish K Thakur
,
M. Kumari
,
M. Das
Conference:
International Conference on Computer Science and Information Technology - ICCSIT
, 2010
Multiloop networked process control: A synchronized approach
(
Citations: 5
)
M. Das
,
R. Ghosh
,
B. Goswami
,
A. K. Chandra
,
R. Balasubramanian
,
P. Luksch
,
A. Gupta
Journal:
Isa Transactions - ISA TRANS
, vol. 48, no. 1, pp. 122-131, 2009
Fibonacci Based Position Substitution (FBPS) Encoder for Secured Message Transmission
J. K. Mandal
,
M. Das
Conference:
IEEE International Advance Computing Conference - IACC
, 2009
Biomass: A Sustainable Source of Energy
M. Das
,
N. Das
Conference:
Power and Energy Engineering Conference, Asia-Pacific - APPEEC
, 2009
SET Based Logic Realization of a Robust Spatial Domain Image Watermarking
D. Samanta
,
A. Basu
,
V. H. Mankar
,
Ankush Ghosh
,
Subir K Sarkar
,
M. Das
Published in 2008.
Sort by:
Citations
(1369 times by 1085 publications)
Computer-Aided Recoding to Create Structured and Analyzable System Models
Pramod Chandraiah
,
Rainer Dömer
Journal:
ACM Transactions in Embedded Computing Systems - TECS
, pp. 1-27, 2012
Security audit using extended static checking: Is it cost-effective yet?
Julien Vanegue
,
Shuvendu K. Lahiri
Published in 2012.
Improving software diagnosability via log enhancement
(
Citations: 2
)
Ding Yuan
,
Jing Zheng
,
Soyeon Park
,
Yuanyuan Zhou
,
Stefan Savage
Conference:
Architectural Support for Programming Languages and Operating Systems - ASPLOS
, pp. 3-14, 2011
Refinement-Based CFG Reconstruction from Unstructured Programs
(
Citations: 3
)
Sébastien Bardin
,
Philippe Herrmann
,
Franck Védrine
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 54-69, 2011
Automated Derivation of Application-Aware Error Detectors Using Static Analysis: The Trusted Illiac Approach
(
Citations: 2
)
Karthik Pattabiraman
,
Zbigniew Kalbarczyk
,
Ravishankar K. Iyer
Journal:
IEEE Transactions on Dependable and Secure Computing - TDSC
, vol. 8, no. 1, pp. 44-57, 2011
Comments