FUTUR. Website for the scientific production of UPC researchers

People

Organization

Scientific and technological production  (46 results)

• Voting games with abstention: parameterization. Power indices and ordinal equivalence

   Tsague, B. P.
  Université de Yaoundé I
  Theses

• Compositional data: the sample space and its structure

   Egozcue, J. J.; Pawlowsky, V.
  Test
  Vol. 28, num. 3, p. 599-638
  DOI: 10.1007/s11749-019-00670-6
  Date of publication: 2019-09
  Journal article

• OCLFO: first-order expressive OCL constraints for efficient integrity checking  

   Franconi, E.; Mosca, A.; Oriol, X.; Rull, G.; Teniente, E.
  Software and systems modeling
  Vol. 18, num. 4, p. 2655-2678
  DOI: 10.1007/s10270-018-0688-z
  Date of publication: 2019-08
  Journal article

• Proof complexity meets algebra  

   Atserias, A.; Ochremiak, J.
  ACM transactions on computational logic
  Vol. 20, num. 1, p. 1:1-1:46
  DOI: 10.1145/3265985
  Date of publication: 2018-12-01
  Journal article

• Learning definite Horn formulas from closure queries  

   Arias, M.; Balcazar, J. L.; Tîrnauca, C.
  Theoretical computer science
  Vol. 658, Part B, p. 346-356
  DOI: 10.1016/j.tcs.2015.12.019
  Date of publication: 2017-01-07
  Journal article

Journals