Browsing by Title
Showing results 4317 to 4336 of 4631
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Mjirda, Anis; Jarboui, Bassem; Macedo, Rita; Hanafi, Saïd; Mladenović, Nenad | A two phase variable neighborhood search for the multi-product inventory routing problem | 1-Dec-2014 | Computers and Operations Research; 52; 291-299 | M21 |
Stevanović, Dragan | Two spectral characterizations of regular, bipartite graphs with five eigenvalues | 15-Nov-2011 | Linear Algebra and Its Applications; 435(10); 2612-2625 | M22 |
Stević, Stevo | Two ways for solving a class of rational second-order difference equations | 1-Dec-2019 | Advances in Difference Equations; 2019(1) | M21а |
Stević, Stevo ; Iričanin, Bratislav; Šmarda, Zdeněk | Two-dimensional product-type system of difference equations solvable in closed form | 1-Dec-2016 | Advances in Difference Equations; 2016(1) | M22 |
Stević, Stevo | Two-dimensional product-type systems of difference equations of delay-type (2,2,1,2) | 27-Jun-2017 | Electronic Journal of Differential Equations; 2017 | M21 |
Stević, Stevo | Two-dimensional solvable system of difference equations with periodic coefficients | 1-Dec-2019 | Mathematical Methods in the Applied Sciences; 42(18); 6757-6774 | M21 |
Buchstaber, Victor; Dragović, Vladimir | Two-Valued Groups, Kummer Varieties, and Integrable Billiards | 1-Apr-2018 | Arnold Mathematical Journal; 4(1); 27-57 | |
Ghilezan, Silvia | Type Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote) | 26-May-2021 | ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, Novi Sad, Serbia, May 26 - 27, 2021; 1-2 | M32 |
Došen, Kosta ; Petrić, Zoran | The typed Böhm theorem | 1-Jan-2001 | Electronic Notes in Theoretical Computer Science; BOTH 2001, Bohm's Theorem: Applications to Computer Science Theory (Satellite Workshop of ICALP 2001); Crete; Greece; 13 July 2001 through 13 July 2001; 50(2); 117-129 | |
Ghilezan, Silvia | Typed combinators and typed lambda terms | 1990 | Third Logical Biennial Kleene'90, Chaika, Bulgaria; Proceedings | M34 |
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo Torres | A typed model for dynamic authorizations | 10-Feb-2016 | Electronic Proceedings in Theoretical Computer Science, EPTCS; 8th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015; London; United Kingdom; 18 April 2015; 203; 73-84 | |
Ghilezan, Silvia | Types and confluence in lambda calculus | 2001 | 3rd Panhellenic Logic Symposium - PLS3, Crete, Greece (2001) | |
Ghilezan, Silvia | Types and Privacy : Invited talk | Oct-2016 | 1st Workshop, FMPriv 2016 - Formal Methods for Privacy, 7 October 2016, Limassol, Cyprus | M32 |
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Dezani-Ciancaglini, Mariangiola | Types and Roles for Web Security | 2012 | Transactions on Advanced Research; 8; 16-21 | |
Tanović, Predrag | Types directed by constants | 1-Apr-2010 | Annals of Pure and Applied Logic; 161(7); 944-955 | M22 |
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka | Types for role-based access control of dynamic web data | 1-Jun-2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010; Madrid; Spain; 17 January 2010 through 17 January 2010; 6559 LNCS; 1-29 | M33 |
Ghilezan, Silvia | Types in access control and privacy : Invited talk | 2015 | NII Shonan meeting 069: Logic and Verification Methods in Security and Privacy, October 26-29, 2015, Shonan, Japan | M32 |
Ghilezan, Silvia | Types in Logic, Topology and Structure - Keynote Speaker | 2022 | UNILOG 2022 - 7th World Congress and School on Universal Logic Workshop Logic and Structure, 6-11 April 2022, Orthodox Academy of Crete, Greece | M32 |
Avilés, Antonio; Todorčević, Stevo | Types in the n-adic tree and minimal analytic gaps | 9-Apr-2016 | Advances in Mathematics; 292; 558-600 | M21a |
Guevara Parra, Francisco; Todorčević, Stevo | Types of countable sequential groups | 1-Sep-2020 | Topology and its Applications; 283; 107337 | M23 |