Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged rule-based

EventScript: an event-processing language based on regular expressions with actionsNorman H. Cohen, Karl Trygve Kalleberg. lctrts 2008: 111-120 [doi]

A genetic algorithm-based heuristic for the dynamic integrated forward/reverse logistics network for 3PLsHyun Jeung Ko, Gerald W. Evans. cor, 34(2):346-366, 2007. [doi]

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, Croatia, September 3-4, 2007Arnd Poetzsch-Heffter, editor, ACM, 2007.

20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 20-22 June 2007, Maribor, SloveniaIEEE Computer Society, 2007.

GA-Based Iris/Sclera Boundary Detection for Biometric Iris IdentificationTatiana Tambouratzis, Michael Masouris. icannga 2007: 457-466 [doi]

Document Retrieval by Projection Based Frequency DistributionIsamu Shioya, Hirohito Oh uchi, Takao Miura. ijait, 16(4):647-659, 2007. [doi]

XMage: An image retrieval method based on partial similarityChang-Ryong Kim, Chin-Wan Chung. ipm, 42(2):484-502, 2006. [doi]

SOM-based estimation of climatic profilesTatiana Tambouratzis. ijis, 21(5):503-522, 2006. [doi]

A Parallel Solution to the HIP Game Based on Genetic AlgorithmsTatiana Tambouratzis. seal 2006: 672-679 [doi]

Advanced Video and Signal Based Surveillance, 2006 IEEE International Conference on Video and Signal Based Surveillance (AVSS 06), 22-24 November 2006, Sydney, AustraliaIEEE Computer Society, 2006.

On randomizing the sending times in TCP and other window based algorithmsKartikeya Chandrayana, Sthanunathan Ramakrishnan, Biplab Sikdar, Shivkumar Kalyanaraman. cn, 50(3):422-447, 2006. [doi]

Close encounters of the virtual kind: a study on place-based presenceG. Henri ter Hofte, Ingrid Mulder, Carla Verwijs. ais, 20(2):151-168, 2006. [doi]

Synthesis Revisited: Generating Statechart Models from Scenario-Based RequirementsDavid Harel, Hillel Kugler, Amir Pnueli. BIRTHDAY 2005: 309-324 [doi]

Temporal Logic for Scenario-Based SpecificationsHillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps. TACAS 2005: 445-460 [doi]

An efficient MDS-based topographic mapping algorithmYoshitatsu Matsuda, Kazunori Yamaguchi. ijon, 64:285-299, 2005. [doi]

From Reduction-based to Reduction-free NormalizationOlivier Danvy. ENTCS, 124(2):79-100, 2005. [doi]

18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 23-24 June 2005, Dublin, IrelandIEEE Computer Society, 2005.

ESD circuit model based protection network optimisation for extended-voltage NMOS driversVesselin K. Vassilev, V. A. Vashchenko, Ph. Jansen, Guido Groeseneken, M. ter Beek. mr, 45(9-11):1430-1435, 2005. [doi]

12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USAIEEE Computer Society, 2005.

A polar-plane-based method for natural illumination of plants and treesMaria J. Vicent, Vicente Rosell, Roberto Vivó. cg, 29(2):203-208, 2005. [doi]

Identification and characterisation of urban building patterns using IKONOS imagery and point-based postal dataVictor Mesev. urban, 29(5):541-557, 2005. [doi]

Multi-classifier framework for atlas-based image segmentationTorsten Rohlfing, Calvin R. Maurer Jr.. prl, 26(13):2070-2079, 2005. [doi]

Performance evaluation of market-based resource allocation for Grid computingJacek Gomoluch, Michael Schroeder. concurrency, 16(5):469-475, 2004. [doi]

17th IEEE Symposium on Computer-Based Medical Systems (CBMS 2004), 24-25 June 2004, Bethesda, MD, USAIEEE Computer Society, 2004.

TLPVS: A PVS-Based LTL Verification SystemAmir Pnueli, Tamarah Arons. BIRTHDAY 2003: 598-625 [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]

