BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
engin (23)
softwar (22)
system (19)
model (13)
studi (12)

Stem intern$ (all stems)

160 papers:

CASECASE-2015-LuSJSX #approach #multi #nondeterminism #programming
A chance constrained programming approach for multi-product multi-stage integrated production planning under internal and external uncertainties (SL, HS, CJ, HS, LX), pp. 880–885.
SFMSFM-2015-CastegrenOW #fine-grained
Refined Ownership: — Fine-Grained Controlled Internal Sharing (EC, , TW), pp. 179–210.
CSCWCSCW-2015-GonzalesFB #lessons learnt #towards
Towards an Appropriable CSCW Tool Ecology: Lessons from the Greatest International Scavenger Hunt the World Has Ever Seen (JAG, CF, AB), pp. 946–957.
HCIHIMI-IKD-2015-SakuraiNKTH #image #integration
Basic Study of Evoking Emotion Through Extending One’s Body Image by Integration of Internal Sense and External Sense (SS, TN, TK, TT, MH), pp. 433–444.
ICEISICEIS-v1-2015-GrabisSS #collaboration #education #enterprise
Collaborative Teaching of ERP Systems in International Context (JG, KS, DS), pp. 196–205.
ICEISICEIS-v1-2015-NevesFGNAV #perspective #standard
International Standard ISO 9001 an Artificial Intelligence View (JN, AF, GG, MN, AA, HV), pp. 421–428.
ICEISICEIS-v2-2015-MeloFOS #approach #diagrams #modelling #process #uml
A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams (MdSM, JMSF, EAOJ, MSS), pp. 92–101.
ICMLICML-2015-IoffeS #network #normalisation
Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (SI, CS), pp. 448–456.
ESEC-FSEESEC-FSE-2015-XiongH0ZZL
Inner oracles: input-specific assertions on internal states (YX, DH, LZ, TZ, MZ, TL), pp. 902–905.
ICSEICSE-v1-2015-SiegmundSA #empirical #re-engineering
Views on Internal and External Validity in Empirical Software Engineering (JS, NS, SA), pp. 9–19.
PPoPPPPoPP-2015-RamachandranM #concurrent #named #performance #using
CASTLE: fast concurrent internal binary search tree using edge-based locking (AR, NM), pp. 281–282.
DRRDRR-2014-RaphaelJ #library #music #recognition
Optical music recognition on the International Music Score Library Project (CR, RJ), p. ?–12.
SANERCSMR-WCRE-2014-BaggeZ #problem
International workshop on open and original problems in software language engineering (AHB, VZ), p. 478.
ICALPICALP-v1-2014-BringmannKPPT #performance #physics #simulation
Internal DLA: Efficient Simulation of a Physical Growth Model — (Extended Abstract) (KB, FK, KP, UP, HT), pp. 247–258.
CSCWCSCW-2014-GavilanesMQ #bound #communication #social #twitter
Twitter ain’t without frontiers: economic, social, and cultural boundaries in international communication (ROGG, YM, DQ), pp. 1511–1522.
HCISCSM-2014-Scheiner #dependence #identification #social #social media
The Importance of Social Media as Source of Information in the Technology Identification in Dependence of External and Internal Factors (CWS), pp. 103–112.
ICEISICEIS-v2-2014-LiuDT #network #reliability
Auditing Data Reliability in International Logistics — An Application of Bayesian Networks (LL, HAMD, RT), pp. 707–712.
KEODKEOD-2014-TakahashiTTL #automation #industrial #standard #web
An Automatic Coding System with a Three-Grade Confidence Level Corresponding to the National/International Occupation and Industry Standard — Open to the Public on the Web (KT, HT, ST, WL), pp. 369–375.
BXBX-2014-Wider #bidirectional #domain-specific language #implementation #model transformation #scala
Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala (AW), pp. 63–70.
MODELSMoDELS-2014-KrikavaCF #domain-specific language #named #scala
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
MODELSMoDELS-2014-KrikavaCF #domain-specific language #named #scala
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
SACSAC-2014-KrikavaCF14a #domain-specific language #modelling #using
Manipulating models using internal domain-specific languages (FK, PC, RBF), pp. 1612–1614.
FSEFSE-2014-SchultisEL #architecture #case study #challenge #ecosystem #industrial #scalability
Architecture challenges for internal software ecosystems: a large-scale industry case study (KBS, CE, DL), pp. 542–552.
ICDARICDAR-2013-MouchereVZGK #contest #online #recognition
ICDAR 2013 CROHME: Third International Competition on Recognition of Online Handwritten Mathematical Expressions (HM, CVG, RZ, UG, DHK), pp. 1428–1432.
ITiCSEITiCSE-2013-HeinesJ #education
Teaching internationalization: internationally (JMH, KJ), pp. 93–98.
CHICHI-2013-YooLNUABNRUUF #information management #multi
Envisioning across generations: a multi-lifespan information system for international justice in rwanda (DY, ML, TTN, MEU, RA, TB, LPN, MR, EJU, RFU, BF), pp. 2527–2536.
HCIDUXU-PMT-2013-KangS #case study #design #how #process
How to Observe, Share and Apply in Design Process? — Focusing on International Design Workshops as a Case Study (NK, HS), pp. 498–505.
HCIHCI-AS-2013-WebbC #gamification
Building Internal Enthusiasm for Gamification in Your Organization (ENW, AC), pp. 316–322.
ICMLICML-c1-2013-GolubCY #learning
Learning an Internal Dynamics Model from Control Demonstration (MG, SC, BY), pp. 606–614.
RERE-2013-Mead #requirements
A history of the international requirements engineering conference (RE)RE@21 (NRM), pp. 215–221.
RERE-2013-NcubeLD #challenge #identification #requirements #research
Identifying top challenges for international research on requirements engineering for systems of systems engineering (CN, SLL, HD), pp. 342–344.
ICSEICSE-2013-GivensCSY #grammar inference #user interface
Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference (PG, AC, SS, TY), pp. 1165–1168.
CSLCSL-2013-KrishnaswamiD #calculus #parametricity #relational
Internalizing Relational Parametricity in the Extensional Calculus of Constructions (NRK, DD), pp. 432–451.
LICSLICS-2013-Colcombet #logic #monad #set #word
Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory (TC), p. 123.
CIKMCIKM-2012-NoroziAV #documentation #using #wiki
Contextualization using hyperlinks and internal hierarchical structure of Wikipedia documents (MAN, PA, APdV), pp. 734–743.
ECMFAECMFA-2012-GoldschmidtM #domain-specific language #query
An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters (TG, WM), pp. 62–73.
ICMTICMT-2012-GeorgeWS #domain-specific language #model transformation #scala #type safety
Type-Safe Model Transformation Languages as Internal DSLs in Scala (LG, AW, MS), pp. 160–175.
ICSEICSE-2012-Ressin #development #empirical #research
Empirically researching development of international software (MR), pp. 1551–1554.
PPoPPPPoPP-2012-BlellochFGS #algorithm #parallel #performance
Internally deterministic parallel algorithms can be fast (GEB, JTF, PBG, JS), pp. 181–192.
CASECASE-2011-NishiYI #approach #generative #problem #scheduling
Column generation approach to ship scheduling problems for international crude oil transportation (TN, SY, TI), pp. 468–473.
DocEngDocEng-2011-Davis #how
Google’s international bloopers... and how we fixed one (MD), pp. 101–102.
ICDARICDAR-2011-AbedWM #analysis #bibliography #contest #documentation #perspective #recognition
International Conference on Document Analysis and Recognition (ICDAR 2011) — Competitions Overview (HEA, LW, VM), pp. 1437–1443.
VLDBVLDB-2012-RohPKSL11 #optimisation #parallel
B+-tree Index Optimization by Exploiting Internal Parallelism of Flash-based Solid State Drives (HR, SP, SK, MS, SWL), pp. 286–297.
CSEETCSEET-2011-GimenesBB #distance #learning #re-engineering #source code
International workshop on distance learning support for postgraduate programs in software engineering (e-gradSE) (IMdSG, LB, EFB), pp. 517–519.
ITiCSEITiCSE-2011-MarkhamB #bound #twitter #using
Collaborating across international boundaries: using twitter as a tool in the classroom (SM, SB), p. 382.
HCIDUXU-v1-2011-BiesterfeldtC #research #user interface
Leading International UX Research Projects (JB, MC), pp. 368–377.
HCIDUXU-v1-2011-Maguire #design #guidelines
Guidelines on Website Design and Colour Selection for International Acceptance (MCM), pp. 162–171.
HCIDUXU-v1-2011-OhgiS #case study #enterprise #standard #using
ISO Standards and Enterprise Software: A Case Study Using SUMI and SUS in an International Sale (JO, JS), pp. 178–184.
HCIHIMI-v2-2011-LeeCT #comparison #process #re-engineering
ICT-Enabled Business Process Re-engineering: International Comparison (YCL, PYC, HLT), pp. 278–284.
ICEISICEIS-v3-2011-Zang #development #multimodal #research
Research on International Multimodal Transport Development Strategy in China (XZ), pp. 333–336.
ICEISICEIS-v4-2011-CuiZH
The Impact of the Concentration Rate of the International Container Liner Market on Chinese Container Freight Index (LC, YZ, MH), pp. 611–616.
ICEISICEIS-v4-2011-WangX #empirical #multi #performance
Is Internal Capital Market of China Listed Companies Efficient? — Empirical Evidences from Listed Companies Which Have Multiple Divisions in H-stock (FW, ZX), pp. 600–605.
ICSEICSE-2011-CurtisSS #evaluation #matter #quality #question
An evaluation of the internal quality of business applications: does size matter? (BC, JS, JS), pp. 711–715.
HPCAHPCA-2011-ChenLZ #memory management #parallel #performance
Essential roles of exploiting internal parallelism of flash memory based solid state drives in high-speed data processing (FC, RL, XZ), pp. 266–277.
CASECASE-2010-FantiSU #constraints #scheduling
Scheduling the internal operations in distribution centers with buffer constraints (MPF, GS, WU), pp. 75–80.
SIGMODSIGMOD-2010-TaranovSKNKPBTAFPVZGGL #bibliography #database #named #xml
Sedna: native XML database management system (internals overview) (IT, IS, AK, LN, SDK, RP, AB, DT, KA, AF, PP, PV, NZ, MG, MPG, DL), pp. 1037–1046.
ITiCSEITiCSE-2010-RouthLMD #education #social #student
International sustainable exchange: student projects to teach social responsibility (CRR, CL, LM, ND), p. 317.
FLOPSFLOPS-2010-BerardiT #compilation #decompiler #normalisation
Internal Normalization, Compilation and Decompilation for System Fbh (SB, MT), pp. 207–223.
ICEISICEIS-ISAS-2010-EliceguiVM #data mining #mining #semantics
Combining Semantic Technologies and Data Mining to Endow BSS/OSS Systems with Intelligence — Particularization to an International Telecom Company Tariff System (JME, GTdV, MdFM), pp. 350–355.
ICMLICML-2010-SorgSL #bound
Internal Rewards Mitigate Agent Boundedness (JS, SPS, RLL), pp. 1007–1014.
KEODKEOD-2010-MollerSBEDS #classification #owl #representation
Representing the International Classification of Diseases Version 10 in OWL (MM, MS, RB, PE, AD, DS), pp. 50–59.
KRKR-2010-BaralHS #information management #reasoning #representation
Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (CB, IH, YS).
KRKR-2010-MouraLSN #information management #reasoning #representation #tutorial
Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (LMdM, CL, MMCS, BN).
CASECASE-2009-Srinidhi #development
Development of an airline traffic forecasting model on international sectors (SS), pp. 322–327.
DACDAC-2009-StapletonT #component #design #problem #reuse #verification
Verification problems in reusing internal design components (WS, PT), pp. 209–211.
DATEDATE-2009-BildBD #performance #using
Minimization of NBTI performance degradation using internal node control (DRB, GEB, RPD), pp. 148–153.
ICPCICPC-2009-KarumuriR #automation #detection
Automatic detection of internal queues and stages in message processing systems (SK, SPR), pp. 315–316.
HCIHIMI-DIE-2009-Doyo #aspect-oriented
Internal Aspects of the Relationship between Pressing Force and Training Difficulty (DD), pp. 475–484.
HCIHIMI-DIE-2009-KumarRHA #design #enterprise
Designing International Enterprise Software (JK, DR, PH, MA), pp. 104–112.
HCIIDGD-2009-Rampoldi-HniloWSS #case study #enterprise #future of #mobile
The Future of Enterprise Is with the Mobile Workforce: An International Field Study (LRH, BKW, MS, ACS), pp. 308–315.
CIKMCIKM-2009-HuSZC #clustering #semantics #using
Exploiting internal and external semantics for the clustering of short texts using world knowledge (XH, NS, CZ, TSC), pp. 919–928.
ICEISICEIS-AIDSS-2008-JansLV #case study #data mining #mining #reduction
Internal Fraud Risk Reduction — Results of a Data Mining Case Study (MJ, NL, KV), pp. 161–166.
REFSQREFSQ-2008-PaechR #quality #requirements
REFSQ’08 International Working Conference on Requirements Engineering: Foundation for Software Quality (BP, CR), pp. 1–5.
VMCAIVMCAI-2008-Schmidt #abstract interpretation #logic
Internal and External Logics of Abstract Interpretations (DAS), pp. 263–278.
CSEETCSEET-2007-TilleyWS #re-engineering
Report from the 3rd International Symposium on Software Engineering Course Projects (SWECP 2006) (SRT, KW, SS), pp. 237–246.
HCIHCI-IPT-2007-SongKPPJ #design
Designing Input Method of Hand-Held Device with International User Studies (SS, JK, WP, BP, HJ), pp. 480–485.
HCIHIMI-MTT-2007-MiyakeT #coordination #realtime
Internal Timing Mechanism for Real-Time Coordination — Two Types of Control in Synchronized Tapping (YM, KT), pp. 876–883.
REFSQREFSQ-2007-SawyerPH #quality #requirements
REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality (PS, BP, PH), pp. 1–17.
ATEMATEM-2007-FavreGLW
4th International Workshop on Language Engineering (ATEM 2007) (JMF, DG, RL, AW), pp. 28–33.
CSEETCSEET-2006-TilleyWHS #re-engineering
Report from the 2nd International Workshop on Software Engineering Course Projects (SWECP 2005) (SRT, KW, SH, SS), pp. 87–94.
ICEISICEIS-J-2006-TrienekensKVKMS06a #aspect-oriented #development #process
Improvement of Software Development Processes, Balancing Internal and External Organizational Aspects (JJMT, RJK, FvV, DK, DM, PS), pp. 75–85.
SACSAC-2006-MorimotoSGC #security #specification #standard #verification
A security specification verification technique based on the international standard ISO/IEC 15408 (SM, SS, YG, JC), pp. 1802–1803.
ICSEICSE-2006-ThompsonE #education #industrial #re-engineering
Third international summit on software engineering education (SSEE III): bridging the university/industry gap (JBT, HME), pp. 1011–1012.
ICSEICSE-2006-ZannierMM #empirical #on the #re-engineering
On the success of empirical studies in the international conference on software engineering (CZ, GM, FM), pp. 341–350.
ATEMATEM-2006-FavreGLW #metamodelling #ontology
3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies (JMF, DG, RL, AW), pp. 52–55.
SCAMSCAM-2005-EnglishBCL #impact analysis
Measuring the Impact of Friends on the Internal Attributes of Software Systems (ME, JB, TC, KL), pp. 151–160.
ICEISICEIS-v1-2005-Mattsson #database #encryption #enterprise #implementation
A Practical Implementation of Transparent Encryption and Separation of Duties in Enterprise Databases — Protection against External and Internal Attacks on Databases (UTM), pp. 146–153.
CHICHI-2004-LawH #analysis #combinator #testing #usability
Analysis of combinatorial user effect in international usability tests (ELCL, EÞH), pp. 9–16.
ASEASE-2003-ArevaloDN #comprehension
XRay Views: Understanding the Internals of Classes (GA, SD, ON), pp. 267–270.
DATEDATE-2003-MolinaMH #hardware
High-Level Allocation to Minimize Internal Hardware Wastage (MCM, JMM, RH), pp. 10264–10269.
CSEETCSEET-2003-EdwardsT #re-engineering
Reflections on a UK Masters Level Software Engineering Programme Intended for the Home and International Market (HME, JBT), p. 166–?.
CSEETCSEET-2003-LandC04 #contest #design
Preparing for the 2004 IEEE Computer Society International Design Competition (CSIDC) (SKL, AC), p. 326.
CSEETCSEET-2003-ZuserG #performance
Reflecting Skills and Personality Internally as Means for Team Performance Improvement (WZ, TG), pp. 234–241.
WCREWCRE-2003-FavreGW #metamodelling #reverse engineering
First International Workshop on Meta-Models and Schemas for Reverse Engineering — ateM 2003 (JMF, MWG, AW), pp. 366–367.
CSEETCSEET-2002-Modesitt #collaboration #future of #industrial #re-engineering
International Software Engineering University Consortium (ISEUC): A Glimpse into the Future of University and Industry Collaboration (KLM), p. 32–?.
ITiCSEITiCSE-2002-LastDHW #collaboration #learning #student
Learning from students: continuous improvement in international collaboration (MZL, MD, MLH, MW), pp. 136–140.
ITiCSEITiCSE-2002-VoracekK #education
International education in information technology (JV, NKV), p. 245.
IWPCIWPC-2002-VestdamN #aspect-oriented #documentation #perspective
Aspects of Internal Program Documentation — An Elucidative Perspective (TV, KN), pp. 43–52.
EDOCEDOC-2002-YanoHU #collaboration #framework #process
Collaboration Management Framework for Integrating B-to-B and Internal Processes (KY, HH, SU), pp. 75–83.
ICEISICEIS-2002-ZairiA #benchmark #maturity #metric
An International Study of Benchmarking Spread and Maturity (MZ, MAM), pp. 708–715.
ICMLICML-2002-AberdeenB #scalability
Scalable Internal-State Policy-Gradient Methods for POMDPs (DA, JB), pp. 3–10.
SPLCSPLC-2002-JolleyKK #product line
Governance Polarities of Internal Product Lines (TMJ, DJK, CEK), pp. 284–298.
HPCAHPCA-2002-BrownP #pipes and filters #using
Using Internal Redundant Representations and Limited Bypass to Support Pipelined Adders and Register Files (MDB, YNP), pp. 289–298.
DATEDATE-2001-ChandraC #performance #testing #using
Efficient test data compression and decompression for system-on-a-chip using internal scan chains and Golomb coding (AC, KC), pp. 145–149.
ICDARICDAR-2001-GatosMA #contest #segmentation
First International Newspaper Segmentation Contest (BG, SLM, AA), p. 1190–?.
VLDBVLDB-2001-Shmueli #architecture #deployment #web #web service
Architectures for Internal Web Services Deployment (OS), pp. 641–644.
CSEETCSEET-2001-SobelBCMRT #re-engineering
SWEBOK as an International Foundation for Software Engineering Program Accreditation (Panel) (AEKS, DJB, DAC, YM, PNR, JBT), p. 293.
ITiCSEITiCSE-2001-AzadeganL #implementation
An international common project: implementation phase (SA, CL), pp. 125–128.
ITiCSEITiCSE-2001-CoverCK #adaptation #education #implementation
An international model for curriculum adaptation and implementation (CFC, RDC, KJK), p. 179.
ITiCSEITiCSE-2001-VoracekK #information management
International master’s program in information processing and telecommunications (JV, NKV), p. 181.
CHICHI-2001-TsukaharaW
Responding to subtle, fleeting changes in the user’s internal state (WT, NW), pp. 77–84.
ICEISICEIS-v2-2001-CunhaCN
The Dialectics of International Internet-Based Teams (MPeC, JVdC, ÂLN), pp. 1094–1100.
ICEISICEIS-v2-2001-PetersH
Introducing Common Systems in International Financial Firms (SCAP, MSHH), pp. 859–863.
OOPSLAOOPSLA-2001-LanzaD #categorisation #visualisation
A Categorization of Classes based on the Visualization of their Internal Structure: The Class Blueprint (ML, SD), pp. 300–311.
ICSEICSE-2001-ModesittBW #bibliography #re-engineering #source code #what
Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs (KLM, DJB, LHW), pp. 643–652.
ITiCSEITiCSE-2000-LastDAEK #collaboration #student
An international student/faculty collaboration: the Runestone project (MZL, MD, VLA, CE, BJK), pp. 128–131.
ICMLICML-2000-TellerV #evolution #learning #performance #programming
Efficient Learning Through Evolution: Neural Programming and Internal Reinforcement (AT, MMV), pp. 959–966.
ITiCSEITiCSE-1999-Gerhardt-PowalsP #question
The digital millennium copyright act: an international assault on fair use? (JGP, MHP), p. 191.
ITiCSEITiCSE-1999-ZoltowskiBD #education
Curriculum and teaching delivery change in an international context (BZ, RDB, JD), pp. 33–35.
DLTDLT-1999-Holzer #on the
On fixed and general membership for external and internal contextual languages (MH), pp. 351–361.
HCIHCI-EI-1999-PiamonteOA #empirical #evaluation
An Empirical Evaluation of Videophone Symbols: An International Study (TPDP, KO, JDAA), pp. 798–802.
ICEISICEIS-1999-Salameh #enterprise #process #re-engineering
Role of ERP Systems in International Business Process Re-Engineering (ZS), p. 785.
ICEISICEIS-1999-SolimanP #process
Strategic Role of IT Leader in International Business Process Change (FS, JP), p. 784.
ECOOPECOOP-1999-Kuhne
Internal Iteration Externalized (TK), pp. 329–350.
ITiCSEITiCSE-1998-Wolfer #bound #re-engineering
Graduate software engineering across international boundaries (poster): the first courses (JW), p. 311.
WRLAWRLA-1998-BruniMM #implementation
Internal strategies in a rewriting implementation of tile systems (RB, JM, UM), pp. 263–284.
DATEEDTC-1997-TurgisDPA #modelling
Internal power modelling and minimization in CMOS inverters (ST, JMD, JMP, DA), pp. 603–608.
ITiCSEITiCSE-1997-JawaryBV
International initiative (AJ, CB, SSV), pp. 85–87.
HCIHCI-CC-1997-Blanchard #how #human-computer #interactive #question #standard #what
International Standards on Human-Computer Interaction: What is Out There and How Will it be Implemented? (HEB), pp. 599–602.
HCIHCI-CC-1997-DainoffAHTC
Results from the International Cooperative Study: Impact of Ergonomic Interventions on Musculoskeletal, Eyestrain, and Psychosocial Stress (MEPS) (MJD, AA, GH, MT, BGFC), pp. 583–586.
HCIHCI-CC-1997-Marcus97a #design #interface #standard
International User-Interface Standards for Information Superhighways: Some Design Issues (AM), pp. 189–192.
HCIHCI-CC-1997-SmithBSA #interface
Ergonomic Systems Engineering: The Human Interface and the Management of International Relations in the 21st Century (JHS, ADB, MJS, GAF), pp. 185–188.
SIGMODSIGMOD-1996-CherniackZ #algebra #rule-based
Rule Languages and Internal Algebras for Rule-Based Optimizers (MC, SBZ), pp. 401–412.
SEKESEKE-1996-CutilloV #consistency #evolution
Managing a Software System and Keeping it Internally Consistent During its Evolution (FC, GV), pp. 230–237.
CADECADE-1996-MelisW #proving #theorem proving
Internal Analogy in Theorem Proving (EM, JW), pp. 92–105.
ICALPICALP-1995-Sangiorgi #calculus
Internal Mobility and Agent-Passing Calculi (DS), pp. 672–683.
CHICHI-1995-HarperS #collaboration #tool support
Collaborative Tools and the Practicalities of Professional Work at the International Monetary Fund (RHRH, AS), pp. 122–129.
AdaTRI-Ada-1994-Duncan #ada #implementation
Implementing Internal Program Representations with Ada and Ada 9X (AGD), pp. 154–163.
KDDKDD-1994-Kaufman #development #learning #multi #tool support #using
Comparing International Development Patterns Using Multi-Operator Learning and Discovery Tools (KAK), pp. 431–440.
SIGMODSIGMOD-1993-MuthR #database #transaction #visualisation
VODAK Open Nested Transactions — Visualizing Database Internals (PM, TCR), pp. 558–559.
SIGMODSIGMOD-1993-Tgieman #information management #network #research
The International Directory Network and Connected Data Information Systems for Research in the Earth and Space Sciences (JRT), pp. 475–478.
HCIHCI-ACS-1993-Hinman-Sweeney #communication #network
Developing an Electronic International Network for Space Communication (EMHS), pp. 161–166.
CHIINTERCHI-1993-RussoB #design #how #interface
How fluent is your interface?: designing for international users (PR, SB), pp. 342–347.
AdaEuropeAdaEurope-1993-Mathis #ada #standard
Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status (RFM), pp. 1–12.
ICSEICSE-1993-WohlwendR
Software Improvements in an International Company (HW, SR), pp. 212–220.
AdaEuropeAdaEurope-1992-Raines #ada #realtime
Real Time Ada in the International Space Station Freedom (GR), pp. 9–19.
CHICHI-1991-Cohen
Computer dialogue laboratory SRI International (PRC), pp. 469–470.
ICMLML-1991-JordanR #learning #modelling
Internal World Models and Supervised Learning (MIJ, DER), pp. 70–74.
ICMLML-1991-Tan #learning #representation
Learning a Cost-Sensitive Internal Representation for Reinforcement Learning (MT), pp. 358–362.
ICSEICSE-1991-Gerhart #formal method #perspective
Formal Methods: An International Perspective (SLG), pp. 36–37.
STOCSTOC-1985-FaginV #logic #semantics
An Internal Semantics for Modal Logic: Preliminary Report (RF, MYV), pp. 305–315.
PODSPODS-1984-Batory #concept #database
Conceptual-To-Internal Mappings in Commercial Database Systems (DSB), pp. 70–78.
DACDAC-1983-Chuquillanqui #problem #scalability
Internal connection problem in large optimized PLAs (SC), pp. 795–802.
PODSPODS-1982-GonnetL
External Hashing with Limited Internal Storage (GHG, PÅL), pp. 256–261.
SIGMODSIGMOD-1982-Missikoff #database #relational
A Domain Based Internal Schema for Relational Database Machines (MM), pp. 215–224.
POPLPOPL-1981-Scherlis
Program Improvement by Internal Specialization (WLS), pp. 41–49.
VLDBVLDB-1978-Gerritsen #concept
Conceptual and Internal Schemas in CODASYL (RG), p. 131.
VLDBVLDB-1978-Stocker #performance
Efficient Organization of Internal DBMS Structure (PMS), p. 136.
VLDBVLDB-1976-Tompa #performance
Choosing an Efficient Internal Schema (FWT), pp. 65–77.
DACDAC-1973-BoehmA #design #parametricity
Parameter sensitivity studies for internal combustion engine control and design purposes (CFBJ, JJAI), pp. 240–246.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.