Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged principles

Carcinogenic activity of polycyclic aromatic hydrocarbons in first-principlesOleg Efimov, Young-Gui Yoon, Seung-Hoon Jhi. cphysics, 177(1-2):50, 2007. [doi]

21st International Workshop on Principles of Advanced and Distributed Simulation (PADS 07), June 12-15, 2007, San Diego, California, USAIEEE Computer Society, 2007.

Principles of Distributed Systems, 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, ProceedingsAlexander A. Shvartsman, editor, Volume 4305 of Lecture Notes in Computer Science, Springer, 2006.

20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2006), 23-26 May 2006, SingaporeIEEE Computer Society, 2006.

Marketing Principles and the Pre-existing AttitudesArie Maharshak, David Pundak. itre 2006: 89-93 [doi]

Relationship between the principles transmitted by consultants implementing the ISO 9000 standard and the loyalty of their clientsFrederic Marimon Viadiu, Eduard Cristobal Fransi. ijstm, 7(4):320-331, 2006. [doi]

Diamond principles in Cichon s diagramHiroaki Minami. AML, 44(4):513-526, 2005. [doi]

On achieving fairness in the joint allocation of processing and bandwidth resources: principles and algorithmsYunkai Zhou, Harish Sethu. ton, 13(5):1054-1067, 2005. [doi]

Gregory A. Matson, Tony R. Taylor, Julie N. Villar, Elements of STIL: Principles and Applications of IEEE Std. 1450, Kluwer Academic Publishers, Boston, 2003, Hardcover, pp 291, plus XIX, ISBN 1-4020-7637-1Mile K. Stojcev. mr, 45(12):1951-1952, 2005. [doi]

Principles, Implementation Strategies, and Evaluation of a Corpus Query SystemUlrik Petersen. fsmnlp 2006: 215-226 [doi]

On Principles 0f Biological Information Processing Concerned with Learning Convergence Mechanism in Neural and Non-Neural Bio-SystemsH. M. Hassan. cimca 2005: 647-653

Constructive Set Theory and Brouwerian PrinciplesMichael Rathjen. jucs, 11(12):2008-2033, 2005. [doi]

Some uncertainty principles for time-frequency transforms of the Cohen classPeter Korn. tsp, 53(2-1):523-527, 2005. [doi]

Cryptographic Key Management principles applied in South African Internet BankingEmile Parkin. issac 2005: 1-12 [doi]

Circuit Principles and Weak Pigeonhole VariantsChris Pollett, Norman Danner. cats 2005: 31-40 [doi]

Journeying to the Land of On-Demand: Principles to Follow, Pitfalls to Avoid Annie W. Shum, Jeffrey P. Buzen. cmg 2004: 99-110

Principles of Distributed Systems, 7th International Conference, OPODIS 2003 La Martinique, French West Indies, December 10-13, 2003 Revised Selected PapersMarina Papatriantafilou, Philippe Hunel, editors, Volume 3144 of Lecture Notes in Computer Science, Springer, 2004.

Combining first principles modelling and artificial neural networks: a general frameworkR. Oliveira. cce, 28(5):755-766, 2004. [doi]

Network Viruses: Their 306 Working Principles and Marriages with Hacking ProgramsYanjun Zuo, Brajendra Panda. cimca 2003: 306-307

Decision Principles to Justify Carnap s Updating Method and to Suggest CorrectionsPeter P. Wakker. uai 2002: 544-551

Principles of Best Practice for 21st Century EducationMark A. Nichols. ETS, 5(2), 2002. [doi]

Creating Virtual Labs to Teach Middle School Astronomy Principles: The NASA Connect Education Program SeriesAlbert Byers, David Halpin, Todd Smith. webnet 2001: 135-139

Distance courses based on the integration between andragogic and constructivist principles using web, for permanent formation on health human resources: the proposal of Oswaldo Cruz Foundation, BrazilElomar Castilho Barilli, Antonio Ivo Carvalho, Gerson Cunha, Luiz Antonio Braga, Pedro Cesar Silva. webnet 2001: 59

Principles and practical grouping for the use of drill and practice programsA. Jackson, P. Kutnick, A. Kington. jcal, 17(2):130-141, 2001. [doi]

