• 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 76 matches

• 2024
• 
  Octavian-Florin Maghiar, Adrian Copie, Teodora Selea, Mircea Marin, Flavia Micota, Daniela Zaharie, Ionut Tepeneu:
  Behaviour Analysis of Trajectory and Population-Based Metaheuristics on Flexible Assembly Scheduling. MIC (2) 2024: 80-95
• 
  Teodor V. Marinov, Alekh Agarwal, Mircea Trofin:
  Offline Imitation Learning from Multiple Baselines with Applications to Compiler Optimization. CoRR abs/2403.19462 (2024)
• 2023
• 
  Octavian-Florin Maghiar, Teodora Selea, Adrian Copie, Flavia Micota, Mircea Marin:
  Comparative Analysis of Exact, Heuristic and Metaheuristic Algorithms for Flexible Assembly Scheduling. FedCSIS 2023: 615-625
• 
  Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia:
  Enumerating All Maximal Clique-Partitions of an Undirected Graph. FROM 2023: 65-79
• 2022
• 
  Marinela Mircea, Marian Stoica, Bogdan Ghilic-Micu:
  Analysis of the Impact of Blockchain and Internet of Things (BIoT) on Public Procurement. IEEE Access 10: 63353-63374 (2022)
• 
  Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues:
  Regular matching problems for infinite trees. Log. Methods Comput. Sci. 18(1) (2022)
• 
  Bruno Buchberger, Mircea Marin, Viorel Negru, Daniela Zaharie:
  24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022. IEEE 2022, ISBN 978-1-6654-6545-8 [contents]
• 2021
• 
  Marinela Mircea, Marian Stoica, Bogdan Ghilic-Micu:
  Investigating the Impact of the Internet of Things in Higher Education Environment. IEEE Access 9: 33396-33409 (2021)
• 
  Besik Dundua, Temur Kutsia, Mircea Marin:
  Variadic equational matching in associative and commutative theories. J. Symb. Comput. 106: 78-109 (2021)
• 
  Carsten Schneider, Mircea Marin, Viorel Negru, Daniela Zaharie:
  23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021. IEEE 2021, ISBN 978-1-6654-0650-5 [contents]
• 2020
• 
  Besik Dundua, Temur Kutsia, Mircea Marin, Ioana-Cleopatra Pau:
  Constraint Solving over Multiple Similarity Relations. FSCD 2020: 30:1-30:19
• 
  Leontin Tuta, Mircea Nicolaescu, Georgiana Rosu, Alexandru Grivei, Bogdan Barbulescu:
  A Robust Adaptive Filtering Method based on Independent Component Analysis (ICA). COMM 2020: 59-64
• 
  Mircea Marin, Besik Dundua, Temur Kutsia:
  A Rule-Based System for Computation and Deduction in Mathematica. WRLA@ETAPS 2020: 57-74
• 
  Carlos Camino, Volker Diekert, Besik Dundua, Mircea Marin, Géraud Sénizergues:
  Regular matching problems for infinite trees. CoRR abs/2004.09926 (2020)
• 2019
• 
  Mironela Pirnau, Radu-Mircea Carp Ciocardia, Claudiu Pirnau, Liviu Daniel Ghiculescu, Niculae Marinescu:
  The Identification of Intelligent Interactions between Education and Labour Force Market. ECAI 2019: 1-6
• 
  Viorel Bucur, Gabriel Banarie, Stefan Marinca, Mircea Bodea:
  Reducing the Bipolar Junction Transistor Vbe Non-Linearity. MIXDES 2019: 257-260
• 
  Besik Dundua, Temur Kutsia, Mircea Marin:
  Variadic Equational Matching. CICM 2019: 77-92
• 
  Mircea Marin, Temur Kutsia, Besik Dundua:
  A Rule-based Approach to the Decidability of Safety of ABACα. SACMAT 2019: 173-178
• 
  Mircea Marin, Adrian Craciun:
  Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019. EPTCS 303, 2019 [contents]
• 
  Gabriel Istrate, Cosmin Bonchis, Mircea Marin:
  Interactive Particle Systems on Hypergraphs, Drift Analysis and the WalkSAT algorithm. CoRR abs/1909.12353 (2019)
• 2018
• 
  Viorel Bucur, Gabriel Banarie, Stefan Marinca, Mircea Bodea:
  A Zener-Based Voltage Reference Design Compensated Using a ΔVBE Stack. MIXDES 2018: 116-120
• 2017
• 
  Viorel Bucur, Gabriel Banarie, Stefan Marinca, Mircea Bodea:
  An embedded charge pump for a Zener-based voltage reference compensated using a ΔVBE stack. MIXDES 2017: 215-219
• 2016
• 
  Livia Sângeorzan, Mircea Parpalea, Mihaela Marinela Parpalea, Angela Repanovici, Roxana Matefi, Ioana Nicolae:
  A Preflow Approach to Maximum Flows in Parametric Networks Applied to Assessing the Legal Information. Int. J. Comput. Commun. Control 11(1): 113-125 (2016)
• 
  Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin:
  CLP(H): Constraint logic programming for hedges. Theory Pract. Log. Program. 16(2): 141-162 (2016)
• 
  Mircea Marin, Temur Kutsia, Besik Dundua:
  A rewrite-based computational model for functional logic programming. SCSS 2016: 95-106
• 2015
• 
  Temur Kutsia, Mircea Marin:
  Regular expression order-sorted unification and matching. J. Symb. Comput. 67: 42-67 (2015)
• 
  Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin:
  CLP(H): Constraint Logic Programming for Hedges. CoRR abs/1503.00336 (2015)
• 2014
• 
  Mircea Marin, Gabriel Istrate:
  Learning Cover Context-Free Grammars from Structural Data. Sci. Ann. Comput. Sci. 24(2): 253-286 (2014)
• 
  Mircea Raceanu, Adriana Marinoiu, Mihai Culcer, Mihai Varlam, Nicu Bizon:
  Preventing reactant starvation of a 5 kW PEM fuel cell stack during sudden load change. ECAI 2014: 55-60
• 
  Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin:
  Constraint Logic Programming for Hedges: A Semantic Reconstruction. FLOPS 2014: 285-301

skipping 46 more matches