|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Qiong Cheng, Mitsunori Ogihara, Vineet Gupta |
Learning Condition-Dependent Dynamical PPI Networks from Conflict-Sensitive Phosphorylation Dynamics.  |
BIBM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Weak bisimulation is sound and complete for pCTL*. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Busson, Nitin Chawla, Jérôme Bach, Stéphane Le Tual, Harvinder Singh, Vineet Gupta, Pascal Urard |
A 1 GHz Digital Channel Multiplexer for Satellite Outdoor Unit. |
J. Solid-State Circuits |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Busson, Nitin Chawla, Jérôme Bach, Stéphane Le Tual, Harvinder Singh, Vineet Gupta, Pascal Urard |
A 1GHz digital channel multiplexer for satellite OutDoor Unit based on a 65nm CMOS transceiver. |
ISSCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Approximate reasoning for real-time probabilistic processes. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Approximate reasoning for real-time probabilistic processes |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Metrics for labelled Markov processes. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Approximate Reasoning for Real-Time Probabilistic Processes. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Approximating labelled Markov processes. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta |
jcc: Integrating Timed Default Concurrent Constraint Programming into Java. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
Truly concurrent constraint programming. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Weak Bisimulation is Sound and Complete for PCTL*. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden |
The Metric Analogue of Weak Bisimulation for Probabilistic Processes. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian C. Williams, Seung Chung, Vineet Gupta |
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Vineet Gupta, Benjamin A. Knott, Santosh Kodgi, Corinna E. Lathan |
Using the 'VREYE' System for Assessment of Unilateral Visual Neglect: Two Case Reports. |
Presence |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta |
Hybrid Systems Diagnosis. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Approximating Labeled Markov Processes. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer |
A Constraint-Based Framework for Prototyping Distributed Virtual Applications. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Metrics for Labeled Markov Systems. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Stochastic Processes as Concurrent Constraint Programs. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
Computing with Continuous Change. |
Sci. Comput. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, John Lamping |
Efficient Linear Logic Meaning Assembly. |
COLING-ACL |
1998 |
DBLP BibTeX RDF |
|
| 1 | Björn Carlson, Vineet Gupta |
Hybrid cc with Interval Constraints. |
HSCC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Narender P. Reddy, Pelin Batur |
Forces in Laparoscopic Surgical Tools. |
Presence |
1997 |
DBLP BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
Probabilistic Concurrent Constraint Programming. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan |
Robust Timed Automata. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta |
Timed Default Concurrent Constraint Programming. |
J. Symb. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
Models for Concurrent Constraint Programming. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
Truly Concurrent Constraint Programming. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta |
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta |
Default Timed Concurrent Constraint Programming. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency |
| 1 | Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat |
Hybrid cc, Hybrid Automata and Program Verification. |
Hybrid Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow |
Programming in Hybrid Constraint Languages. |
Hybrid Systems |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta |
Foundations of Timed Concurrent Constraint Programming |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Vaughan R. Pratt |
Gages Accept Concurrent Behavior |
FOCS |
1993 |
DBLP DOI BibTeX RDF |
natural concurrent programming language, concurrent behavior, Boolean propositions, intrinsic notion, consequence-preserving renamings, automata, linear logic, duality, accepters, event structures, gates, morphisms, algebraic structure |
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")