Transfer Principles for Reasoning About Concurrent ProgramsStephen D. Brookes. ENTCS, 45:22-40, 2001. [doi]

Procedings of the 5th International Conference on Principles of Distributed Systems. OPODIS 2001, Manzanillo, Mexico, December 10-12, 2001. ProceedingsR. Gomez Cardenas, editor, Studia Informatica Universalis, Suger, Saint-Denis, rue Catulienne, France, 2001.

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USAGil Neiger, editor, ACM, 2000.

Procedings of the 4th International Conference on Principles of Distributed Systems, OPODIS 2000, Paris, France, December 20-22, 2000Franck Butelle, editor, Studia Informatica Universalis, Suger, Saint-Denis, rue Catulienne, France, 2000.

Principles of Selection for Electronic ResourcesPaul Metz. libt, 48(4), 2000. [doi]

Manufacturing assessment using Schonberger s 16 customer-focused principlesRuth J. Boaden, Jonathan M. Sims. ijmtm, 2(1-7):580-619, 2000. [doi]

Remote System Management PrinciplesMichael Herz. cluster 2000: 137-138 [doi]

Software Process: Principles, Methodology, TechnologyJean-Claude Derniame, Badara Ali Kaba, David Graham Wastell, editors, Volume 1500 of Lecture Notes in Computer Science, Springer, 1999.

Virtual Touchscreen - a novel User Interface made of Light - Principles, metaphors and experiencesChristoph Maggioni, Hans Röttger. hci 1999: 301-305

Principles of Digital Document Processing, 4th International Workshop, PODDP 98, Saint Malo, France, March 29-30, 1998, ProceedingsEthan V. Munson, Charles K. Nicholas, Derick Wood, editors, Volume 1481 of Lecture Notes in Computer Science, Springer, 1998.

Principles for robotic mobility on minor solar system bodiesLutz Richter. ras, 23(1-2):117-124, 1998. [doi]

Substitutivity Principles in Some Theories of UncertaintyMihir K. Chakraborty, Ewa Orlowska. FUIN, 32(2):107-120, 1997.

Planning from Second PrinciplesJana Koehler. ai, 87(1-2):145-186, 1996. [doi]

Fundamental Principles of Homogeneous Computing StructuresV. Schmoylov, I. Zayats, A. Lutsyk. parcella 1996: 324-326

Principles of High-Level Net TheoryEinar Smith. ac 1998: 174-210

Cognitive Ergonomics of Multi-Agent Systems: Observations, Principles and Research IssuesKarel Hurts, Paul de Greef. ewhci 1994: 164-180

Numerical integration of partial differential equations using principles of multidimensional wave digital filtersAlfred Fettweis, Gunnar Nitsche. vlsisp, 3(1-2):7-24, 1991. [doi]

Dense Wavelength Division Multiplexing Networks: Principles and ApplicationsCharles A. Brackett. jsac, 8(6):948-964, 1990.

Bericht über den First International Workshop on Principles of DiagnosisHartmut Freitag. ki, 4(4):34-35, 1990.

Some Combinatorial Principles Equivalent to Restrictions of Transfinite Induction up to Gamma::0::Reijiro Kurata, Mamoru Shimoda. APAL, 44(1-2):63-69, 1989.

Some unifying principles in Ramsey theoryTimothy J. Carlson. DM, 68(2-3):117-169, 1988. [doi]

Adequate Proof Principles for Invariance and Liveness Properties of Concurrent ProgramsZohar Manna, Amir Pnueli. SCP, 4(3):257-289, 1984.

The principles and methods of histogram modification adapted for visual perceptionFu-Nian Ku. cvgip, 26(1):107-117, 1984. [doi]

Verification of Concurrent Programs: Temporal Proof PrinciplesZohar Manna, Amir Pnueli. lop 1982: 200-252

Principles of Computer-Assisted Conception for Automatic Elaboration of a Computerized Information SystemJ. O. Anton, Claude Chrisment, J. B. Crampes, M. F. Debaisieux, J. H. Luguet. ifip11-9 1977: 79-84

Some Principles Of Artificial Learning That Have Emerged From ExamplesJ. Knapman. IJCAI 1975: 253-259

runs on WebDSL