Search results for "do-178"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
37	Benjamin M. Brosgol	MP1: languages for safety-critical software: issues and assessment.	SIGAda	2008	DBLP DOI BibTeX RDF	do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity
32	Alessandra Cherubini, Pierluigi San Pietro	Tree Adjoining Languages and Multipushdown Languages.	Theory Comput. Syst.	2000	DBLP DOI BibTeX RDF
32	Imre Bárány, Pavel Valtr 0001	A Positive Fraction Erdos - Szekeres Theorem.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
27	Gasim Ibrahim, Mohamed S. Challiwala, Hanif A. Choudhury, Guiyan Zang, Mahmoud M. El-Halwagi, Nimir O. Elbashir	Corrigendum to "CO2Fix: An approach to assess CO2 fixation potential of CCU reaction pathways", [Computers & Chemical Engineering, Volume 178, October 2023, 108398].	Comput. Chem. Eng.	2023	DBLP DOI BibTeX RDF
27	Seyyid Ahmed Medjahed, Tamazouzt Ait Saadi, Abdelkader Benyettou, Mohammed Ouali	Corrigendum to "Gray Wolf Optimizer for hyperspectral band selection" [Appl. Soft Comput. 40 (2016) 178-186].	Appl. Soft Comput.	2023	DBLP DOI BibTeX RDF
27	Zinat Ara, Sungsoo Ray Hong	Exploring Design Space of Collaborative Career-Seeking Experience for People on Autism Spectrum 174-178.	IUI Workshops	2023	DBLP BibTeX RDF
27	Kim Allinger, Matthias KuhI	A Closed-Loop 12bit CMOS-Integrated Stress Sensor System with 4bit Adjustable Sensitivity from 178 to 11 kPa/LSB at up to 22.5kS/s and 5bit Dynamic Range Adjustment.	ISSCC	2023	DBLP DOI BibTeX RDF
27	Dong-Hyun Yoon, Dong-Kyu Jung, Kiho Seong, Jae-Soub Han, Keun-Yong Chung, Ju Eon Kim, Tony Tae-Hyoung Kim, Kwang-Hyun Baek	A 3.2-GHz 178-fsrms Jitter Subsampling PLL/DLL-Based Injection-Locked Clock Multiplier.	IEEE Trans. Very Large Scale Integr. Syst.	2022	DBLP DOI BibTeX RDF
27	Sehwan Lee, Yoonsung Choi, Geunha Kim, Seungyeob Baik, Taeryoung Seol, Homin Jang, Doyoung Lee, Minkyu Je, Ji-Woong Choi, Arup K. George, Junghyup Lee	A 0.7V 17fJ/Step-FOMW 178.1dB-FOMSNDR 10kHz-BW 560mVPP True-ExG Biopotential Acquisition System with Parasitic-Insensitive 421MΩ Input Impedance in 0.18μm CMOS.	ISSCC	2022	DBLP DOI BibTeX RDF
27	Victoria Owen	Warner, Julian. Copyright, data and creativity in the digital age: A journey through Feist. Abingdon: Routledge, 2020, 178 pp. £96.00 (hardback). (ISBN 9780367902858).	J. Assoc. Inf. Sci. Technol.	2021	DBLP DOI BibTeX RDF
27	Jiannan Huang, Patrick P. Mercier	A 178.9-dB FoM 128-dB SFDR VCO-Based AFE for ExG Readouts With a Calibration-Free Differential Pulse Code Modulation Technique.	IEEE J. Solid State Circuits	2021	DBLP DOI BibTeX RDF
27	Jiannan Huang, Patrick P. Mercier	A Distortion-Free VCO-Based Sensor-to-Digital Front-End Achieving 178.9dB FoM and 128dB SFDR with a Calibration-Free Differential Pulse-Code Modulation Technique.	ISSCC	2021	DBLP DOI BibTeX RDF
27	Shiva Asadzadeh, Sabalan Daneshvar, Behzad Abedi, Behnaz Sadeghzadeh Oskouei, Parviz Shahabi, Yaghoob Jasemian	Corrigendum to "Technical report: An advanced algorithm for the description of mice oocyte cytoplasm and polar body" [Biomed. Signal Process. Control 48 (2019) 171-178].	Biomed. Signal Process. Control.	2020	DBLP DOI BibTeX RDF
27	U. Rajendra Acharya, Oliver Faust, Edward J. Ciaccio, Joel Koh En Wei, Shu Lih Oh, Ru San Tan, Hasan Garan	Corrigendum to 'Application of nonlinear methods to discriminate fractionated electrograms in paroxysmal versus persistent atrial fibrillation' Computer Methods and Programs in Biomedicine 175 (2019) 163-178.	Comput. Methods Programs Biomed.	2020	DBLP DOI BibTeX RDF
27	Daniel James Mchenry, Nigel McKelvey	The Ethical Issues Surrounding Sections 175-178 of the UK's Data Protection Bill.	Int. J. Innov. Digit. Econ.	2019	DBLP DOI BibTeX RDF
27	Wei Chen, Shuping Huang	Correction: Chen, W.; Huang, S.P. Evaluating Flight Crew Performance by a Bayesian Network Model. Entropy 2018, 20, 178.	Entropy	2018	DBLP DOI BibTeX RDF
27	César Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels	Automatic Generation of DO-178 Test Procedures.	NFM	2018	DBLP DOI BibTeX RDF
27	Armand Hatchuel, Hugues Molet	Corrigendum to "Rational modelling in understanding and aiding human decision-making: About two case studies" [European Journal of Operational Research 24 (1986) 178-186].	Eur. J. Oper. Res.	2016	DBLP DOI BibTeX RDF
27	Paramita Mirza, Simon Razniewski, Werner Nutt	Expanding Wikidata's Parenthood Information by 178%, or How To Mine Relation Cardinality Information.	ISWC (Posters & Demos)	2016	DBLP BibTeX RDF
27	Chris Biemann	Ontology-Based Interpretation of Natural Language Philipp Cimiano, Christina Unger, and John McCrae (University of Arminia Bielefeld, Germany) Morgan & Claypool, Synthesis Lectures on Human Language Technologies, March 2014, 178 pages, (doi: 10.2200/S00561ED1V01Y201401HLT024) , $45.00.	Comput. Linguistics	2015	DBLP DOI BibTeX RDF
27	Jirachai Buddhakulsomsiri, David S. Kim	Corrigendum to 'Properties of multi-mode resource-constrained project scheduling problems with resource vacations and activity splitting' and 'Priority rule-based heuristic for multi-mode resource-constrained project scheduling problems with resource vacations and activity splitting' [Eur. J. Oper. Res 175 (2006) 279-295, 178 (2007) 374-390].	Eur. J. Oper. Res.	2015	DBLP DOI BibTeX RDF
27	Tetsuya Matsumura, Aoi Kurokawa, Kousuke Imamura, Yoshio Matsuda	A Design for the 178-MHz WXGA 30-fps Optical Flow Processor Based on the HOE Algorithm.	DDECS	2015	DBLP DOI BibTeX RDF
27	Trevor J. Owens	Virtual Communities: Bowling Alone, Together Online, by Felicia Wu Song. New York, NY: Peter Lang, 2009, 178 pp. $98.95 hardcover/$35.95 paper. ISBN 1433103966 (hardcover)/1433103958 (paper).	Inf. Soc.	2013	DBLP DOI BibTeX RDF
27	Ingrid Erickson, Minna Aslama	Review Article: Making, breaking promises? Civic spheres and virtual engagements: Henrik Bang and Anders Esmark (eds), New Publics with/out Democracy, Frederiksberg, Denmark: Samfundslitteratur Press/Nordicom, 2007; 380 pp.: 9788759311493, 348 DKK (pbk) Elizabeth Losh, Virtualpolitik: An Electronic History of Government Media-making in a Time of War, Scandal, Disaster, Miscommunication, and Mistakes, Cambridge, MA: The MIT Press, 2009; xi + 414 pp.: 9780262123044, $29.95 (hbk) Felicia Wu Song, Virtual Communities: Bowling Alone, Online Together, New York: Peter Lang, 2009; xviv + 178 pp.: 9781433103957, US$32.95 (pbk).	New Media Soc.	2010	DBLP DOI BibTeX RDF
27	Ochbadrakh Chuluunbaatar, A. A. Gusev 0001, Vladimir P. Gerdt, V. A. Rostovtsev, Sergey I. Vinitsky, A. G. Abrashkevich, Michail S. Kaschiev, Vladislav V. Serov	Erratum to: Program AEAA_v1_0, "POTHMF: A program for computing potential curves and matrix elements of the coupled adiabatic radial equations for a hydrogen-like atom in a homogeneous magnetic field" [Computer Physics Communications 178 (2008) 301].	Comput. Phys. Commun.	2009	DBLP DOI BibTeX RDF
27	Indranil Bose, Anand A. Paul	Erratum to "On returns policies with exogenous price" [European Journal of Operational Research 178 (3) (2007) 782-788].	Eur. J. Oper. Res.	2008	DBLP DOI BibTeX RDF
27	Dirk Wüstenberg	Vorratsdatenspeicherung und § 100 TKG - Zum Urteil des LG Darmstadt vom 25.1.2006, DuD 2006, 178.	Datenschutz und Datensicherheit	2007	DBLP DOI BibTeX RDF
27	Jan K. Köcher, Noogie C. Kaufmann	Speicherung von Verkehrsdaten bei Internet-Access-Providern - Anmerkung zum Urteil des LG Darmstadt vom 7.12.2005, Az.: 25 S 118/2005, DuD 2006, 178.	Datenschutz und Datensicherheit	2006	DBLP DOI BibTeX RDF
27	Susan Hesemeier	Close Reading New Media: Analyzing Electronic Literature. Jan Van Looy and Jan Baetens (eds). Leuven: Leuven UP, 2003, 178 pp. ISBN 90-5867-323-5. €24.00 (paperback)..	Lit. Linguistic Comput.	2006	DBLP DOI BibTeX RDF
27	Stephen Saxby	Book review: The TRIPS Agreement - Drafting History and Analysis, second ed., Daniel Gervais, Thomson-Sweet & Maxwell (2003), (580 pp., Hard-cover, £178.00), ISBN: 0 421 789 107.	Comput. Law Secur. Rev.	2006	DBLP DOI BibTeX RDF
27		Mitteilungen der Gesellschaft für Informatik 178. Folge.	Inform. Spektrum	2006	DBLP DOI BibTeX RDF
27		Mitteilungen der Gesellschaft für Informatik 178. Folge (Fortsetzung).	Inform. Spektrum	2006	DBLP DOI BibTeX RDF
27	Charles B. Cross	A correction to "Nonmonotonic inconsistency" [Artificial Intelligence 149 (2003) 161-178].	Artif. Intell.	2004	DBLP DOI BibTeX RDF
27	Mile K. Stojcev	Power-Constrained Testing of VLSI Circuits. Nikola Nikolici, Bashir M. Al-Hashimi. Kluwer Academic Publishers, Boston, 2003. Hardcover, pp 178, plus XI, ISBN 1-4020-7235-X.	Microelectron. Reliab.	2004	DBLP DOI BibTeX RDF
27	Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel	Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293).	Inf. Comput.	2003	DBLP DOI BibTeX RDF
27	Mary Lea	Teachers and Techno-literacy: Managing Literacy, Technology and Learning in Schools: By Colin Lankshear and Ilana Snyder with Bill Green. Allen & Unwin, St Leonards, New South Wales, 178 pp, ISBN 1-86448-946-4.	Comput. Educ.	2001	DBLP DOI BibTeX RDF
27	Simon Parsons	An introduction to Bayesian networks by Finn V. Jensen, UCL Press, 1996, £29.95, pp 178, ISBN 1-85728-332-5.	Knowl. Eng. Rev.	1998	DBLP DOI BibTeX RDF
27	Jürgen Börstler	Integrated software reuse: Management and techniques : Paul Walton and Neil Maiden (eds) Ashgate Publishing, Hants, UK (1993) 178 pp £49.50 hardcover ISBN 1 85742 146 9.	Inf. Softw. Technol.	1995	DBLP DOI BibTeX RDF
27	Tony Owen	Advanced Robotics 1989 edited by Kenneth J. Waldron Springer-Verlag, 1989, 687 pages, no index (DM 178.00).	Robotica	1990	DBLP DOI BibTeX RDF
27	Warren H. Lieberman	Growth and Development, Ecosystems Phenomenology by Robert E. Ulanowicz, springer-Verlag, New York, 1986, 178 pp.	Networks	1989	DBLP DOI BibTeX RDF
27	Leon Sterling, Randall D. Beer	Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction. (long version: JLP 6(1&2): 163-178)	SLP	1986	DBLP BibTeX RDF
27	Lyle B. Smith	Remark on algorithm 178 [E4]: direct search.	Commun. ACM	1969	DBLP DOI BibTeX RDF	search, direct search, function minimization
27	F. K. Tomlin, Lyle B. Smith	Remark on algorithm 178 [E4]: direct search.	Commun. ACM	1969	DBLP DOI BibTeX RDF	search, direct search, function minimization
27	René de Vogelaere	Remark on algorithm 178: Direct search.	Commun. ACM	1968	DBLP DOI BibTeX RDF	search, direct search, function minimization
27	M. Bell, Malcolm C. Pike	Remark on algorithm 178 [E4] direct search.	Commun. ACM	1966	DBLP DOI BibTeX RDF
27	Arthur F. Kaupe Jr.	Algorithm 178: direct search.	Commun. ACM	1963	DBLP DOI BibTeX RDF
16	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
16	Ronald Fagin, Benny Kimelfeld, Yunyao Li 0001, Sriram Raghavan, Shivakumar Vaithyanathan	Rewrite rules for search database systems.	PODS	2011	DBLP DOI BibTeX RDF
16	Charles-Eric Dessart, Vivian Genaro Motti, Jean Vanderdonckt	Showing user interface adaptivity by animated transitions.	EICS	2011	DBLP DOI BibTeX RDF
16	Dennis Giffhorn, Christian Hammer 0001	Precise slicing of concurrent programs.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Concurrency, Program analysis, Threads, Slicing
16	Yu. I. Lyubich	On tight projective designs.	Des. Codes Cryptogr.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 05B30
16	Marie-Laurence Mazure	A few remarks on recurrence relations for geometrically continuous piecewise Chebyshevian B-splines.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Chebyshev spaces, Connexion matrices, de Boor algorithm, B-splines, Recurrence relations, Blossoms, Geometric design
16	Ning Chen 0005, Arpita Ghosh, Nicolas S. Lambert	Social lending.	EC	2009	DBLP DOI BibTeX RDF	peer-to-peer lending, social lending, internet auctions
16	Domenic Teuchert, Simon Hauger	A Pipelined IP Address Lookup Module for 100 Gbps Line Rates and beyond.	EUNICE	2009	DBLP DOI BibTeX RDF
16	Joseph Weizenbaum	Social and Political Impact of the Long-term History of Computing.	IEEE Ann. Hist. Comput.	2008	DBLP DOI BibTeX RDF
16	Ryszard Janicki	Relational structures model of concurrency.	Acta Informatica	2008	DBLP DOI BibTeX RDF
16	Charles E. Kahn	Dynamic "Inline" Images: Context-Sensitive Retrieval and Integration of Images into Web Documents.	J. Digit. Imaging	2008	DBLP DOI BibTeX RDF	multimedia, Web technology, internet technology
16	Mark Junjie Li, Michael K. Ng 0001, Yiu-ming Cheung, Joshua Zhexue Huang	Agglomerative Fuzzy K-Means Clustering Algorithm with Selection of Number of Clusters.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF
16	Milo Engoren, Jeffrey A. Kline	Use of genetic programming to diagnose venous thromboembolism in the emergency department.	Genet. Program. Evolvable Mach.	2008	DBLP DOI BibTeX RDF	Pulmonary embolism, Venous thromboembolic disease, Capnometry, Oximetry, Genetic programming
16	Thierry Hamon, Natalia Grabar	How Can the Term Compositionality Be Useful for Acquiring Elementary Semantic Relations?.	GoTAL	2008	DBLP DOI BibTeX RDF
16	Jiazheng Shi, Berkman Sahiner, Heang-Ping Chan, Lubomir M. Hadjiiski, Jun Ge, Jun Wei 0002	Breast Mass Classification on Full-Field Digital Mammography and Screen-Film Mammography.	Digital Mammography / IWDM	2008	DBLP DOI BibTeX RDF	screen-film mammography, mass characterization, computer-aided diagnosis, Full-field digital mammography
16	S. L. Sangam 0001, Kiran Savanur, M. Manjunath	Communication and collaborative research pattern of Sivaraj Ramaseshan: A scientometric portrait.	Scientometrics	2007	DBLP DOI BibTeX RDF
16	Heinz-Paul Bonn	Integrierte RFID sorgt für mehr Qualität bei Life Sciences.	Internet der Dinge	2007	DBLP DOI BibTeX RDF
16	Christian Thies, Jürgen Scheins, Fritz Boschen, Hans Herzog	Effiziente Streustrahlberechnung für die volle 3-D Volumenrekonstruktion in der Positronen-Emissions-Tomographie mittels vollständig symmetriebasierter Indizierung von Projektionsvektoren und Volumenvoxeln.	Bildverarbeitung für die Medizin	2007	DBLP DOI BibTeX RDF
16	Manuel Aguilar R., Héctor J. Fraire H., Laura Cruz Reyes, Juan Javier González Barbosa, Graciela Mora Guadalupe Castilla V., Claudia Gómez Santillán	Classic Cryptanalysis Applied to Exons and Introns Prediction.	ICCSA (3)	2007	DBLP DOI BibTeX RDF
16	César I. Llanos, Marcia N. Muñoz	Design guidelines for web applications based on local patterns.	EATIS	2007	DBLP DOI BibTeX RDF	usability, user interfaces, web applications
16	Guilherme T. de Assis, Alberto H. F. Laender, Marcos André Gonçalves, Altigran Soares da Silva	Exploiting Genre in Focused Crawling.	SPIRE	2007	DBLP DOI BibTeX RDF	Focused crawling, Web crawling, SVM classifiers
16	Gustavo A. Ruiz, Juan A. Michell, Angel M. Burón	High Throughput Parallel-Pipeline 2-D DCT/IDCT Processor Chip.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	inverse discrete cosine transform (IDCT), row column decomposition, parallel pipelined architectures, very large scale integration (VLSI), image compression, discrete cosine transform (DCT)
16	Jamshid Dehmeshki, Xujiong Ye, Manlio Valdivieso Casique, Xinyu Lin	A hybrid approach for automated detection of lung nodules in CT images.	ISBI	2006	DBLP DOI BibTeX RDF
16	Thijs Reus, Hans Geers, Arie van Deursen	Harvesting Software Systems for MDA-Based Reengineering .	ECMDA-FA	2006	DBLP DOI BibTeX RDF
16	Lin Gu 0001, John A. Stankovic	Radio-Triggered Wake-Up for Wireless Sensor Networks.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	sensor networks, wireless, power management, lifetime
16	Stephen Bique	New Characterizations of 2D Discrete Cosine Transform.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Application studies, multiprocessor systems, discrete mathematics
16	Chadd C. Williams, Jeffrey K. Hollingsworth	Automatic Mining of Source Code Repositories to Improve Bug Finding Techniques.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	version control, Testing tools, debugging aids, configuration control
16	Smadar Karni, Alexander Kurganov	Local error analysis for approximate solutions of hyperbolic conservation laws.	Adv. Comput. Math.	2005	DBLP DOI BibTeX RDF	AMS subject classification 65M15, 35L65
16	Gustavo A. Ruiz, Juan A. Michell, Angel M. Burón	High throughput 2D DCT/IDCT processor for video coding.	ICIP (3)	2005	DBLP DOI BibTeX RDF
16	Davood Rafiei	Bulk loading large collections of hyperlinked resources.	Hypertext	2005	DBLP DOI BibTeX RDF	web graph, bulk loading, larges graphs
16	Lin Gu 0001, John A. Stankovic	Radio-Triggered Wake-Up Capability for Sensor Networks.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
16	Françoise Tisseur, Jean-Pierre Dedieu, Myong-Hi Kim, Michael Shub	Implicit Gamma Theorems (I): Pseudoroots and Pseudospectra.	Found. Comput. Math.	2003	DBLP DOI BibTeX RDF	AMS Classification. 65F15, 65Y20, 65H10
16	Guohua Wu	Q-measures on QKlambda.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
16	Valeriu Soltan	The Characteristic Intersection Property of Line-Free Choquet Simplices in Ed.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
16	Anthony Brabazon, Michael O'Neill 0001	Anticipating Bankruptcy Reorganisation from Raw Financial Data Using Grammatical Evolution.	EvoWorkshops	2003	DBLP DOI BibTeX RDF
16	Olli Lehtoranta, Petri Kukkala, Timo Hämäläinen 0001, Ville Lappalainen	Implementation of a Video Transcoder for Embedded System.	ITCC	2003	DBLP DOI BibTeX RDF
16	Richard Schroeppel, Cheryl L. Beaver, Rita Gonzales, Russell Miller 0001, Timothy Draelos	A Low-Power Design for an Elliptic Curve Digital Signature Chip.	CHES	2002	DBLP DOI BibTeX RDF	Optimal El Gamal, Characteristic 2, Field Towers, Trinomial Basis, Qsolve, Almost-Inverse Algorithm, Point Halving, Signed Sliding Window, GF(289), GF(2178), Low Power, Digital Signature, VHDL, Hardware, Elliptic Curve, ECDSA, Quadratic Equation
16	Sean McGuinness	Colouring Arcwise Connected Sets in the Plane II.	Graphs Comb.	2001	DBLP DOI BibTeX RDF
16	Jirí Matousek 0001	On Directional Convexity.	Discret. Comput. Geom.	2001	DBLP DOI BibTeX RDF
16	Mark Adams	The sequence of the human genome (abstract only).	RECOMB	2001	DBLP DOI BibTeX RDF
16	Dima Grigoriev, Alexander A. Razborov	Exponential Lower Bounds for Depth 3 Arithmetic Circuits in Algebras of Functions over Finite Fields.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Exponential lower bounds, Depth 3 arithmetic circuits, Finite fields
16	Béla Bollobás, Andrew Thomason 0001	The Structure of Hereditary Properties and Colourings of Random Graphs.	Comb.	2000	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C80, 05C15, 05C75
16	Hennie De Schepper	Finite Element Methods for Eigenvalue Problems on a Rectangle with (Semi-) Periodic Boundary Conditions on a Pair of Adjacent Sides.	Computing	2000	DBLP DOI BibTeX RDF	AMS Subject Classification: 65N30
16	Reece Hart, Ajay K. Royyuru, Gustavo Stolovitzky, Andrea Califano	Systematic and automated discovery of patterns in PROSITE families.	RECOMB	2000	DBLP DOI BibTeX RDF
16	Jason L. Hill, Robert Szewczyk, Alec Woo, Seth Hollar, David E. Culler, Kristofer S. J. Pister	System Architecture Directions for Networked Sensors.	ASPLOS	2000	DBLP DOI BibTeX RDF
16	Gerard J. Holzmann, Anuj Puri	A Minimized Automaton Representation of Reachable States.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Model checking, Verification, Data compression, Finite automata, Spin, OBDDs, Sharing trees
16	Andreas Zeller	Yesterday, My Program Worked. Today, It Does Not. Why?	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
16	Timothy A. Budd	Functional Programming and the Fragile Base Class Problem.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
16	Heather L. Adams, Michael G. Morris, James R. Van Scotter	Supporting the Virtual Organization: Implications for E-Mail Use and Policy.	HICSS (4)	1998	DBLP DOI BibTeX RDF
16	Terence John Parr, Russell W. Quong	LL and LR Translators Need k>1 Lookahead.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
16	Marc Richard-Foy	Safe Ada Executive: An Executive for Ada Safety Critical Applications.	Ada-Europe	1995	DBLP DOI BibTeX RDF
16	Robbert van Renesse	Why bother with CATOCS?	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
16	Andrew Howes, Stephen J. Payne	Semantic analysis during exploratory learning.	CHI	1990	DBLP DOI BibTeX RDF