Vijay A. Saraswat

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Vineet Gupta 0001

> Home > Persons > Vijay A. Saraswat

Publications

2014
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/SaraswatGJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/SaraswatGJ14
Vijay A. Saraswat, Vineet Gupta, Radha Jagadeesan:
TCC, with History. Horizons of the Mind 2014: 458-475
2013
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SaraswatJG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SaraswatJG13
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
TCC, with History. CoRR abs/1310.5538 (2013)
2003
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/SaraswatJG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/SaraswatJG03
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
jcc: Integrating Timed Default Concurrent Constraint Programming into Java. EPIA 2003: 156-170
2002
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GuptaJS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GuptaJS02
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Truly concurrent constraint programming. Theor. Comput. Sci. 278(1-2): 223-255 (2002)
1998
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GuptaJS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GuptaJS98
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Computing with Continuous Change. Sci. Comput. Program. 30(1-2): 3-49 (1998)
1997
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GuptaJS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GuptaJS97
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Probabilistic Concurrent Constraint Programming. CONCUR 1997: 243-257
1996
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/SaraswatJG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/SaraswatJG96
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Timed Default Concurrent Constraint Programming. J. Symb. Comput. 22(5/6): 475-520 (1996)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GuptaJS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GuptaJS96
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Models for Concurrent Constraint Programming. CONCUR 1996: 66-83
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GuptaJS96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GuptaJS96a
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Truly Concurrent Constraint Programming. CONCUR 1996: 373-388
1995
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GuptaJS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GuptaJS95
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Hybrid cc, Hybrid Automata and Program Verification. Hybrid Systems 1995: 52-63
[c26]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/IwasakiFSBG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/IwasakiFSBG95
Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta:
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? IJCAI 1995: 1773-1781
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/SaraswatJG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/SaraswatJG95
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Default Timed Concurrent Constraint Programming. POPL 1995: 272-285
1994
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GuptaJSB94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GuptaJSB94
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow:
Programming in Hybrid Constraint Languages. Hybrid Systems 1994: 226-251
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/SaraswatJG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/SaraswatJG94
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Foundations of Timed Concurrent Constraint Programming. LICS 1994: 71-80
1993
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/nato/SaraswatJG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/SaraswatJG93
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Programming in Timed Concurrent Constraint Languages. NATO ASI CP 1993: 367-413

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.