## Stem invit$ (all stems)

### 171 papers:

- ECOOP-2015-Choi #in the large #internet #programming
- Programming in the Large for the Internet of Things (Invited Talk) (JDC), p. 2.
- ECOOP-2015-Stroustrup #inheritance #object-oriented #programming
- Object-Oriented Programming without Inheritance (Invited Talk) (BS), p. 1.
- ECOOP-2015-Summers #stack #verification
- Software Verification “Across the Stack” (Invited Talk) (AJS), p. 3.
- CSL-2015-Abadi
- The Prophecy of Timely Rollback (Invited Talk) (MA), p. 1.
- CSL-2015-CarapelleL #constraints #logic
- Temporal Logics with Local Constraints (Invited Talk) (CC, ML), pp. 2–13.
- CSL-2015-Williams
- Thinking Algorithmically About Impossibility (Invited Talk) (RRW), pp. 14–23.
- LICS-2015-Pitts #symmetry #tutorial
- Names and Symmetry in Computer Science (Invited Tutorial) (AMP), pp. 21–22.
- LICS-2015-Smith #data flow #tutorial
- Recent Developments in Quantitative Information Flow (Invited Tutorial) (GS), pp. 23–31.
- RTA-2015-Kirchner #data analysis #graph
- Port Graphs, Rules and Strategies for Dynamic Data Analytics — Extended Abstract (Invited Talk) (HK), pp. 1–4.
- RTA-2015-Rosu #logic
- Matching Logic — Extended Abstract (Invited Talk) (GR), pp. 5–21.
- RTA-2015-Talcott #execution #formal method #logic #modelling
- Executable Formal Models in Rewriting Logic (Invited Talk) (CLT), p. 22.
- ICPC-2014-WenT #clustering #evaluation #product line
- The MoJo family: a story about clustering evaluation (invited talk) (ZW, VT), p. 2.
- DLT-2014-KutribM #automaton #communication
- Measuring Communication in Automata Systems — (Invited Paper) (MK, AM), pp. 260–274.
- DLT-2014-OkhotinS #automaton #nondeterminism
- Input-Driven Pushdown Automata with Limited Nondeterminism — (Invited Paper) (AO, KS), pp. 84–102.
- DLT-2014-Weil #algebra #logic
- From Algebra to Logic: There and Back Again The Story of a Hierarchy — (Invited Paper) (PW), pp. 275–278.
- ICALP-v1-2014-Kuncak #recursion #verification
- Verifying and Synthesizing Software with Recursive Functions — (Invited Contribution) (VK), pp. 11–25.
- CSCW-2014-HuangWY #comprehension #online #social
- De-virtualizing social events: understanding the gap between online and offline participation for event invitations (AJH, HCW, CWY), pp. 436–448.
- FSE-2014-Chandra
- Are you getting traction? tales from the tech transfer trenches (invited talk) (SC), p. 5.
- FSE-2014-Lam #named #network #social
- Omlet: a revolution against big-brother social networks (invited talk) (MSL), p. 1.
- FSE-2014-Penix #case study #developer #experience #tool support
- Experiences developing tools for developers (invited talk) (JP), p. 4.
- FSE-2014-Wolf #re-engineering
- From software engineering to software systems (invited talk) (ALW), p. 2.
- FSE-2014-Zimmermann
- Data hard with a vengeance (invited talk) (TZ), p. 6.
- RTA-TLCA-2014-Schmidt-Schauss #analysis #concurrent #programming language #semantics
- Concurrent Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) (MSS), pp. 21–30.
- GT-VMT-2013-Corradini #concurrent #semantics
- Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions (AC).
- GT-VMT-2013-Giese #behaviour #graph transformation #probability
- Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior (HG).
- CSL-2013-Dershowitz
- Res Publica: The Universal Model of Computation (Invited Talk) (ND), pp. 5–10.
- CSL-2013-Girard #logic
- Three lightings of logic (Invited Talk) (JYG), pp. 11–23.
- CSL-2013-Oitavem #nondeterminism #recursion
- From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk) (IO), pp. 24–27.
- CSL-2013-Tendera
- Means and Limits of Decision (Invited Talk) (LT), pp. 28–29.
- RTA-2013-Kari #automaton #generative
- Pattern Generation by Cellular Automata (Invited Talk) (JK), pp. 1–3.
- RTA-2013-Okada #multi #term rewriting
- Husserl and Hilbert on Completeness and Husserl’s Term Rewrite-based Theory of Multiplicity (Invited Talk) (MO), pp. 4–19.
- RTA-2013-VytiniotisJ #normalisation
- Evidence Normalization in System FC (Invited Talk) (DV, SLPJ), pp. 20–38.
- TAP-2013-KosmatovPS #proving #source code #tutorial
- A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper (NK, VP, JS), pp. 168–177.
- PODS-2012-Pierce #bidirectional #tutorial
- Linguistic foundations for bidirectional transformations: invited tutorial (BCP), pp. 61–64.
- VLDB-2012-Dogac #tutorial
- Interoperability in eHealth Systems (Invited Tutorial) (AD), pp. 2026–2027.
- FoSSaCS-2012-Winskel #concurrent #game studies
- Bicategories of Concurrent Games — (Invited Paper) (GW), pp. 26–41.
- WRLA-2012-BasuBBS #component #design
- Rigorous Component-Based System Design — (Invited Paper) (AB, SB, MB, JS), pp. 1–9.
- ICPC-2012-NierstraszL #agile #assessment
- Agile software assessment (Invited paper) (ON, ML), pp. 3–10.
- ICSE-2012-Braithwaite #how #industrial #programming #what
- Software as an engineering material: How the affordances of programming have changed and what to do about it (Invited industrial talk) (KB), p. 998.
- ICSE-2012-Chapman #ecosystem #industrial #towards
- Towards a federated cloud ecosystem (Invited industrial talk) (CC), p. 967.
- ICSE-2012-Kajko-MattssonSGJSHMMEBS #re-engineering
- Refounding software engineering: The Semat initiative (Invited presentation) (MKM, MS, MG, IJ, IS, SH, PM, BM, BE, AJB, ES), pp. 1649–1650.
- ICSE-2012-Penix #automation #in the cloud #industrial #scalability #testing
- Large-scale test automation in the cloud (Invited industrial talk) (JP), p. 1122.
- ICSE-2012-Schulte #analysis #automation #industrial
- Ten years of automated code analysis at Microsoft (Invited industrial talk) (WS), p. 1001.
- ICSE-2012-Sprenger #case study #experience #how #industrial #re-engineering
- How software engineering can benefit from traditional industries — A practical experience report (Invited industrial talk) (TS), p. 1000.
- ICSE-2012-Wolff #architecture #industrial #what
- Software architecture — What does it mean in industry? (Invited industrial talk) (EW), p. 999.
- CSL-2012-Abiteboul #distributed #web
- Sharing Distributed Knowledge on the Web (Invited Talk) (SA), pp. 6–8.
- CSL-2012-Cook #complexity #proving
- Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk) (SAC), pp. 9–11.
- CSL-2012-Lynce #named #satisfiability
- Satisfiability: where Theory meets Practice (Invited Talk) (IL), pp. 12–13.
- CSL-2012-Makowsky #complexity #graph #parametricity
- Definability and Complexity of Graph Parameters (Invited Talk) (JAM), pp. 14–15.
- ICLP-2012-BryS #query #semistructured data #simulation #unification
- Simulation Unification: Beyond Querying Semistructured Data (Invited Talk) (FB, SS), pp. 1–13.
- RTA-2012-Anai #algebra #geometry
- Computational Real Algebraic Geometry in Practice (Invited Talk) (HA), p. 1.
- RTA-2012-Kirchner #calculus #logic
- Rho-Calculi for Computation and Logic (Invited Talk) (CK), pp. 2–4.
- RTA-2012-Maneth
- Dictionary-Based Tree Compression (Invited Talk) (SM), p. 5.
- ESOP-2011-Appel
- Verified Software Toolchain — (Invited Talk) (AWA), pp. 1–17.
- CSMR-2011-Borchers #assessment #re-engineering
- Invited Talk: Reengineering from a Practitioner’s View — A Personal Lesson’s Learned Assessment (JB), pp. 1–2.
- CSMR-2011-Vangheluwe #challenge #modelling
- Invited Talk: Promises and Challenges of Model-Driven Engineering (HV), pp. 3–4.
- DLT-2011-Wilke #functional #regular expression
- A Functional Program for Regular Expressions Matching — Abstract of Invited Talk (TW), pp. 44–45.
- ICALP-v2-2011-Husfeldt #algorithm
- Invitation to Algorithmic Uses of Inclusion-Exclusion (TH), pp. 42–59.
- TOOLS-EUROPE-2011-Nierstrasz #modelling
- Synchronizing Models and Code (Invited Talk) (ON), p. 1.
- TOOLS-EUROPE-2011-Tip #debugging #web
- Finding and Fixing Bugs in Web Applications (Invited Talk) (FT), p. 2.
- CAV-2011-Platzer #composition #hybrid #logic #tutorial #verification
- Logic and Compositional Verification of Hybrid Systems — (Invited Tutorial) (AP), pp. 28–43.
- VMCAI-2011-Dill
- Are Cells Asynchronous Circuits? — (Invited Talk) (DLD), p. 1.
- VMCAI-2011-Logozzo #abstract interpretation #verification
- Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation — (Invited Talk) (FL), pp. 19–22.
- VMCAI-2011-SiegelG #analysis #formal method #message passing
- Formal Analysis of Message Passing — (Invited Talk) (SFS, GG), pp. 2–18.
- VMCAI-2011-SteffenR #quality
- Quality Engineering: Leveraging Heterogeneous Information — (Invited Talk) (BS, OR), pp. 23–37.
- KR-2010-BaralHS #information management #reasoning #representation
- Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (CB, IH, YS).
- MoDELS-v2-2010-Lee #modelling
- Disciplined Heterogeneous Modeling — Invited Paper (EAL), pp. 273–287.
- ICLP-2010-Aref10 #datalog #enterprise #industrial #research
- Datalog for Enterprise Software: from Industrial Applications to Research (Invited Talk) (MA), p. 1.
- ICLP-2010-Fages10 #biology #logic #paradigm
- A Logical Paradigm for Systems Biology (Invited Talk) (FF), pp. 2–3.
- PODS-2009-Arge #performance #tutorial #worst-case
- Worst-case efficient range search indexing: invited tutorial (LA), pp. 175–176.
- PEPM-2009-CifuentesKLS #debugging #detection #program analysis #using
- Program analysis for bug detection using parfait: invited talk (CC, NK, LL, BS), pp. 7–8.
- ICML-2009-Cortes #kernel #learning #performance #question
- Invited talk: Can learning kernels help performance? (CC), p. 1.
- ICML-2009-Freund #game studies #learning #online
- Invited talk: Drifting games, boosting and online learning (YF), p. 2.
- CAV-2008-Foster #industrial #tutorial #verification
- Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial) (HF), pp. 5–10.
- CAV-2008-Harrison #proving #theorem proving #tutorial #verification
- Theorem Proving for Verification (Invited Tutorial) (JH), pp. 11–18.
- CAV-2008-Larus #design #named
- Singularity: Designing Better Software (Invited Talk) (JRL), pp. 1–2.
- CAV-2008-OHearn #logic #tutorial
- Tutorial on Separation Logic (Invited Tutorial) (PWO), pp. 19–21.
- PEPM-2007-MoorHV #object-oriented #query
- Object-oriented queries over software systems: (abstract of invited talk) (OdM, EH, MV), p. 91.
- VMCAI-2007-Madhusudan #algorithm #learning #tutorial #verification
- Learning Algorithms and Formal Verification (Invited Tutorial) (PM), p. 214.
- PODS-2005-Gehrke #analysis #modelling #privacy #tutorial
- Models and methods for privacy-preserving data publishing and analysis: invited tutorial (JG), p. 316.
- MoDELS-2005-Kimelman #architecture #research
- Invited Presentation III: The Architects’ Workbench — Research in the Trenches (DK), p. 507.
- MoDELS-2005-MarichK #development #lessons learnt #migration #modelling #scalability
- Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems (MJM, HFK), p. 397.
- MoDELS-2005-Vieira #case study #experience #generative #modelling #testing
- Invited Presentation II: Experiences in Applying Model Based System Testing Generation (MV), p. 430.
- MoDELS-2005-Kimelman #architecture #research
- Invited Presentation III: The Architects’ Workbench — Research in the Trenches (DK), p. 507.
- MoDELS-2005-MarichK #development #lessons learnt #migration #modelling #scalability
- Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems (MJM, HFK), p. 397.
- MoDELS-2005-Vieira #case study #experience #generative #modelling #testing
- Invited Presentation II: Experiences in Applying Model Based System Testing Generation (MV), p. 430.
- PASTE-2004-Ernst #dynamic analysis
- Invited Talk Static and dynamic analysis: synergy and duality (MDE), p. 35.
- PASTE-2004-Godefroid #model checking
- Invited Talk: “Model checking” software with VeriSoft (PG), p. 36.
- PASTE-2004-Leavens #exclamation #ml
- Invited Talk: JML framed! (GTL), p. 1.
- PEPM-2004-AkersBM #automation #c++ #component #program transformation #re-engineering
- Invited application paper: re-engineering C++ components via automatic program transformation (RLA, IDB, MM), pp. 51–55.
- PEPM-2004-BeyerCHJM #query #verification
- Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 201–202.
- PEPM-2004-Daugherty
- Invited application paper: a proposal for the specialization of HA/DRE systems (GD), pp. 56–67.
- PEPM-2004-Kamin #generative
- Invited application paper: program generation considered easy (SK), pp. 68–79.
- PEPM-2004-LawallMD #design #implementation #process #scheduling
- Invited application paper: language design for implementing process scheduling hierarchies (JLL, GM, HD), pp. 80–91.
- PEPM-2004-McIlraith #declarative #programming #towards #web #web service
- Invited talk: towards declarative programming for web services (SAM), pp. 1–2.
- PEPM-2004-Morrisett #question #what
- Invited talk: what’s the future for proof-carrying code? (JGM), p. 203.
- PEPM-2004-Shapiro #injection
- Invited talk: injecting life with computers (EYS), p. 200.
- PPDP-2004-BeyerCHJM #query #verification
- Invited talk: the blast query language for software verification (DB, AC, TAH, RJ, RM), pp. 1–2.
- PPDP-2004-McIlraith #declarative #programming #towards #web #web service
- Invited talk: towards declarative programming for web services (SAM), pp. 3–4.
- PPDP-2004-Morrisett #question #what
- Invited talk: what’s the future for proof-carrying code? (JGM), p. 5.
- PPDP-2004-Shapiro #injection
- Invited talk: injecting life with computers (EYS), p. 6.
- PPDP-2004-Smaragdakis #generative #tool support
- Invited talk: program generators and the tools to make them (YS), pp. 7–8.
- AGTIVE-2003-KarsaiA #architecture #graph transformation #modelling
- Graph Transformations in OMG’s Model-Driven Architecture: (Invited Talk) (GK, AA), pp. 243–259.
- AGTIVE-2003-Rising #graph grammar #graph transformation #multi #semantics
- MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (Invited Talk) (HKR), pp. 369–382.
- AdaEurope-2003-Leroy #ada
- An Invitation to Ada 2005 (PL), pp. 1–23.
- CSL-2003-Artemov #logic
- Back to the Future: Explicit Logic for Computer Science (Invited Lecture) (SNA), p. 43.
- CSL-2003-Buchberger #logic #symbolic computation
- Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture) (BB), pp. 98–99.
- CSL-2003-RybinaV #infinity #model checking #performance
- Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture) (TR, AV), pp. 546–573.
- CSL-2003-Veith #community #verification
- Friends or Foes? Communities in Software Verification (Invited Lecture) (HV), pp. 528–529.
- CSL-2003-Vorobjov #effectiveness #formal method #strict
- Effective Model Completeness of the Theory of Restricted Pfaffian Functions (Invited Lecture) (NV), p. 544.
- RTA-2003-Giavitto #modelling #simulation
- Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems (JLG), pp. 208–233.
- RTA-2003-Lincoln #biology
- Invited Talk: Symbolic Systems Biology (PL), p. 1.
- RTA-2003-McAllester #algorithm #logic #ml #type inference
- Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference (DAM), pp. 436–451.
- PPDP-2002-JonesG #analysis #generative #termination
- Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis (NDJ, AJG), p. 1.
- ICEIS-v1-2001-Maamar
- Moving Code (Servlet Strategy) vs. Inviting Code (Applet Strategy) (ZM), pp. 295–303.
- PODS-2000-Gupta #information management #research #tutorial
- Entrepreneurship for Information Systems Researchers (Abstract of Invited Tutorial) (AG0), p. 195.
- VLDB-2000-Carey #industrial #research
- Toto, We’re Not in Kansas Anymore: On Transitioning from Research to the Real (Invited Industrial Talk) (MJC), p. 733.
- WRLA-2000-Millen #analysis #bibliography #encryption #protocol #term rewriting
- Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk (JKM), pp. 229–234.
- WRLA-2000-Nakashima #bibliography #information management
- Cyber Assistance for Situtated Human Information Processing Overview of the invited talk (HN), pp. 292–293.
- PEPM-2000-Das #case study #experience #scalability #source code #static analysis
- Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk) (MD), p. 1.
- PEPM-2000-Pfenning #logic #on the #staged
- On the Logical Foundations of Staged Computation (Abstract of Invited Talk) (FP), p. 33.
- PEPM-2000-Walpole #case study #challenge #experience #operating system
- Operating Systems Specialization: Experiences, Opportunities and Challenges (Abstract of Invited Talk) (JW), p. 83.
- ICFP-2000-HarperP
- Advanced module systems: a guide for the perplexed (abstract of invited talk) (RH, BCP), p. 130.
- ICFP-2000-Seger #functional #hardware #programming #verification
- Combining functional programming and hardware verification (abstract of invited talk) (CJHS), p. 244.
- KDD-2000-Buchanan #information management #source code #using
- Informed knowledge discovery: using prior knowledge in discovery programs (invited talk, abstract only) (BGB), p. 3.
- KDD-2000-Catlett #data mining #mining #privacy
- Among those dark electronic mills: privacy and data mining (invited talk, abstract only) (JC), p. 4.
- KDD-2000-Cutler #metric #named
- E-metrics: tomorrow’s business metrics today (invited talk, abstract only) (MC), p. 6.
- KDD-2000-Goodnight
- Decision support in the booming e-world (invited talk, abstract only) (JG), p. 5.
- KDD-2000-Papadimitriou #data mining #mining #on the
- On certain rigorous approaches to data mining (invited talk, abstract only) (CHP), p. 2.
- KDD-2000-Stodder #data mining #mining
- After the gold rush (invited talk, abstract only): data mining in the new economy (invited talk, abstract only) (DS), p. 7.
- ICSE-2000-Booch #future of
- The future of software (abstract of invited presentation) (GB), p. 3.
- ICSE-2000-Castells
- Is the new economy socially sustainable? (abstract of invited presentation) (MC), p. 2.
- ICSE-2000-Horn
- Dot com versus bricks and mortar — the impact of portal technology (abstract of invited presentation) (CH), p. 4.
- CAV-2000-AbdullaJ #infinity #tutorial #verification
- Invited Tutorial: Verification of Infinite-State and Parameterized Systems (PAA, BJ), p. 4.
- CAV-2000-Marques-SilvaS #algorithm #automation #design #satisfiability #tutorial
- Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation (JPMS, KAS), p. 3.
- CAV-2000-Meadows #analysis #encryption #formal method #protocol
- Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis (CM), p. 2.
- SIGAda-1999-Balfour #corba
- The current state of CORBA (invited presentation) (BB), p. 223.
- KDD-1999-Agrawal #data mining #mining
- Data Mining: Crossing the Chasm (Invited talk, Abstract only) (RA), p. 2.
- KDD-1999-Hackathorn #web
- Farming the Web for Systematic Business Intelligence (Invited talk, Abstract only) (RDH), p. 3.
- KDD-1999-Pregibon #named #statistics
- 2001: A Statistical Odyssey (Invited talk, Abstract only) (DP), p. 4.
- CADE-1999-Gradel #logic
- Invited Talk: Decision procedures for guarded logics (EG), pp. 31–51.
- CADE-1999-Nieuwenhuis #constraints #deduction
- Invited Talk: Rewrite-based Deduction and Symbolic Constraints (RN), pp. 302–313.
- CADE-1999-Nipkow #programming language #proving #theorem proving
- Invited Talk: Embedding Programming Languages in Theorem Provers (Abstract) (TN), p. 398.
- SAC-1998-Nola #algebra #aspect-oriented #fuzzy #logic
- Algebraic aspects of fuzzy logic (invited talk) (AdN), pp. 255–261.
- CADE-1998-Kaufmann #verification
- ACL2 Support for Verification Projects (Invited Talk) (MK), pp. 220–238.
- CADE-1998-Pfenning #deduction #linear #logic #reasoning
- Reasoning About Deductions in Linear Logic (Abstract of Invited Talk) (FP), pp. 1–2.
- CADE-1998-Pnueli #deduction #verification
- Deductive vs. Model-Theoretic Approaches to Formal Verification (Abstract of Invited Talk) (AP), p. 301.
- ICSE-1997-Osterweil #process
- Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (LJO), pp. 540–548.
- KR-1996-Gottlob #complexity #power of
- Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract) (GG), pp. 647–649.
- HPDC-1995-Richer #bibliography #challenge
- Invited Paper: Overview of the MAGIC Project — Challenges and Accomplishments (IR), p. 139.
- TOOLS-USA-1991-Joloboff #object-oriented #tool support
- Invited Paper: OSF Motif: An Object-Oriented Toolkit (VJ), pp. 7–22.
- RTA-1989-Birkhoff #algebra #term rewriting
- Term Rewriting and Universal Algebra in Historical Perspective (Abstract of Invited Lecture) (GB), p. 1.
- SIGMOD-1988-GarzaK #database #object-oriented #transaction
- Transaction Management in an Object-Oriented Database System (Invited Paper) (JFG, WK), pp. 37–45.
- SIGMOD-1988-Group #benchmark #metric #sql #transaction
- A Benchmark of NonStop SQL on the Debit Credit Transaction (Invited Paper) (TTPG), pp. 337–341.
- CSCW-1988-BodkerEKKM #design
- Computer Support for Cooperative Design (invited paper) (SB, PE, JK, MK, KHM), pp. 377–394.
- LICS-1988-Meyer #paradigm #semantics
- Semantical Paradigms: Notes for an Invited Lecture, with Two Appendices by Stavros S. Cosmadakis (ARM), pp. 236–253.
- LICS-1987-Milner #fixpoint
- Some Uses of Maximal Fixed Points (Abstract of Invited Lecture) (RM), p. 3.
- ICLP-1986-JaffarLM86 #logic programming #roadmap #semantics
- Invited Talk: Some Issues and Trends in the Semantics of Logic Programming (JJ, JLL, MJM), pp. 223–241.
- LICS-1986-Girard #semantics
- Quantitative and Qualitative Semantics (Abstract of Invited Lecture) (JYG), p. 258.
- LICS-1986-Nerode #research
- A Logician Looks at Expert Systems: Areas for Mathematical Research (Abstract of Invited Lecture) (AN), p. 120.
- LICS-1986-Robinson #functional #programming #reduction #relational
- Merging Functional with Relational Programming in a Reduction Setting (Abstract of an Invited Lecture) (JAR), p. 2.
- DAC-1982-Breuer #automation #bibliography #design #state of the art
- A survey of the state-of-the-art of design automation an invited presentation (MAB), p. 1.
- VLDB-1982-BernsteinG #concurrent #distributed
- A Sophisticate’s Introduction to Distributed Concurrency Control (Invited Paper) (PAB, NG), pp. 62–76.
- VLDB-1982-BjornerL #database #formal method
- Formalization of Database Systems — and a Formal Definition of IMS (Invited Paper) (DB, HHL), pp. 334–347.
- VLDB-1982-StonebrakerK #named
- TIMBER: A Sophisticated Relation Browser (Invited Paper) (MS, JK), pp. 1–10.
- VLDB-1981-ChamberlinGY #sql
- A History of System R and SQL/Data System (Invited Paper) (DDC, AMG, RAY), pp. 456–464.
- VLDB-1981-DeWittH #architecture #database #evaluation #performance
- A Performance Evaluation of Data Base Machine Architectures (Invited Paper) (DJD, PBH), pp. 199–214.
- VLDB-1981-Gallaire #database #logic
- Impacts of Logic and Databases (Invited Paper) (HG), pp. 248–259.
- VLDB-1981-Gray #concept #transaction
- The Transaction Concept: Virtues and Limitations (Invited Paper) (JG), pp. 144–154.
- VLDB-1981-Sevcik #database #performance #predict #using
- Data Base System Performance Prediction Using an Analytical Model (Invited Paper) (KCS), pp. 182–198.
- VLDB-1981-Tsichritzis #database
- Integrating Data Base and Message Systems (Invited Paper) (DT), pp. 356–362.