Yannis Smaragdakis - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged systematic-approach

Statically Safe Program Generation with SafeGenShan Shan Huang, David Zook, Yannis Smaragdakis. SCP, 76(5):376-391, May 2011. [doi]

Strictly declarative specification of sophisticated points-to analysesMartin Bravenboer, Yannis Smaragdakis. OOPSLA 2009: 243-262 [doi]

Exception analysis and points-to analysis: better togetherMartin Bravenboer, Yannis Smaragdakis. ISSTA 2009: 1-12 [doi]

A game theory approach in seller-buyer supply chainM. Esmaeili, Mir-Bahador Aryanezhad, Panlop Zeephongsekul. eor, 195(2):442-448, 2009. [doi]

Domain-specific languages and program generation with Meta-AspectJShan Shan Huang, David Zook, Yannis Smaragdakis. TOSEM, 18(2), 2008. [doi]

A novel feature selection approach: Combining feature wrappers and filtersÖzge Uncu, I. Burhan Türksen. isci, 177(2):449-466, 2007. [doi]

A Distributed Space-Time Trellis Coding Approach for Multi-Terminal Relay NetworksPeter Rost, Gerhard Fettweis. icc 2007: 5300-5304 [doi]

Towards a Systematic Evaluation of protein Mutation Extraction SystemsRené Witte, Christopher J. O. Baker. jbcb, 5(6):1339-1359, 2007. [doi]

MIRACLE s Ad-Hoc and Geographical IR Approaches for CLEF 2006José Miguel Goñi-Menoyo, José Carlos González Cristóbal, Sara Lana-Serrano, Ángel Martínez-González. clef 2007: 877-880 [doi]

OOHDMDA - An MDA Approach for OOHDMHans Albrecht Schmid, Oliver Donnerhak. ICWE 2005: 569-574 [doi]

Systematic Variation Normalization in Microarray Data to Get Gene Expression Comparison UnbiasedJeff W. Chou, Richard S. Paules, Pierre R. Bushel. jbcb, 3(2):225-242, 2005. [doi]

Specialization Scenarios: A Pragmatic Approach to Declaring Program SpecializationAnne-Françoise Le Meur, Julia L. Lawall, Charles Consel. lisp, 17(1-2):47-92, 2004. [doi]

New elements in international maritime standards: Developing a safety case approach for the treatment of tanker incidentsAristotelis B. Alexopoulos, Nikolaos Konstantopoulos. or, 4(3):333-346, 2004. [doi]

Developing and Applying a Distributed Systems Performance Approach for a Web PlatformJames Cusick, Terry Welch. cmg 2004: 389-398

A Contradiction-driven approach to theory formation: Conceptual issues, pragmatics in human laerning, potentialitiesGermana M. da Nóbrega, Stefano A. Cerri, Jean Sallantin. jbcs, 9(2):37-56, 2004.

A parallel approach to the Eulerian cycle problemTatiana Tambouratzis. ijis, 17(12):1111-1119, 2002. [doi]

Capacity Planning for Distributed Systems : A Practical ApproachMark A. Basalla. cmg 2002: 585-590

A neural network approach to tiling problemsTatiana Tambouratzis. ijis, 16(9):1037-1052, 2001.

From the Catalyst Web Site to MyClass: Scalable Approaches to Educational Technology at the University of WashingtonLaura Baldwin. webnet 2001: 787

Kronecker s and Newton s Approaches to Solving: A First ComparisonD. Castro, Luis Miguel Pardo, Klemens Hägele, Jose Enrique Morais. jc, 17(1):212-303, 2001. [doi]

A Simple Approach to the Spanish-English Bilingual Retrieval TaskCarlos G. Figuerola, José Luis Alonso Berrocal, Ángel F. Zazo Rodríguez, Raquel Gómez Díaz. clef 2001: 224-229 [doi]

Gender Equality Through Technology: Dimensions of a New ApproachTimothy Youngman. webnet 2000: 976

Validation of Information System Specifications: a Proposal for a Method Independent ApproachJudith Barrios, Georges Grosz. nis, 2(2):203-236, 1999.

