%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Radha Jagadeesan", %%% version = "1.02", %%% date = "17 November 2007", %%% time = "11:07:54 MST", %%% filename = "jagadeesan-radha.bib", %%% address = "Dept. of Mathematical and Computer Sciences %%% Loyola University---Lake Shore Campus %%% 6525 N. Sheridan Road %%% Chicago, IL 60626 %%% USA", %%% telephone = "+1 773 508 3526", %%% FAX = "+1 773 508 3514", %%% checksum = "50621 535 2100 21279", %%% email = "radha at cs.luc.edu (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "BibTeX, bibliography, theoretical computer %%% science", %%% license = "public domain", %%% supported = "yes", %%% docstring = "This is a bibliography of publications of %%% Radha Jagadeesan. The companion LaTeX file %%% jagadeesan-radha.ltx can be used to typeset %%% this bibliography. %%% %%% At version 1.02, the year coverage looked %%% like this: %%% %%% 1989 ( 1) 1993 ( 0) 1997 ( 2) %%% 1990 ( 3) 1994 ( 4) 1998 ( 3) %%% 1991 ( 1) 1995 ( 4) %%% 1992 ( 3) 1996 ( 5) %%% %%% Article: 10 %%% InProceedings: 11 %%% Proceedings: 5 %%% %%% Total entries: 26 %%% %%% This file is available as part of the BibNet %%% Project. The master copy is available for %%% public access on ftp.math.utah.edu in the %%% directory tree /pub/bibnet/authors. It is %%% mirrored to netlib.bell-labs.com in the directory %%% tree /netlib/bibnet/authors, from which it is %%% available via anonymous ftp and the Netlib %%% service. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== %%--------------------------------------------------------------------- %% Journal abbreviations: @String{j-INF-COMPUT = "Information and Computation"} @String{j-J-SYMBOLIC-COMP = "Journal of Symbolic Computation"} @String{j-J-SYMBOLIC-LOGIC = "Journal of Symbolic Logic"} @String{j-LECT-NOTES-COMP-SCI = "Lecture Notes in Computer Science"} @String{j-SCI-COMPUT-PROGRAM = "Science of Computer Programming"} @String{j-TOPLAS = "ACM Transactions on Programming Languages and Systems"} %%--------------------------------------------------------------------- %% Publisher abbreviations: @String{pub-ACM = "ACM Press"} @String{pub-ACM:adr = "New York, NY 10036, USA"} @String{pub-IEEE = "IEEE"} @String{pub-IEEE:adr = "1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA"} @String{pub-SV = "Springer Verlag"} @String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/ London, UK~/ etc."} @String{pub-USENIX = "USENIX"} @String{pub-USENIX:adr = "Berkeley, CA, USA"} %%---------------------------------------------------------------------- %% Series abbreviations: @String{ser-LNCS = "Lecture Notes in Computer Science"} %%---------------------------------------------------------------------- %% Bibliography entries: @InProceedings{Jagadeesan:1989:DLP, author = "R. Jagadeesan", title = "{L}-domains and Lossless Powerdomains", crossref = "Main:1990:MFP", pages = "364--372", month = mar, year = "1989", bibdate = "Mon Apr 27 14:56:07 MDT 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @InProceedings{Jagadeesan:1990:DTM, author = "R. Jagadeesan and P. Panangaden", title = "A Domain-theoretic Model for a Higher-order Process Calculus", crossref = "Paterson:1990:ALP", pages = "181--194", month = jul, year = "1990", bibdate = "Mon Apr 27 14:56:07 MDT 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "Preprint available as Cornell TR 89-1058.", } @Article{Jagadeesan:1991:FAS, author = "R. Jagadeesan and P. Panangaden and K. Pingali", title = "A fully-abstract semantics for a first order functional language with logic variables", journal = j-TOPLAS, volume = "13", number = "4", year = "1991", CODEN = "ATPSDT", ISSN = "0164-0925", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "Preliminary version appeared in the Proceedings of the 4th IEEE Symposium on Logic in Computer Science, June 1989", } @InProceedings{Abramsky:1992:NFG, author = "Samson Abramsky and Radha Jagadeesan", booktitle = "Proceedings 7th Annual IEEE Symp.\ on Logic in Computer Science, LICS'92, Santa Cruz, CA, USA, 22--25 June 1992", title = "New Foundations for the Geometry of Interaction", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "211--222", year = "1992", bibdate = "Mon Apr 27 14:56:07 MDT 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @InProceedings{Jagadeesan:1992:ASH, author = "R. Jagadeesan and K. Pingali", crossref = "ACM:1992:CRN", title = "Abstract Semantics for a Higher-Order Functional Language with logic variables", pages = "355--366", year = "1992", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @Article{Abramsky:1994:FAP, author = "Samson Abramsky and Pasquale Malacaria and Radha Jagadeesan", title = "Full Abstraction for {PCF}", journal = j-LECT-NOTES-COMP-SCI, volume = "789", pages = "1--??", year = "1994", CODEN = "LNCSD9", ISSN = "0302-9743", bibdate = "Mon May 13 11:52:14 MDT 1996", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @Article{Abramsky:1994:NFG, author = "Samson Abramsky and Radha Jagadeesan", title = "New Foundations for the Geometry of Interaction", journal = j-INF-COMPUT, volume = "111", number = "1", pages = "53--119", day = "15", month = may, year = "1994", CODEN = "INFCEC", ISSN = "0890-5401", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @InProceedings{Saraswat:1994:FTC, author = "Vijay Saraswat and Radha Jagadeesan and Vineet Gupta", booktitle = "Proceedings, Ninth Annual {IEEE} Symposium on Logic in Computer Science, Paris, France, 4--7 July, 1994", title = "Foundations of Timed Concurrent Constraint Programming", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "71--80", year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @InProceedings{Saraswat:1994:PTC, author = "Vijay Saraswat and Radha Jagadeesan and Vinheet Gupta", editor = "B. Mayoh and E. Tyugu and J. Penjaam", booktitle = "Constraint Programming: Proceedings 1993 {NATO ASI Parnu, Estonia}", title = "Programming in Timed Concurrent Constraint Languages", chapter = "4.4", publisher = pub-SV, address = pub-SV:adr, pages = "361--410", year = "1994", ISBN = "3-540-57859-5", bibdate = "Mon Apr 27 14:56:07 MDT 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", series = "NATO Advanced Science Institute Series", } @Article{Abramsky:1995:GFC, author = "S. Abramsky and R. Jagadeesan", title = "Games and full completeness for multiplicative linear logic", journal = j-J-SYMBOLIC-LOGIC, year = "1995", CODEN = "JSYLA6", ISSN = "0022-4812", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", scope = "linear logic", } @Article{Gupta:1995:PHC, author = "V. Gupta and R. Jagadeesan and V. Saraswat and D. G. Bobrow", title = "Programming in Hybrid Constraint Languages", journal = j-LECT-NOTES-COMP-SCI, volume = "999", pages = "226--??", year = "1995", CODEN = "LNCSD9", ISSN = "0302-9743", bibdate = "Sat May 11 13:45:32 MDT 1996", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, } @InProceedings{Jagadeesan:1995:CTC, author = "L. Jagadeesan and R. Jagadeesan", title = "Causality and True Concurrency: {A} Dataflow Analysis of the Pi-Calculus", crossref = "Alagar:1995:AMS", pages = "277--??", year = "1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @Article{Gupta:1996:HCH, author = "V. Gupta and R. Jagadeesan and V. Saraswat", title = "Hybrid cc, hybrid automata, and program verification", journal = j-LECT-NOTES-COMP-SCI, volume = "1066", pages = "52--??", year = "1996", CODEN = "LNCSD9", ISSN = "0302-9743", bibdate = "Wed Aug 14 09:38:08 MDT 1996", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, } @InProceedings{Gupta:1996:MCC, author = "V. Gupta and R. Jagadeesan and V. A. Saraswat", title = "Models of concurrent constraint programming", crossref = "Montanari:1996:CCT", pages = "??--??", year = "1996", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @InProceedings{Gupta:1996:TCC, author = "V. Gupta and R. Jagadeesan and V. A. Saraswat", crossref = "Montanari:1996:CCT", title = "Truly concurrent constraint programming", pages = "??--??", year = "1996", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", } @Article{Saraswat:1996:TDC, author = "V. A. Saraswat and R. Jagadeesan and V. Gupta", title = "Timed Default concurrent constraint programming", journal = j-J-SYMBOLIC-COMP, volume = "22", number = "5--6", pages = "475--520", year = "1996", CODEN = "JSYCEH", ISSN = "0747-7171", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "Preliminary version appeared in the Proceedings of the 22nd Annual ACM SIGPLAN-SIGACT Symposium on the Principles of Programming Languages, January 1995", } @Article{Gupta:1997:PCC, author = "V. Gupta and R. Jagadeesan and V. Saraswat", title = "Probabilistic concurrent constraint programming", journal = j-LECT-NOTES-COMP-SCI, volume = "1243", pages = "243--??", year = "1997", CODEN = "LNCSD9", ISSN = "0302-9743", bibdate = "Fri Aug 22 11:59:49 MDT 1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, } @Article{Gupta:1997:RTA, author = "V. Gupta and T. A. Henzinger and R. Jagadeesan", title = "Robust Timed Automata", journal = j-LECT-NOTES-COMP-SCI, volume = "1201", pages = "331--??", year = "1997", CODEN = "LNCSD9", ISSN = "0302-9743", bibdate = "Fri Aug 22 11:59:49 MDT 1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", acknowledgement = ack-nhfb, } @InProceedings{Colby:1998:DIT, author = "C. Colby and L. J. Jagadeesan and R. Jagadeesan and K. L{\"a}ufer and C. Puchol", booktitle = "Proceedings of the 1998 IEEE International Conference on Computer Languages", title = "Design and Implementation of {Triveni}: {A} Process-algebraic {API} for Threads + Events", publisher = pub-IEEE, address = pub-IEEE:adr, year = "1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "To appear.", } @InProceedings{Colby:1998:OPT, author = "C. Colby and L. J. Jagadeesan and R. Jagadeesan and K. L{\"a}ufer and C. Puchol", booktitle = "Proceedings of the 1998 Usenix Conference on Object Oriented Technologies and Systems", title = "Objects and Processes in {Triveni}: {A} telecommunication case study in {Java}", pages = "??--??", publisher = pub-USENIX, address = pub-USENIX:adr, year = "1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib", note = "To appear.", } @Article{Gupta:1998:CCC, author = "V. Gupta and R. Jagadeesan and V. A. Saraswat", title = "Computing with continuous change", journal = j-SCI-COMPUT-PROGRAM, volume = "30", number = "1--2", pages = "3--49", month = jan, year = "1998", CODEN = "SCPGD4", ISSN = "0167-6423", MRclass = "68N17 (68T30)", MRnumber = "98m:68035", bibdate = "Sun Oct 10 09:12:09 MDT 1999", bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Misc/Ciancarini.bib; ftp://ftp.math.utah.edu/pub/bibnet/authors/j/jagadeesan-radha.bib; MathSciNet database", note = "Concurrent constraint programming (Venice, 1995).", acknowledgement = ack-nhfb, affiliation = "Xerox PARC", affiliationaddress = "Palo Alto, USA", classification = "721.1; 723.1; 723.1.1; 723.4; 921; 921.2", journalabr = "Sci Comput Program", keyword = "continuous programming, differential equations, concurrent constraints", keywords = "Computational linguistics; Computer programming languages; Computer systems programming; Concurrent constraint programming; Constraint theory; Differential equations; Knowledge representation; Mathematical models", } %%---------------------------------------------------------------------- %% Cross-referenced entries must come last: @Proceedings{Main:1990:MFP, editor = "M. Main", booktitle = "Mathematical foundations of programming semantics: 5th international conference, Tulane University, New Orleans, Louisiana, {USA}, March 29--April 1, 1989: proceedings", title = "Mathematical foundations of programming semantics: 5th international conference, Tulane University, New Orleans, Louisiana, {USA}, March 29--April 1, 1989: proceedings", volume = "442", publisher = pub-SV, address = pub-SV:adr, pages = "vi + 439", year = "1990", CODEN = "LNCSD9", ISBN = "0-387-52790-7 (New York)", ISSN = "0302-9743", LCCN = "QA76.7 .M38 1990", bibdate = "Fri Apr 12 07:14:53 1996", note = "Proceedings of the Fifth International Conference on the Mathematical Foundations of Programming Semantics.", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "computer science --- mathematics --- congresses; programming languages (electronic computers) --- semantics --- congresses", } @Proceedings{Paterson:1990:ALP, editor = "Michael S. Paterson", booktitle = "Automata, languages, and programming: 17th international colloquium, Warwick University, England, July 16--20, 1990: proceedings", title = "Automata, languages, and programming: 17th international colloquium, Warwick University, England, July 16--20, 1990: proceedings", volume = "443", publisher = pub-SV, address = pub-SV:adr, pages = "ix + 780", year = "1990", CODEN = "LNCSD9", ISBN = "3-540-52826-1 (Berlin), 0-387-52826-1 (New York)", ISSN = "0302-9743", LCCN = "QA267.A1 L43 no.443", bibdate = "Fri Apr 12 07:14:53 1996", note = "ICALP (International Colloquium on Automata, Languages, and Programming) was sponsored by the European Association for Theoretical Computer Science.", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "machine theory --- congresses", } @Proceedings{ACM:1992:CRN, editor = "{ACM}", key = "ACM SIGPLAN POPL '92", booktitle = "Conference record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages: papers presented at the symposium, {Albuquerque, New Mexico}, {January} 19--22, 1992", title = "Conference record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages: papers presented at the symposium, {Albuquerque, New Mexico}, {January} 19--22, 1992", publisher = pub-ACM, address = pub-ACM:adr, pages = "viii + 366", year = "1992", ISBN = "0-89791-453-8", LCCN = "QA76.7 .A15 1992", bibdate = "Thu Aug 18 03:30:22 MDT 1994", note = "ACM order number 54990.", acknowledgement = ack-nhfb, keywords = "electronic digital computers --- programming --- congresses; programming languages (electronic computers) --- congresses", } @Proceedings{Alagar:1995:AMS, editor = "Vangalur S. Alagar and M. Nivat", booktitle = "Algebraic methodology and software technology: 4th international conference, {AMAST} '95, Montreal, Canada, July 3--7, 1995: proceedings", title = "Algebraic methodology and software technology: 4th international conference, {AMAST} '95, Montreal, Canada, July 3--7, 1995: proceedings", volume = "936", publisher = pub-SV, address = pub-SV:adr, pages = "xiv + 591", year = "1995", CODEN = "LNCSD9", ISBN = "3-540-60043-4 (Berlin)", ISSN = "0302-9743", LCCN = "QA76.758 .I5713 1995", bibdate = "Fri Apr 12 07:15:03 1996", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "software engineering --- congresses; abstract data types (computer science) --- congresses", xxvolume = "4005051456", } @Proceedings{Montanari:1996:CCT, editor = "U. (Ugo) Montanari and Vladimiro Sassone", booktitle = "{CONCUR} '96: concurrency theory: 7th International Conference, Pisa, Italy, August 26--29, 1996: proceedings", title = "{CONCUR} '96: concurrency theory: 7th International Conference, Pisa, Italy, August 26--29, 1996: proceedings", volume = "1119", publisher = pub-SV, address = pub-SV:adr, pages = "xii + 750", year = "1996", ISBN = "3-540-61604-7", ISSN = "0302-9743", LCCN = "QA76.58 .I53 1996", bibdate = "Sat Dec 21 16:06:37 MST 1996", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "Parallel processing (Electronic computers) -- Congresses.", }