◍wovepaper
SearchResearchersInstitutions
Sign in
institution

INTRASOFT International (Luxembourg)

Luxembourg

5 papers here25 citations across 5
fields
  • cs.AI1
  • cs.CY1
  • cs.SC1
  • physics.gen-ph1
  • physics.optics1
ROR 02zn9x324OpenAlex

affiliations via OpenAlex

output
20122023
most citedPolarization Invariants and Retrieval of Surface Parameters Using Polarization Measurements in Remote Sensing Applications

11 citations

researchers with a paper here
  • Miltiadis Kokkonidis2
  • Serge Autexier2
  • Yuri K. Shestopaloff2 · h 8
  • Anamaria Vizitiu1
  • Antonios Valachis1
  • Manos Athanatos1
  • Miloš Savić1
  • Miriam Quintero Padron1
  • Mirjana Ivanović1
  • Thanos Kosmidis1
  • Tzortzia Koutsouri1
  • Κωνσταντίνος Λαμπρόπουλος1
collaborating institutions
  • German Research Centre for Artificial IntelligenceDE2 papers
  • University of Novi SadRS2 papers
  • Atos (Spain)ES1 paper
  • Centre National de la Recherche ScientifiqueFR1 paper
  • Coventry UniversityGB1 paper
  • Fondazione Bruno KesslerIT1 paper
  • Foundation for Research and Technology HellasGR1 paper
  • Johannes Kepler University of LinzAT1 paper
  • Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR1 paper
  • Max Planck Institute for InformaticsDE1 paper
  • Örebro UniversitySE1 paper
  • RWTH Aachen UniversityDE1 paper
Showing cs.SCShow all

1 paper · 1 filter

cs.SC2016★ 4 cited

Satisfiability Checking and Symbolic Computation

E. Abraham, J. Abbott, B. Becker +12

Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of deci…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.