A modular simulation approach for automated material handling systemsTimothy S. Meinert, G. Don Taylor, John R. English. simpra, 7(1):15-30, 1999. [doi]

Validation of information system specifications: a proposal for a method independent approachJudith Barrios, Georges Grosz. inforsid 1998: 217-236

Disseminating medical knowledge: the PROforma approachJohn Fox, Nicky Johns, Ali Rahmanzadeh. artmed, 14(1-2):157-182, 1998.

Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology, International Summer School, SCIE-97, Frascati, Italy, 14-18, 1997Maria Teresa Pazienza, editor, Volume 1299 of Lecture Notes in Computer Science, Springer, 1997.

A Queueing Modelling Approach to Clustered Heterogeneous Discrete Event Dynamic SystemsA. Calinescu, David J. Evans. paapp, 8(2):115-139, 1996. [doi]

Local Applications of the Ecological Approach to Human-Machine Systems, edited by Peter A. Hancock, John M. Flach, Jeff Caird, and Kim J. VicenteAlfred T. Lee. jasis, 47(6):480, 1996.

Somewhat Finite Approaches to Infinite SentencesR. Suzanne Zeitman. AMAI, 8(1-2):27-36, 1993.

The Cleanroom Approach to Quality Software DevelopmentMichael Dyer. cmg 1992: 1201-1212

Investigation of an expert systems approach to bacterial identificationR. J. Brammer, T. N. Bryant, J. H. May. bioinformatics, 7(4):461-469, 1991.

Relational-Linear Quadtree Approach for Two-Dimensional Spatial Representation and ManipulationFangju Wang. tkde, 3(1):118-122, 1991. [doi]

Possibility theory: An approach to computerized processing of uncertaintyArie Tzvieli. jasis, 41(2):153-154, 1990.

Hybrid Techniques in Benchmarking: A Scalable ApproachAlan Harbitter. cmg 1990: 387-394

Never Accept the Unacceptable: A Powerful Approach for CorrectingStephen L. Lieman. cmg 1990: 1191-1196

Object oriented languages and actors: which language for a distributed approach?F. Carre, P. Clere. SIGPLAN, 24(4):73-75, 1989. [doi]

Rough Sets: Probabilistic versus Deterministic ApproachZdzislaw Pawlak, S. K. Michael Wong, Wojciech Ziarko. ijmms, 29(1):81-95, 1988.

Formalizing Requirements SystematicallyAnthony Finkelstein, Colin Potts. emisa 1987: 44-57

A Heuristic Algorithm for Gate Assignment in One-Dimensional Array ApproachTakashi Fujii, Hideya Horikawa, Tohru Kikuno, Noriyoshi Yoshida. tcad, 6(2):159-164, 1987. [doi]

A Fully Automatic Analytic Approach to Budget-Constrained System UpgradeSamuel T. Chanson, Angela S. O. Wong. cmg 1987: 620-629

End-User Performance Measurement: An Automated PC ApproachGerri K. Martin Flickinger. cmg 1987: 599-605

Sizing New Automated Systems Having Unknown Workloads: A Structured ApproachJohn L. Gibson. cmg 1987: 177-183

A Subjective Bayesian Approach to the Theory of Queues II - Inference and Information in M/M/1 QueuesM. F. McGrath, Nozer D. Singpurwalla. questa, 1(4):335-353, 1986.

An Integrated Approach for the ISDN U InterfaceA. Tofanelli, Alberto Brosio, F. Corazzo, R. Camiciottoli, R. Pietroiusti. icc 1986: 1656-1660

Network Simplification: A Prudent Approach for Managing Distributed Communication NetworksTachen Leo Lo, Jack Peng. cmg 1985: 187-192

An Integrated Approach to Computer Facility ManagementShirley I. Linde. cmg 1983: 239-243

An Approach for Error Detection and Error Correction in Distributed Systems Computing Numerical FunctionsMark G. Karpovsky. TC, 30(12):947-953, 1981.

A Multi-Dimensional Approach to Capacity PlanningT. M. Kachigan. cmg 1980: 152-162

The Fit Approach to AI LanguagesHarold Boley. ecai 1978: 35-41

runs on WebDSL