default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVijay A. Saraswat
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[j18]Jianpeng Cheng, Siva Reddy, Vijay A. Saraswat, Mirella Lapata:
Learning an Executable Neural Semantic Parser. Comput. Linguistics 45(1): 59-94 (2019)- [j17]David Grove
, Sara S. Hamouda, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Josh Milthorpe, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Olivier Tardieu:
Failure Recovery in Resilient X10. ACM Trans. Program. Lang. Syst. 41(3): 15:1-15:30 (2019) - 2017
- [c75]Cristina Cornelio, Vijay A. Saraswat:
Expressing Probabilistic Graphical Models in RCC. AAAI Workshops 2017 - [c74]Jianpeng Cheng, Siva Reddy, Vijay A. Saraswat, Mirella Lapata:
Learning Structured Natural Language Representations for Semantic Parsing. ACL (1) 2017: 44-55 - [c73]Abulhair Saparov, Vijay A. Saraswat, Tom M. Mitchell:
A Probabilistic Generative Grammar for Semantic Parsing. CoNLL 2017: 248-259 - [i13]Jianpeng Cheng, Siva Reddy, Vijay A. Saraswat, Mirella Lapata:
Learning Structured Natural Language Representations for Semantic Parsing. CoRR abs/1704.08387 (2017) - [i12]Jianpeng Cheng, Siva Reddy, Vijay A. Saraswat, Mirella Lapata:
Learning an Executable Neural Semantic Parser. CoRR abs/1711.05066 (2017) - 2016
- [j16]Umberto Grandi, Andrea Loreggia, Francesca Rossi, Vijay A. Saraswat:
A Borda count for collective sentiment analysis. Ann. Math. Artif. Intell. 77(3-4): 281-302 (2016) - [j15]Matthew Arnold, David Grove, Benjamin Herta, Michael Hind, Martin Hirzel, Arun Iyengar, Louis Mandel, Vijay A. Saraswat, Avraham Shinnar, Jérôme Siméon, Mikio Takeuchi, Olivier Tardieu, Wei Zhang:
META: Middleware for Events, Transactions, and Analytics. IBM J. Res. Dev. 60(2-3) (2016) - [j14]Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang:
X10 and APGAS at Petascale. ACM Trans. Parallel Comput. 2(4): 25:1-25:32 (2016) - [c72]Andrea Loreggia, Yuri Malitsky, Horst Samulowitz, Vijay A. Saraswat:
Deep Learning for Algorithm Portfolios. AAAI 2016: 1280-1286 - 2015
- [c71]Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay A. Saraswat, Philippe Codognet:
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. AAAI 2015: 1212-1218 - [c70]Sara S. Hamouda, Josh Milthorpe, Peter E. Strazdins, Vijay A. Saraswat:
A Resilient Framework for Iterative Linear Algebra Applications in X10. IPDPS Workshops 2015: 970-979 - [i11]Cristina Cornelio, Andrea Loreggia, Vijay A. Saraswat:
Logical Conditional Preference Theories. CoRR abs/1504.06374 (2015) - 2014
- [c69]Vijay A. Saraswat, Vineet Gupta, Radha Jagadeesan:
TCC, with History. Horizons of the Mind 2014: 458-475 - [c68]Vijay A. Saraswat:
Concurrent Constraint Programming Research Programmes - Redux. CP 2014: 6-8 - [c67]David Bergman, André A. Ciré, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat, Willem Jan van Hoeve:
Parallel Combinatorial Optimization with Decision Diagrams. CPAIOR 2014: 351-367 - [c66]Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu:
Semantics of (Resilient) X10. ECOOP 2014: 670-696 - [c65]Umberto Grandi, Andrea Loreggia, Francesca Rossi, Vijay A. Saraswat:
From Sentiment Analysis to Preference Aggregation. ISAIM 2014 - [c64]Wei Zhang, Olivier Tardieu, David Grove, Benjamin Herta, Tomio Kamada, Vijay A. Saraswat, Mikio Takeuchi:
GLB: lifeline-based global load balancing library in x10. PPAA@PPoPP 2014: 31-40 - [c63]Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri:
X10 and APGAS at Petascale. PPoPP 2014: 53-66 - [c62]David Cunningham, David Grove, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Hiroki Murata, Vijay A. Saraswat, Mikio Takeuchi, Olivier Tardieu:
Resilient X10: efficient failure-aware programming. PPoPP 2014: 67-80 - 2013
- [c61]Mikio Takeuchi, David Cunningham, David Grove, Vijay A. Saraswat:
Java interoperability in managed X10. X10@PLDI 2013: 39-46 - [c60]Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye, Vijay A. Saraswat:
Array dataflow analysis for polyhedral X10 programs. PPoPP 2013: 23-34 - [i10]Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
TCC, with History. CoRR abs/1310.5538 (2013) - [i9]Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye, Vijay A. Saraswat:
Checking Race Freedom of Clocked X10 Programs. CoRR abs/1311.4305 (2013) - [i8]Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu:
Semantics of (Resilient) X10. CoRR abs/1312.3739 (2013) - [i7]Wei Zhang, Olivier Tardieu, David Grove, Benjamin Herta, Tomio Kamada, Vijay A. Saraswat, Mikio Takeuchi:
GLB: Lifeline-based Global Load Balancing library in X10. CoRR abs/1312.5691 (2013) - 2012
- [j13]Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat:
M3R: Increased performance for in-memory Hadoop jobs. Proc. VLDB Endow. 5(12): 1736-1747 (2012) - [c59]Yoav Zibin, David Cunningham, Igor Peshansky, Vijay A. Saraswat:
Object Initialization in X10. ECOOP 2012: 207-231 - [c58]Olivier Tardieu, Nathaniel Nystrom, Igor Peshansky, Vijay A. Saraswat:
Constrained kinds. OOPSLA 2012: 811-830 - [c57]Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat:
SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation). SAT 2012: 463-468 - [i6]Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat:
M3R: Increased performance for in-memory Hadoop jobs. CoRR abs/1208.4168 (2012) - 2011
- [c56]Vijay A. Saraswat, Prabhanjan Kambadur, Sreedhar B. Kodali, David Grove, Sriram Krishnamoorthy:
Lifeline-based global load balancing. PPoPP 2011: 201-212 - 2010
- [c55]Vijay A. Saraswat, Doug Lea:
Concurrency for the application programmer. SPLASH/OOPSLA Companion 2010: 277-278 - [c54]Vijay A. Saraswat, Kim Bruce:
Curricula in concurrency and parallelism. SPLASH/OOPSLA Companion 2010: 281-282 - [c53]Guojing Cong, George Almási, Vijay A. Saraswat:
Fast PGAS Implementation of Distributed Graph Algorithms. SC 2010: 1-11 - [e3]José E. Moreira, Costin Iancu, Vijay A. Saraswat:
Proceedings of the Fourth Conference on Partitioned Global Address Space Programming Model, PGAS 2010, New York, NY, USA, October 12-15, 2010. ACM 2010, ISBN 978-1-4503-0461-0 [contents]
2000 – 2009
- 2009
- [c52]Guy L. Steele Jr., Vijay A. Saraswat:
Curricula for concurrency and parallelism. OOPSLA Companion 2009: 703-704 - [c51]Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat:
Idempotent work stealing. PPoPP 2009: 45-54 - [c50]Ganesh Bikshandi, José G. Castaños, Sreedhar B. Kodali, V. Krishna Nandivada, Igor Peshansky, Vijay A. Saraswat, Sayantan Sur, Pradeep Varma, Tong Wen:
Efficient, portable implementation of asynchronous multi-place programs. PPoPP 2009: 271-282 - 2008
- [c49]Guojing Cong, Sreedhar B. Kodali, Sriram Krishnamoorthy, Doug Lea, Vijay A. Saraswat, Tong Wen:
Solving Large, Irregular Graph Problems Using Adaptive Work-Stealing. ICPP 2008: 536-545 - [c48]Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff:
Constrained types for object-oriented languages. OOPSLA 2008: 457-474 - [c47]Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík:
Type inference for locality analysis of distributed data structures. PPoPP 2008: 11-22 - 2007
- [c46]Vijay A. Saraswat:
X10: Concurrent Programming for Modern Architectures. APLAS 2007: 1 - [c45]Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia:
Sketching stencils. PLDI 2007: 167-178 - [c44]Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun:
A theory of memory models. PPoPP 2007: 161-172 - [c43]Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun:
X10: concurrent programming for modern architectures. PPoPP 2007: 271 - 2006
- [c42]Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat:
Combinatorial sketching for finite programs. ASPLOS 2006: 404-415 - [c41]Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor:
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. LICS 2006: 59-68 - 2005
- [c40]Vijay A. Saraswat, Radha Jagadeesan:
Concurrent Clustered Programming. CONCUR 2005: 353-367 - [c39]Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat:
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic. FSTTCS 2005: 517-528 - [c38]Philippe Charles, Christian Grothoff, Vijay A. Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, Vivek Sarkar:
X10: an object-oriented approach to non-uniform cluster computing. OOPSLA 2005: 519-538 - [c37]Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat:
Timed constraint programming: a declarative approach to usage control. PPDP 2005: 164-175 - 2004
- [c36]Vijay A. Saraswat:
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models. ASIAN 2004: 494-508 - 2003
- [c35]Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
jcc: Integrating Timed Default Concurrent Constraint Programming into Java. EPIA 2003: 156-170 - [e2]Vijay A. Saraswat:
Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings. Lecture Notes in Computer Science 2896, Springer 2003, ISBN 3-540-20632-9 [contents] - 2002
- [j12]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Truly concurrent constraint programming. Theor. Comput. Sci. 278(1-2): 223-255 (2002) - 2000
- [c34]Rajeev Motwani, Rina Panigrahy, Vijay A. Saraswat, Suresh Venkatasubramanian:
On the decidability of accessibility problems (extended abstract). STOC 2000: 306-315
1990 – 1999
- 1999
- [j11]Markus P. J. Fromherz, Vijay A. Saraswat, Daniel G. Bobrow:
Model-Based Computing: Developing Flexible Machine Control Software. Artif. Intell. 114(1-2): 157-202 (1999) - 1998
- [j10]Rajeev Motwani, Vijay A. Saraswat, Eric Torng:
Online Scheduling with Lookahead: Multipass Assembly Lines. INFORMS J. Comput. 10(3): 331-340 (1998) - [j9]Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville:
Design, Implementation, and Evaluation of the Constraint Language cc(FD). J. Log. Program. 37(1-3): 139-164 (1998) - [j8]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Computing with Continuous Change. Sci. Comput. Program. 30(1-2): 3-49 (1998) - 1997
- [j7]Vijay A. Saraswat, Pascal Van Hentenryck:
Introduction to the Special Issue. Constraints An Int. J. 2(1): 5-6 (1997) - [j6]Pascal Van Hentenryck, Vijay A. Saraswat:
Constraint Programming: Strategic Directions. Constraints An Int. J. 2(1): 7-33 (1997) - [j5]Vijay A. Saraswat:
Compositional Computing. Constraints An Int. J. 2(1): 95-97 (1997) - [j4]Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat:
Quantifiers, Anaphora, and Intensionality. J. Log. Lang. Inf. 6(3): 219-273 (1997) - [c33]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Probabilistic Concurrent Constraint Programming. CONCUR 1997: 243-257 - 1996
- [j3]Vijay A. Saraswat:
Compositional Computing. ACM Comput. Surv. 28(4es): 74 (1996) - [j2]Pascal Van Hentenryck, Vijay A. Saraswat:
Strategic Directions in Constraint Programming. ACM Comput. Surv. 28(4): 701-726 (1996) - [j1]Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Timed Default Concurrent Constraint Programming. J. Symb. Comput. 22(5/6): 475-520 (1996) - [c32]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Models for Concurrent Constraint Programming. CONCUR 1996: 66-83 - [c31]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Truly Concurrent Constraint Programming. CONCUR 1996: 373-388 - 1995
- [c30]Vijay A. Saraswat:
The Concurrent Constraint Programming Research Programmes. CP 1995: 588 - [c29]Markus P. J. Fromherz, Vijay A. Saraswat:
Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation. CP 1995: 629-635 - [c28]Andrew Kehler, Mary Dalrymple, John Lamping, Vijay A. Saraswat:
The Semantics of Resource Sharing in Lexical-Functional Grammar. EACL 1995: 31-38 - [c27]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Hybrid cc, Hybrid Automata and Program Verification. Hybrid Systems 1995: 52-63 - [c26]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]Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Default Timed Concurrent Constraint Programming. POPL 1995: 272-285 - [i5]Andrew Kehler, Mary Dalrymple, John Lamping, Vijay A. Saraswat:
The Semantics of Resource Sharing in Lexical-Functional Grammar. CoRR cmp-lg/9502015 (1995) - [i4]Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat:
Linear Logic for Meaning Assembly. CoRR cmp-lg/9504012 (1995) - [i3]Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat:
Quantifiers, Anaphora, and Intensionality. CoRR cmp-lg/9504029 (1995) - 1994
- [c24]Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow:
Programming in Hybrid Constraint Languages. Hybrid Systems 1994: 226-251 - [c23]Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Foundations of Timed Concurrent Constraint Programming. LICS 1994: 71-80 - [c22]Ugo Montanari, Francesca Rossi, Vijay A. Saraswat:
CC Programs with both In- and Non-determinism: A Concurrent Semantics. PPCP 1994: 162-172 - [c21]Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville:
Design, Implementation, and Evaluation of the Constraint Language cc(FD). Constraint Programming 1994: 293-316 - [i2]Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat:
A Deductive Account of Quantification in LFG. CoRR abs/cmp-lg/9404009 (1994) - [i1]Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat:
Intensional Verbs Without Type-Raising or Lexical Ambiguity. CoRR abs/cmp-lg/9404010 (1994) - 1993
- [b1]Vijay A. Saraswat:
Concurrent constraint programming. ACM Doctoral dissertation awards, MIT Press 1993, ISBN 978-0-262-19297-2, pp. I-XL, 1-486 - [c20]Mary Dalrymple, John Lamping, Vijay A. Saraswat:
LFG Semantics via Constraints. EACL 1993: 97-105 - [c19]Olivier Raiman, Johan de Kleer, Vijay A. Saraswat:
Critical Reasoning. IJCAI 1993: 18-23 - [c18]Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Programming in Timed Concurrent Constraint Languages. NATO ASI CP 1993: 367-413 - 1992
- [c17]Vijay A. Saraswat:
The Category of Constraint Systems is Cartesian-Closed. LICS 1992: 341-345 - [c16]Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely:
A Hyperdoctrinal View of Concurrent Constraint Programming. REX Workshop 1992: 457-476 - 1991
- [c15]Olivier Raiman, Johan de Kleer, Vijay A. Saraswat, Mark Shirley:
Characterizing Non-Intermittent Faults. AAAI 1991: 849-854 - [c14]Kenneth M. Kahn, Vijay A. Saraswat, Volker Haarslev:
Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung. GI Jahrestagung 1991: 427-436 - [c13]Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden:
Semantic Foundations of Concurrent Constraint Programming. POPL 1991: 333-352 - [e1]Vijay A. Saraswat, Kazunori Ueda:
Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991. MIT Press 1991, ISBN 0-262-69147-7 [contents] - 1990
- [c12]Vijay A. Saraswat:
The Paradigm of Concurrent Constraint Programming. ICLP 1990: 777-778 - [c11]Kenneth M. Kahn, Vijay A. Saraswat:
Complete Visualization of Concurrent Programs and Their Executions. LPE 1990: 30-34 - [c10]Kenneth M. Kahn, Vijay A. Saraswat:
Actors as a Special Case of Concurrent Constraint Programming. OOPSLA/ECOOP 1990: 57-66 - [c9]Vijay A. Saraswat, Martin C. Rinard:
Concurrent Constraint Programming. POPL 1990: 232-245 - [c8]Vijay A. Saraswat, Kenneth M. Kahn, Jacob Levy:
Janus: A step towards distributed constraint programming. NACLP 1990: 431-446 - [c7]Kenneth M. Kahn, Vijay A. Saraswat:
Complete Visualizations of Concurrent Programs and their Executions. VL 1990: 7-15
1980 – 1989
- 1988
- [c6]Vijay A. Saraswat:
A Somewhat Logical Formulation of CLP Synchronisation Primitives. ICLP/SLP 1988: 1298-1314 - [c5]Vijay A. Saraswat, Kenneth M. Kahn, David Weinbaum:
Detecting Stable Properties of Networks in Concurrent Logic Programming Languages. PODC 1988: 210-222 - 1987
- [c4]Vijay A. Saraswat:
CP as a General-Purpose Constraint-Language. AAAI 1987: 53-58 - [c3]Vijay A. Saraswat:
The Concurrent Logic Programming Language CP: Definition and Operational Semantics. POPL 1987: 49-62 - [c2]Vijay A. Saraswat:
GHC: Operational Semantics, Problems, and Relationships with CP(|, |). SLP 1987: 347-358 - 1985
- [c1]Vijay A. Saraswat:
Partial correctness semantics for CP [ , | , &]. FSTTCS 1985: 347-368
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).
Privacy notice: By enabling the option above, your browser will contact the API of 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.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional 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 information given by OpenAlex.
last updated on 2024-05-08 20:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
