Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  25 results for ""Niehren, Joachim""

Your Filters

Collection : Lilloa (Hal Lille Open Archive, Universite De Lille) Filter by : Author
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Linear Programs with Conjunctive Database Queries

Subjects: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

  • Source: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-04317553 ; Logical Methods in Computer Science, In press

Record details

Read More Add to Saved list
×
Conference

Subhedge Projection for Stepwise Hedge Automata

Subjects: Automata; Query answering; Nested wordsTrier; Germany

  • Source: 24th International Symposium on Fundamentals of Computation Theory, FCT 2023https://inria.hal.science/hal-0416583524th International Symposium on Fundamentals of Computation Theory, FCT

Record details

Read More Add to Saved list
×
Conference

Bioinformatics Modelling and Metabolic Engineering of the Branched Chain Amino Acid Pathway for Specific Production of Microbial Biosurfactants and Biopesticides

Subjects: [SDV]Life Sciences [q-bio]; [INFO]Computer Science [cs]MontrealMontreal, Canada

  • Source: BIOKET ; https://hal.science/hal-04278771 ; BIOKET, Aug 2023, Montreal, Canada. pp.107, ⟨10.3390/metabo12020107⟩

Record details

Read More Add to Saved list
×
Conference

Subhedge Projection for Stepwise Hedge Automata

Subjects: Automata; Query answering; Nested wordsFamagusta; Cyprus

  • Source: 24th International Symposium on Fundamentals of Computation Theory, FCT 2023https://inria.hal.science/hal-0416583524th International Symposium on Fundamentals of Computation Theory, FCT

Record details

Read More Add to Saved list
×
Conference

Core SBML and its Formal Semantics

Subjects: [SCCO.COMP]Cognitive science/Computer scienceLuxembourg

  • Source: CMSB 2023 - 21th International Conference on Formal Methods in Systems Biology ; https://inria.hal.science/hal-04125922 ; CMSB 2023 - 21th International Conference on Formal Methods in Systems

Record details

Read More Add to Saved list
×
Conference

Subhedge Projection for Stepwise Hedge Automata

Subjects: Automata; Query answering; Nested wordsfamagusta; Cyprus

  • Source: 24th International Symposium on Fundamentals of Computation Theory, FCT 2023https://inria.hal.science/hal-0416583524th International Symposium on Fundamentals of Computation Theory, FCT

Record details

Read More Add to Saved list
×
Conference

Earliest Query Answering for Deterministic Stepwise Hedge Automata

Subjects: Automata; Query answering; Nested wordsfamagusta; Cyprus

  • Source: 27th International Conference on Implementation and Application of Automata (CIAA)https://inria.hal.science/hal-0410642027th International Conference on Implementation and Application of

Record details

Read More Add to Saved list
×
Conference

Linear Programs with Conjunctive Queries

Subjects: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]Edinburgh; United Kingdom

  • Source: ICDT 2022 - 25th International Conference on Database Theory ; https://hal.science/hal-01981553 ; ICDT 2022 - 25th International Conference on Database Theory, Mar 2022, Edinburgh, United Kingdom

Record details

Read More Add to Saved list
×
Conference

A Benchmark Collection of Deterministic Automata for XPath Queries

Subjects: Automata; regular path queries; treesPrague; Czech Republic

  • Source: XML Prague 2022 ; https://inria.hal.science/hal-03527888 ; XML Prague 2022, Jun 2022, Prague, Czech Republic

Record details

Read More Add to Saved list
×
Conference

Abstract Simulation of Reaction Networks via Boolean Networks

Subjects: Systems biology; abstract interpretation; Sign abstractionBucarest; Romania

  • Source: CMSB 2022 - 20th International Conference on Computational Methods in Systems Biology ; https://hal.science/hal-02279942 ; CMSB 2022 - 20th International Conference on Computational Methods in Systems

Record details

Read More Add to Saved list
×
  • 1-10 of  25 results for ""Niehren, Joachim""