Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged systematic-approach

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

An experts approach to strategy selection in multiagent meeting schedulingElisabeth Crawford, Manuela M. Veloso. AAMAS, 15(1):5-28, 2007. [doi]

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

English-to-French CLIR: A Knowledge-Light Approach through Character N-Grams AlignmentJesús Vilares, Michael P. Oakes, Manuel Vilares Ferro. clef 2008: 148-155 [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]

Human information behavior: Integrating diverse approaches and information useAmanda Spink, Charles Cole. jasis, 57(1):25-35, 2006. [doi]

A compositional approach to CTL* verificationYonit Kesten, Amir Pnueli. TCS, 331(2-3):397-428, 2005. [doi]

OOHDMDA - An MDA Approach for OOHDMHans Albrecht Schmid, Oliver Donnerhak. ICWE 2005: 569-574 [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]

Helping Users Customize Their Pedagogical Agents: Issues, Approaches and ExamplesAnders I. Mørch, Jan Eirik B. Nævdal. kes 2004: 131-139 [doi]

Formal Modeling of C. elegans Development: A Scenario-Based ApproachNa aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern. cmsb 2003: 4-20 [doi]

On the probabilistic approach to the random satisfiability problemGiorgio Parisi. corr, cs.CC/0308010, 2003. [doi]

On the Probabilistic Approach to the Random Satisfiability ProblemGiorgio Parisi. sat 2004: 203-213 [doi]

The Metronome: A Simpler Approach to Garbage Collection in Real-Time SystemsDavid F. Bacon, Perry Cheng, V. T. Rajan. otm 2003: 466-478 [doi]

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 Unifying Approach to Goal-directed EvaluationOlivier Danvy, Bernd Grobauer, Morten Rhiger. ngc, 20(1):53-74, 2001.

A Unifying Approach to Goal-Directed EvaluationOlivier Danvy, Bernd Grobauer, Morten Rhiger. saig 2001: 108-125 [doi]

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

Rural telecenters: problematic issues and the need for new educational and developmental approachesLaura Helena Porras, José Manuel Ramos, Bertha Salinas, Antonio Santos. webnet 2001: 1023-1024

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

Knowledge and Object-Oriented Approach for Interoperability of Heterogeneous Information Management SystemsChin-Wan Chung, Shang-Ryong Kim. JDM, 10(3):13-25, 1999.

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]

Deductive vs. Model-Theoretic Approaches to Formal Verification (Abstract of Invited Talk)Amir Pnueli. cade 1998: 301 [doi]

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

A Generic Approach to Building User Interfaces for Theorem ProversYves Bertot, Laurent Théry. JSC, 25(2):161-194, 1998.

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.

Do whatever works: A robust approach to fault-tolerant autonomous controlDavid W. Payton, David Keirsey, Dan M. Kimble, Jimmy Krozel, J. Kenneth Rosenblatt. apin, 2(3):225-250, 1992. [doi]

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.

Entity-Relationship Approach: A Bridge to the User, Proceedings of the Seventh International Conference on Enity-Relationship Approach, Rome, Italy, November 16-18, 1988Carlo Batini, editor, North-Holland, 1989.

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.

Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type ApproachS. Kaplan, Amir Pnueli. STACS 1987: 220-244

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 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

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

A Practical Approach to Selecting Record Access PathsDennis G. Severance, John V. Carlis. ACM Comput. Surv., 9(4):259-272, 1977. [doi]

Axiomatic Approach to Total Correctness of ProgramsZohar Manna, Amir Pnueli. ACTA, 3:243-263, 1974.

runs on WebDSL