The power grid transient simulation in linear time based on 3-D alternating-direction-implicit methodYu-Min Lee, Charlie Chung-Ping Chen. tcad, 22(11):1545-1550, 2003. [doi]

Package-Based Software DevelopmentMerijn de Jonge. euromicro 2003: 76-85 [doi]

Forwarding in a content-based networkAntonio Carzaniga, Alexander L. Wolf. sigcomm 2003: 163-174 [doi]

2003 IEEE Conference on Advanced Video and Signal Based Surveillance (AVSS 2003), 21-22 July 2003, Miami, FL, USAIEEE Computer Society, 2003.

A particle swarm model for swarm-based networked sensor systemsB. Anthony Kadrovach, Gary B. Lamont. SAC 2002: 918-924 [doi]

COTS-Based Software Systems, First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, ProceedingsJohn C. Dean, Andrée Gravel, editors, Volume 2255 of Lecture Notes in Computer Science, Springer, 2002.

Towards sketch-based exploration of terrainP.-L. Lesage, Mahes Visvalingam. cg, 26(2):309-328, 2002. [doi]

Content-Based Networking: A New Communication InfrastructureAntonio Carzaniga, Alexander L. Wolf. nsf 2002: 59-68 [doi]

Pulling it all Together with WIT: A Tool for Integrating Web-based InformationW. David Reese, Dennis Heimbigner, Alexander L. Wolf. wiiw 2001: 58-65

Content-Based Lecture Access For Distance LearningGuang-Ho Cha, Chin-Wan Chung. icmcs 2001: [doi]

Conceptual Interactive Learning Tools Based on Computer SimulatorsDamjan Zazula, Bogdan Viher, Dean Korosec, Enis Avdicausevic, Mitja Lenic, Bozidar Potocnik. informaticaSI, 23(3), 1999.

Shape-based word recognitionA. Lawrence Spitz. ijdar, 1(4):178-190, 1999. [doi]

Scalability of an MPI-based fast messy genetic algorithmLaurence D. Merkle, George H. Gates Jr., Gary B. Lamont. SAC 1998: 386-393 [doi]

Automatic, Template-Based Run-Time Specialization: Implementation and Experimental StudyFrançois Noël, Luke Hornof, Charles Consel, Julia L. Lawall. iccl 1998: 132-142 [doi]

A New Indexing Scheme for Content-Based Image RetrievalGuang-Ho Cha, Chin-Wan Chung. mta, 6(2):263-288, 1998.

A Random Function Based Framework for Evolutionary AlgorithmsLaurence D. Merkle, Gary B. Lamont. icga 1997: 105-112

An OCR based on character shape codes and lexical informationA. Lawrence Spitz. icdar 1995: 723-728 [doi]

A Trace Based Performance Evaluation Tool for Parallel Real Time SystemsRolf Borgeest, Bernward Dimke, Olav Hansen. pc, 21(4):551-564, 1995.

What You Say is What You See - Interactive Generation, Manipulation and Modification of 3-D Shapes Based on Verbal DescriptionsYuri A. Tijerino, Shinji Abe, Tsutomu Miyasato, Fumio Kishino. air, 8(2-3):215-234, 1994.

A unidraw-based user interface builderJohn M. Vlissides, Steven Tang. uist 1991: 201-210 [doi]

Mixin-based InheritanceGilad Bracha, William R. Cook. OOPSLA 1990: 303-311

Univers: An Attribute-based Name ServerMic Bowman, Larry L. Peterson, Andrey Yeatts. SPE, 20(4):403-424, 1990.

A robust method for picture segmentation based on a split-and-merge procedureFusak Cheevasuvit, Henri Maître, Daniel Vidal-Madjar. cvgip, 34(3):268-281, 1986. [doi]

Queue-based Multi-processing LispRichard P. Gabriel, John McCarthy. lfp 1984: 25-44

runs on WebDSL