• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 85 matches

• 2010
• 
  Mauricio Alba-Castro, María Alpuente, Santiago Escobar:
  Approximating Non-interference and Erasure in Rewriting Logic. SYNASC 2010: 124-132
• 
  María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis:
  Completeness of Unfolding for Rewriting Logic Theories. SYNASC 2010: 116-123
• 
  Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu:
  An Efficient Scheduling Algorithm for the Multiprocessor Platform. SYNASC 2010: 245-252
• 
  Alina Andreica, Daniel Stuparu, Florina Covaci, Gabriel Pop, Arpad Imre:
  A Software Services Framework for Providing E-Learning and Dedicated Information Systems Facilities. SYNASC 2010: 573-576
• 
  Ionut Anghel, Tudor Cioara, Ioan Salomie, Mihaela Dînsoreanu:
  An Autonomic Context Management Model Based on Machine Learning. SYNASC 2010: 335-338
• 
  Andrei Arusoaie, Alexandru Ionut Cristei, Cristian Chircu, Mihai Andrei Livadariu, Vlad Manea, Adrian Iftene:
  Augmented Reality. SYNASC 2010: 502-509
• 
  Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu:
  Path Directed Symbolic Execution in the K Framework. SYNASC 2010: 133-141
• 
  Kevin Atighehchi, Traian Muntean, Sylvain Parlanti, Robert Rolland, Laurent Vallet:
  A Cryptographic Keys Transfer Protocol for Secure Communicating Systems. SYNASC 2010: 339-343
• 
  Pawel Bachara, Krzysztof Zielinski:
  SOA-Compliant Programming Model for Intelligent Sensor Networks - SCA-Based Solution. SYNASC 2010: 471-478
• 
  Luís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues:
  Revisiting Context-Aware Component Interconnection. SYNASC 2010: 377-384
• 
  Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti:
  WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. SYNASC 2010: 417-424
• 
  Peter Bartalos, Mária Bieliková:
  Composition and Undesired Web Service Execution Effects. SYNASC 2010: 549-552
• 
  Rémi Bertin, Pierre Coucheney, Arnaud Legrand, Corinne Touati:
  Practical Implementation Issues of Lagrangian Based Distributed Optimization Algorithms. SYNASC 2010: 331-334
• 
  Octav Brudaru, Rüdiger Ebendt, Iulian Marius Furdu:
  Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm. SYNASC 2010: 167-173
• 
  Octav Brudaru, Cristian Rotaru:
  Dynamic Segregative Genetic Algorithm for Assembly Lines Balancing. SYNASC 2010: 229-236
• 
  Robert Andrei Buchmann, Radu Meza, Anita Hejja:
  An Eye Tracking Semantic Repository for User Profiling. SYNASC 2010: 215-222
• 
  Laurentiu Bucur, Adina Florea:
  Exploring Chaos with Sparse Kernel Machines. SYNASC 2010: 239-242
• 
  Alberto Calvi, Silvio Ranise, Luca Viganò:
  Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. SYNASC 2010: 456-464
• 
  Virgil Emil Cazanescu:
  Programming via Rewriting. SYNASC 2010: 3
• 
  Vlad Ciobanu, Florin Pop, Decebal Popescu, Valentin Cristea:
  A Distributed Approach to Business Intelligence Systems Synchronization. SYNASC 2010: 581-585
• 
  Gabriel Ciobanu, Eneia Nicolae Todoran:
  Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. SYNASC 2010: 387-391
• 
  Alexandra Coldea, Adrian Colesa, Iosif Ignat:
  OrcFS: Organized Relationships between Components of the File System for Efficient File Retrieval. SYNASC 2010: 434-441
• 
  Adrian Colesa, Ioan Stan, Iosif Ignat:
  Transparent Fault-Tolerance Based on Asynchronous Virtual Machine Replication. SYNASC 2010: 442-448
• 
  Alexandru Costan, Florin Pop, Ciprian Dobre, Valentin Cristea:
  A Worklow Management Platform for Scientific Applications in Grid Environments. SYNASC 2010: 261-268
• 
  Maya Dimitrova, Anna K. Lekova, Mo Adda:
  Personality Filter in Mobile Networks with Communication Constraints. SYNASC 2010: 565-568
• 
  Adriana Draghici, Marius Sandu-Popa, Razvan Deaconescu, Nicolae Tapus:
  A Peer-to-Peer Swarm Creation and Management Framework. SYNASC 2010: 545-548
• 
  Alina Dudeanu, George-Razvan Oancea, Sorin Iftene:
  An x-Coordinate Point Compression Method for Elliptic Curves over Fp. SYNASC 2010: 65-71
• 
  D. Dumitrescu, Rodica Ioana Lung, Noémi Gaskó, Réka Nagy:
  Job Scheduling and Bin Packing from a Game Theoretical Perspective: An Evolutionary Approach. SYNASC 2010: 209-214
• 
  Madalina Erascu, Tudor Jebelean:
  A Purely Logical Approach to the Termination of Imperative Loops. SYNASC 2010: 142-149
• 
  Elzbieta Gawronska, Norbert Sczygiol:
  Application of Mixed Time Partitioning Methods to Raise the Efficiency of Solidification Modeling. SYNASC 2010: 99-103

skipping 55 more matches