export record
dblp key:
conf/essderc/MicoutRGCCPLRFB17 share record
persistent URL:
Jessy Micout , Quentin Rafhay , Xavier Garros , Mikaël Cassé , Jean Coignus , Luca Pasini , Cao-Minh Vincent Lu , Nils Rambal , Claire Fenouillet-Béranger , Laurent Brunet , G. Romano , R. Gassilloud , Perrine Batude , Maud Vinet , Gérard Ghibaudo : Precise EOT regrowth extraction enabling performance analysis of low temperature extension first devices. ESSDERC 2017 : 144-147 share record
persistent URL:
Amelia Harrison , Yuliya Lierler : First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract). IJCAI 2017 : 4859-4863 share record
persistent URL:
Nikolai L. Poliakov , Denis I. Saveliev : On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations. WoLLIC 2017 : 336-348 2016 export record
dblp key:
journals/tplp/HarrisonL16 share record
persistent URL:
Amelia Harrison , Yuliya Lierler : First-order modular logic programs and their conservative extensions. Theory Pract. Log. Program. 16 (5-6 ) : 755-770 (2016 )share record
persistent URL:
Lukasz Farian , Juan A. Leñero-Bardallo , Philipp Häfliger : A time-to-first-n-spikes and time-out read-out extension to the AER arbitration system. EBCCSP 2016 : 1-6 export record
dblp key:
journals/corr/HarrisonL16a share record
persistent URL:
Amelia Harrison , Yuliya Lierler : First-Order Modular Logic Programs and their Con: set servative Extensions. CoRR abs/1608.02681 (2016 )2015 share record
persistent URL:
Jiazi Yi , Thomas H. Clausen , Ulrich Herberg : Depth-First Forwarding for Unreliable Networks: Extensions and Applications. IEEE Internet Things J. 2 (3 ) : 199-209 (2015 )share record
persistent URL:
Matteo Bianchi , Franco Montagna : Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. Stud Logica 103 (6 ) : 1163-1181 (2015 )export record
dblp key:
journals/sLogica/0001M15a share record
persistent URL:
Matteo Bianchi , Franco Montagna : Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. Stud Logica 103 (6 ) : 1183 (2015 )share record
persistent URL:
Paolo Baldi , Agata Ciabattoni : Uniform proofs of standard completeness for extensions of first-order MTL. Theor. Comput. Sci. 603 : 43-57 (2015 )share record
persistent URL:
Simi Haber , Saharon Shelah : An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers. Fields of Logic and Computation II 2015 : 226-236 share record
persistent URL:
Tatsuya Yamazaki , Ken'ichi Maehara , Koichiro Enomoto : Interactive Facial Expression Reader and Extension to First Impression Improver. PerMIn 2015 : 183-188 2014 share record
persistent URL:
Jiazi Yi , Thomas H. Clausen , Ulrich Herberg : Depth first forwarding for low power and lossy networks: Application and extension. WF-IoT 2014 : 462-467 share record
persistent URL:
Antti Kuusisto : Some Turing-Complete Extensions of First-Order Logic. GandALF 2014 : 4-17 share record
persistent URL:
Patrizio Neff , Dirk Pauly , Karl-Josef Witsch : On an Extension of the First Korn Inequality to Incompatible Tensor Fields on Domains of Arbitrary Dimensions. Modeling, Simulation and Optimization for Science and Technology 2014 : 139-159 share record
persistent URL:
Joachim Jansen : Model revision inference for extensions of first order logic. CoRR abs/1405.4206 (2014 )2013 share record
persistent URL:
Thomas H. Clausen , Jiazi Yi , Antonin Bas , Ulrich Herberg : A Depth First Forwarding (DFF) Extension for the LOADng Routing Protocol. CANDAR 2013 : 404-408 export record
dblp key:
conf/icsoc/WitteborgCWH13 share record
persistent URL:
Heiko Witteborg , Anis Charfi , Wei Wei , Ta'id Holmes : Method and System for In-Place Modeling of Business Process Extensions as First-Class Entities. ICSOC Workshops 2013 : 456-459 share record
persistent URL:
Atif M. Memon , Ishan Banerjee , Bao N. Nguyen , Bryan Robbins : The first decade of GUI ripping: Extensions, applications, and broader impacts. WCRE 2013 : 11-20 share record
persistent URL:
Markus Markard , Marc Jansen : About an Extension of the Model-View-Controller Design Pattern for Increasing the Flexibility of Web based Applications - Design and First Experiences. WEBIST 2013 : 304-307 share record
persistent URL:
Argimiro Arratia , Carlos E. Ortiz : First Order Extensions of Residue Classes and Uniform Circuit Complexity. WoLLIC 2013 : 49-63 2012 export record
dblp key:
conf/icsoc/WitteborgCAH12 share record
persistent URL:
Heiko Witteborg , Anis Charfi , Mohamed Aly , Ta'id Holmes : Business Process Extensions as First-Class Entities - A Model-Driven and Aspect-Oriented Approach. ICSOC 2012 : 763-770 export record
dblp key:
conf/s-bpm-one/Strecker12 share record
persistent URL:
Florian Strecker : New Modeling Concepts in S-BPM: The First Implementation of the "Message Guard" and "Macro" Behavior Extensions. S-BPM ONE 2012 : 121-134 2011 share record
persistent URL:
Johan Wittocx : Finite domain and symbolic inference methods for extensions of first-order logic. AI Commun. 24 (1 ) : 91-93 (2011 )export record
dblp key:
journals/csda/LanumteangB11 share record
persistent URL:
K. Lanumteang , Dankmar Böhning : An extension of Chao's estimator of population size based on the first three capture frequency counts. Comput. Stat. Data Anal. 55 (7 ) : 2302-2311 (2011 )share record
persistent URL:
Menachem Magidor , Jouko Väänänen : On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic. J. Math. Log. 11 (1 ) (2011 )export record
dblp key:
conf/ijcai/BartholomewLM11 share record
persistent URL:
Michael Bartholomew , Joohyung Lee , Yunsong Meng : First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. IJCAI 2011 : 724-730 export record
dblp key:
conf/tableaux/BozzelliL11 share record
persistent URL:
Laura Bozzelli , Ruggero Lanotte : Hybrid and First-Order Complete Extensions of CaRet. TABLEAUX 2011 : 58-72 2010 share record
persistent URL:
Gwen Wilke , Andrew U. Frank : Tolerance geometry: Euclid's first postulate for points and lines with extension. GIS 2010 : 162-171 2008 share record
persistent URL:
Mohamed Tarek Khadir , John V. Ringwood : Extension of First Order Predictive Functional Controllers to Handle Higher Order Internal Models. Int. J. Appl. Math. Comput. Sci. 18 (2 ) : 229-239 (2008 )