Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-12-23

Using type analysis in compiler to mitigate integer-overflow-to-buffer-overflow threat

Chao Zhang, Wei Zou, Tielei Wang [...]

Journal of Computer Security

Retricted access

Research article

First published 2016-10

A runtime-testing method for integer overflow detection based on metamorphic relations

Zhan-Wei Hui, Song Huang, Meng-Yu Ji

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2025-7

Optimizing and simulating dynamic check-in counter opening with passenger allocation considerations

Xiao-Ting Yuan, Tie-Qiao Tang, Liang Chen [...]

SIMULATION

Retricted access

Research article

First published 2019

Jacobians of Hyperelliptic Curves over ℤ n and Factorization of n

Robert Dryło, Jacek Pomykała

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Cubic Algorithm to Compute the Dynkin Type of a Positive Definite Quasi-Cartan Matrix

Claudia Pérez, Mario Abarca, Daniel Rivera

Fundamenta Informaticae

Retricted access

Research article

First published 2017-10-31

Undecidability of satisfiability of expansions of FO [ < ] over words with a FO [ + ] -definable set

Arthur Milchior

Computability

Retricted access

Research article

First published 1993

Definability of Arithmetic Operations from the Order and a Random Relation 1

Ivan Korec

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8-3

Constructing Elliptic Curves for the GLV Method with Low-cost Decomposition

Michał Wroński, Robert Dryło, Tomasz Kijko [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2018-6-7

Linearisations and the Ershov hierarchy

S. Barry Cooper, James Gay, Charles M. Harris [...]

Computability

Open access

Research article

First published 2007-2

On Solving Boolean Combinations of UTVPI Constraints

Sanjit A. Seshia, K. Subramani, Randal E. Bryant

Journal on Satisfiability,Boolean Modelling and Computation

Search results