
Van Nguyen
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c42]Van Nguyen, Tran Cao Son, Vasileiou Loukas Stylianos, William Yeoh:
Conditional Updates of Answer Set Programming and Its Application in Explainable Planning. AAMAS 2020: 1954-1956 - [c41]Van Nguyen, Liam Mellor:
Fuzzy MLNs and QSTAGs for Activity Recognition and Modelling with RUSH. FUSION 2020: 1-8 - [c40]Van Nguyen, Derek Mohammed, Marwan Omar, Passard Dean:
Net Neutrality Around the Globe: A Survey. ICICT 2020: 480-488 - [c39]Van Nguyen, Trung Le, Tue Le, Khanh Nguyen, Olivier Y. de Vel, Paul Montague, Dinh Phung:
Code Pointer Network for Binary Function Scope Identification. IJCNN 2020: 1-7 - [c38]Van Nguyen, Vasileiou Loukas Stylianos, Tran Cao Son, William Yeoh:
Explainable Planning Using Answer Set Programming. KR 2020: 662-666 - [c37]Van Nguyen, Trung Le, Olivier Y. de Vel, Paul Montague, John C. Grundy, Dinh Phung:
Dual-Component Deep Domain Adaptation: A New Approach for Cross Project Software Vulnerability Detection. PAKDD (1) 2020: 699-711 - [c36]Van Nguyen, Trung Le, Tue Le, Khanh Nguyen, Olivier Y. de Vel, Paul Montague, John C. Grundy, Dinh Phung:
Code Action Network for Binary Function Scope Identification. PAKDD (1) 2020: 712-725
2010 – 2019
- 2019
- [c35]Aashiq Shaikh, Linda D. Nguyen, Alireza Bahremand, Hannah Bartolomea, Frank Wencheng Liu, Van Nguyen, Derrick Anderson, Robert LiKamWa:
Coordinate: A Spreadsheet-Programmable Augmented Reality Framework for Immersive Map-Based Visualizations. AIVR 2019: 134-137 - [c34]Van Nguyen:
On combining probabilistic and semantic similarity-based methods toward off-domain reasoning for situational awareness. FUSION 2019: 1-8 - [c33]Van Nguyen, Trung Le, Tue Le, Khanh Nguyen, Olivier Y. DeVel, Paul Montague, Lizhen Qu, Dinh Q. Phung:
Deep Domain Adaptation for Vulnerable Code Function Identification. IJCNN 2019: 1-8 - [c32]Van Nguyen, Tran Cao Son, Enrico Pontelli
:
Natural Language Generation from Ontologies. PADL 2019: 64-81 - [c31]Van Nguyen, William Yeoh, Tran Cao Son, Vladik Kreinovich, Tiep Le:
A Scheduler for Smart Homes with Probabilistic User Preferences. PRIMA 2019: 138-152 - [c30]Yongkui Han, Pankil Shah, Van Nguyen, Ling Ma, Richard Livingston:
OpenOSC: Open Source Object Size Checking Library With Built-in Metrics. SecDev 2019: 143 - [c29]Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh:
Generalized Target Assignment and Path Finding Using Answer Set Programming. SOCS 2019: 194-195 - 2018
- [j8]Van Nguyen
, Mary Ann Weitnauer:
Denoised Maximum Likelihood Estimation of Chest Wall Displacement from the IR-UWB Spectrum. IEEE Access 6: 15249-15258 (2018) - [j7]Terumasa Aoki
, Van Nguyen:
Global Distribution Adjustment and Nonlinear Feature Transformation for Automatic Colorization. Adv. Multim. 2018: 1504691:1-1504691:15 (2018) - [j6]Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub
, Orkunt Sabuncu, Van Nguyen, Tran Cao Son:
Experimenting with robotic intra-logistics domains. Theory Pract. Log. Program. 18(3-4): 502-519 (2018) - [c28]Hung Nguyen, Van Nguyen, Thin Nguyen, Mark E. Larsen, Bridianne O'Dea, Duc Thanh Nguyen, Trung Le, Dinh Q. Phung, Svetha Venkatesh, Helen Christensen:
Jointly Predicting Affective and Mental Health Scores Using Deep Neural Networks of Visual Cues on the Web. WISE (2) 2018: 100-110 - [i2]Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son:
Experimenting with robotic intra-logistics domains. CoRR abs/1804.10247 (2018) - 2017
- [j5]Marwan Omar, Derek Mohammed, Van Nguyen:
Defending against malicious insiders: a conceptual framework for predicting, detecting, and deterring malicious insiders. Int. J. Bus. Process. Integr. Manag. 8(2): 114-119 (2017) - [c27]Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh:
Generalized Target Assignment and Path Finding Using Answer Set Programming. IJCAI 2017: 1216-1223 - [c26]Van Nguyen:
Approximate Evidential Reasoning Using Local Conditioning and Conditional Belief Functions. UAI 2017 - 2016
- [c25]Van Nguyen
, Abdul Qadir Javaid, Mary Ann Weitnauer:
Detection of motion and posture change using an IR-UWB radar. EMBC 2016: 3650-3653 - [c24]Anh Le, Trung Le, Khanh Nguyen, Van Nguyen, Thai Hoang Le
, Dat Tran
:
Fast Kernel-based method for anomaly detection. IJCNN 2016: 3211-3217 - [c23]Van Nguyen, Vicky Sintunata, Terumasa Aoki:
Automatic Image Colorization based on Feature Lines. VISIGRAPP (4: VISAPP) 2016: 126-133 - [i1]Trung Le, Khanh Nguyen, Van Nguyen, Vu Nguyen, Dinh Q. Phung:
Scalable Support Vector Machine for Semi-supervised Learning. CoRR abs/1606.06793 (2016) - 2015
- [c22]Van Nguyen
, Mary Ann Weitnauer:
UWB impulse radar for vital signs sensing - A modeling framework for arbitrary periodic heart and lung motion. BioCAS 2015: 1-4 - [c21]Phuong Duong, Van Nguyen, Mi Dinh, Trung Le, Dat Tran
, Wanli Ma:
Graph-based semi-supervised Support Vector Data Description for novelty detection. IJCNN 2015: 1-6 - 2014
- [c20]Van Nguyen
, Abdul Qadir Javaid, Mary Ann Weitnauer:
Spectrum-averaged Harmonic Path (SHAPA) algorithm for non-contact vital sign monitoring with ultra-wideband (UWB) radar. EMBC 2014: 2241-2244 - [c19]Van Nguyen, Trung Le, Thien Pham, Mi Dinh, Thai Hoang Le
:
Kernel-based semi-supervised learning for novelty detection. IJCNN 2014: 4129-4136 - 2013
- [c18]Van Nguyen
, Abdul Qadir Javaid, Mary Ann Weitnauer:
Harmonic Path (HAPA) algorithm for non-contact vital signs monitoring with IR-UWB radar. BioCAS 2013: 146-149 - [c17]Trung Le, Dat Tran
, Van Nguyen, Wanli Ma
:
Maximal margin learning vector quantisation. IJCNN 2013: 1-6 - [c16]Etienne Corteel, Van Nguyen:
Sound field reproduction for consumer and professional audio applications. WIAMIS 2013: 1-4 - 2010
- [j4]Van Nguyen, David Kearney, Gianpaolo Gioiosa:
An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P. J. Log. Algebraic Methods Program. 79(6): 383-396 (2010)
2000 – 2009
- 2009
- [c15]Van Nguyen, David Kearney, Gianpaolo Gioiosa:
A Region-Oriented Hardware Implementation for Membrane Computing Applications. Workshop on Membrane Computing 2009: 385-409 - [c14]Yan He, Van Nguyen, Dmitri Perkins, Nian-Feng Tzeng:
Exploring 700mhz WiFi-based wireless mesh networking. MobiHoc 2009: 349-350 - [c13]Van Nguyen, Dmitri Perkins:
CDMR: Cooperative diversity-based multi-copy relaying in mesh networks. WOWMOM 2009: 1-8 - 2008
- [j3]Van Nguyen, David Kearney, Gianpaolo Gioiosa:
An Implementation of Membrane Computing Using Reconfigurable Hardware. Comput. Informatics 27(3+): 551-569 (2008) - [c12]Van Nguyen, Chip Martel:
Augmented Graph Models for Small-World Analysis with Geographic Factors. ANALCO 2008: 213-227 - [c11]Yan He, Ikhlas Ajbar, Van Nguyen, Dmitri Perkins:
Investigating the Performance Impact of Shared Host Capacity in Ad Hoc Networks. GLOBECOM 2008: 864-869 - [c10]Van Nguyen, David Kearney, Gianpaolo Gioiosa:
An Algorithm for Non-deterministic Object Distribution in P Systems and Its Implementation in Hardware. Workshop on Membrane Computing 2008: 325-354 - 2007
- [c9]Van Nguyen, David Kearney, Gianpaolo Gioiosa:
Balancing Performance, Flexibility, and Scalability in a Parallel Computing Platform for Membrane Computing Applications. Workshop on Membrane Computing 2007: 385-413 - 2006
- [c8]Van Nguyen, Charles U. Martel:
Designing Low Cost Networks with Short Routes and Low Congestion. INFOCOM 2006 - 2005
- [c7]Van Nguyen, Charles U. Martel:
Analyzing and characterizing small-world graphs. SODA 2005: 311-320 - 2004
- [c6]Charles U. Martel, Van Nguyen:
Analyzing Kleinberg's (and other) small-world Models. PODC 2004: 179-188
1990 – 1999
- 1998
- [c5]Allen C. Browne, Guy Divita, Van Nguyen, Vincent C. Cheng:
Modular Text Processing System Based on the SPECIALIST Lexicon and Lexical Tools. AMIA 1998
1980 – 1989
- 1987
- [p1]Brent Hailpern, Van Nguyen:
A Model for Object-Based Inheritance. Research Directions in Object-Oriented Programming 1987: 147-164 - 1986
- [j2]Van Nguyen, Alan J. Demers, David Gries
, Susan S. Owicki:
A Model and Temporal Proof System for Networks of Processes. Distributed Comput. 1(1): 7-25 (1986) - [c4]Van Nguyen, Kenneth J. Perry:
Knowledge, Communication, and Time. DS-2 1986: 391-414 - [c3]Van Nguyen, Kenneth J. Perry:
Do We Really Know What Knowledge Is? XP7.52 Workshop on Database Theory 1986 - 1985
- [j1]Van Nguyen:
The Incompleteness of Misra and Chandy's Proof Systems. Inf. Process. Lett. 21(2): 93-96 (1985) - [c2]Van Nguyen, Alan J. Demers, David Gries
, Susan S. Owicki:
Behavior: A Temporal Approach to Process Modelling. Logic of Programs 1985: 237-254 - [c1]Van Nguyen, David Gries, Susan S. Owicki:
A Model and Temporal Proof System for Networks of Processes. POPL 1985: 121-131
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-12-05 22:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint