A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract). - Shlomit S. Pinter; Pierre Wolper (PODC, 1984)

Reaching approximate agreement in the presence of faults. - Danny Dolev; Nancy A. Lynch; Shlomit S. Pinter; Eugene W. Stark; William E. Weihl (J. ACM, 1986)

On mapping processes to processors in distributed systems. - Shlomit S. Pinter; Yaron Wolfstahl (Int. J. Parallel Program., 1987)

Embedding Ternary Trees in VLSI Arrays. - Shlomit S. Pinter; Yaron Wolfstahl (Inf. Process. Lett., 1987)

Distributed Nodes Organization Algorithm for Channel Access in a Multihop Dynamic Radio Network. - Imrich Chlamtac; Shlomit S. Pinter (IEEE Trans. Computers, 1987)

Public Protection of Software. - Amir Herzberg; Shlomit S. Pinter (ACM Trans. Comput. Syst., 1987)

Extensions of Temporal Logic for Counting with Applications to Model Verification. - Robert P. Kurshan; Shlomit S. Pinter; Baruch Solomon (PSTV, 1989)

Choosing the Right Grains for Data Flow Machines. - Roni Hardon; Shlomit S. Pinter (ICPP (1), 1991)

Optimal Partitioning of Programs for Data Flow Machines. - Roni Hardon; Shlomit S. Pinter (LCPC, 1991)

An array language for data parallelism: Definition, compilation, and applications. - Luis F. Ortiz; Ron Y. Pinter; Shlomit S. Pinter (J. Supercomput., 1991)

Parallelizing a C Dialect for Distributed Memory MIMD Machines. - Oded Lempel; Shlomit S. Pinter; Eli Turiel (LCPC, 1992)

Finite Automata on Directed Graphs. - Michael Kaminski; Shlomit S. Pinter (J. Comput. Syst. Sci., 1992)

Type Matching, Type-Graphs, and the Schanuel Conjecture. - Jacob Katzenelson; Shlomit S. Pinter; Eugen Schenfeld (ACM Trans. Program. Lang. Syst., 1992)

Compile time instruction cache optimizations. - Abraham Mendlson; Shlomit S. Pinter; Ruth Shtokhamer (SIGARCH Comput. Archit. News, 1994)

Program Optimization and Parallelization Using Idioms. - Shlomit S. Pinter; Ron Y. Pinter (ACM Trans. Program. Lang. Syst., 1994)

Optimal Time Byzantine Agreement for t<n/8 With Linear-Messages. - Arkady Zamsky; Amos Israeli; Shlomit S. Pinter (Distributed Comput., 1995)

Introduction. - Shlomit S. Pinter (Int. J. Parallel Program., 1995)

Parallel Algorithms for Molecular Dynamics Simulation of Irradiation Effects in Crystals. - Eli Glikman; Ludmila Ioffe; Itzhak Kelson; Shlomit S. Pinter (Sci. Program., 1995)

Tango: A Hardware-Based Data Prefetching Technique for Superscalar Processors. - Shlomit S. Pinter; Adi Yoaz (MICRO, 1996)

Register allocation with instruction scheduling: a new approach. - Shlomit S. Pinter (J. Program. Lang., 1996)

Partitioning and Scheduling to Counteract Overhead. - Roni Khardon; Shlomit S. Pinter (Parallel Comput., 1996)

Mostly Accurate Stack Scanning. - Katherine Barabash; Niv Buchbinder; Tamar Domani; Elliot K. Kolodner; Yoav Ossia; Shlomit S. Pinter; Janice C. Shepherd; Ron Sivan; Victor Umansky (Java Virtual Machine Research and Technology Symposium, 2001)

Using a model-based test generator to test for standard conformance. - Eitan Farchi; Alan Hartman; Shlomit S. Pinter (IBM Syst. J., 2002)

Generating a Process Model from a Process Audit Log. - Mati Golani; Shlomit S. Pinter (Business Process Management, 2003)

Discovering workflow models from activities' lifespans. - Shlomit S. Pinter; Mati Golani (Comput. Ind., 2004)

Erratum to "Discovering workflow models from activities' lifespans": [Comput. Ind. 53(2004) 283-296]. - Shlomit S. Pinter; Mati Golani (Comput. Ind., 2004)

Handling Sensed Data in Hostile Environments. - Oren Ben-Zwi; Shlomit S. Pinter (MSN, 2005)

Improving Machine Virtualization with 'Hotplug Memory'. - Shlomit S. Pinter; Steven S. Shultz; Yariv Aridor; Sergey Guenender (SBAC-PAD, 2005)

Profile-driven compression scheme for embedded systems. - Israel Waldman; Shlomit S. Pinter (Conf. Computing Frontiers, 2006)

Data Sharing Conscious Scheduling for Multi-threaded Applications on SMP Machines. - Shlomit S. Pinter; Marcel Zalmanovici (Euro-Par, 2006)

Introduction. - Bilha Mendelson; Shlomit S. Pinter; Ayal Zaks (Int. J. Parallel Program., 2006)

Fast Information Transport for an Instrument Enabled Grid. - Eric Frizziero; Z. Har'El; Francesco Lelli; B. Mandler; Gaetano Maron; P. Molini; Shlomit S. Pinter (eScience, 2007)

Selective Code Compression Scheme for Embedded Systems. - Shlomit S. Pinter; Israel Waldman (Trans. High Perform. Embed. Archit. Compil., 2007)

Improving machine virtualisation with 'hotplug memory'. - Shlomit S. Pinter; Yariv Aridor; Steven S. Shultz; Sergey Guenender (Int. J. High Perform. Comput. Netw., 2008)